CodeGeneration Maximize Restore

Showing 10 results of 10

# Summary Milestone Status Owner Created Updated Labels
13 JML-Java Specification Generator. 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  
  • Ticket Number
  • Summary
  • Milestone
  • Status
  • Owner
  • Creator
  • Created
  • Updated
  • Labels
 
(applies to this page only)