Directory org.openiaml.verification.nusmv/src/template/

Total Files:
4
Deleted Files:
0
Lines of Code:
1191

[root]/org.openiaml.verification.nusmv/src/template

Lines of Code

org.openiaml.verification.nusmv/src/template/ Lines of Code

Developers

Author Changes Lines of Code Lines per Change
soundasleep 8 (100.0%) 0 (-) 0.0

Most Recent Commits

soundasleep 2011-09-26 17:27 Rev.: 3117

issue 236: updating NuSMV templates to latest metamodel
some aspects, such as 'can cast?' and 'is set?' Decisions, are not fully implemented

0 lines of code changed in 8 files:

  • org.openiaml.verification.nusmv/src/template: ConditionContents.xpt (changed), Flow.xpt (changed), LoopTemplate.xpt (new), OperationContents.xpt (new)
Generated by StatSVN 0.7.0