CodeGeneration Maximize Restore

Showing 12 results of 12

# Summary Milestone Status Owner Created Updated Labels
13 JML-Java Specification Generator. 1.0 open Andy Edmunds 2013-06-21 2013-06-21  
12 Use of Templates 1.0 open Andy Edmunds 2013-06-21 2013-06-21  
11 Code Gen for Nested State-machine. 1.0 open Andy Edmunds 2013-06-21 2013-06-21  
10 Review Tasking Event-B to Event-B translation. 1.0 open Andy Edmunds 2013-06-21 2013-06-21  
9 Remove warning: "Type for" ... "not found". 1.0 open Andy Edmunds 2013-06-21 2013-06-21  
8 Hiding of Tasking Event-B in non-Tasking Machines. 1.0 open Andy Edmunds 2013-06-21 2013-06-21  
7 Fix and Improve Static Checking of Tasking Machines 1.0 open Andy Edmunds 2013-06-20 2013-06-20  
6 Composed Machine refinement tree. 1.0 open Andy Edmunds 2013-06-20 2013-06-20  
5 State-machine decomposition; synched events for CG. 1.0 open Andy Edmunds 2013-06-20 2013-06-20  
4 Code generation should handle context extension. 1.0 open Andy Edmunds 2013-06-20 2013-06-20  
3 Reflect Event-B structure in code. 1.0 open Andy Edmunds 2013-06-20 2013-06-20  
2 Interface Machine Concept. (Providing Java Interfaces) 1.0 open Andy Edmunds 2013-06-20 2013-06-20