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

Total Files:
1
Deleted Files:
0
Lines of Code:
71

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

Lines of Code

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

Developers

Author Changes Lines of Code Lines per Change
soundasleep 2 (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 2 files:

  • org.openiaml.verification.nusmv/src/metamodel: LoopExtensions.ext (new)
Generated by StatSVN 0.7.0