RODIN CodeGeneration

Brought to you by: cfsnook, gverdier, idiras321, lvoisin, tshoang

CodeGeneration Maximize Restore

# Sort A -> Z Sort Z -> A	Summary▾ Sort A -> Z Sort Z -> A	Milestone▾ Sort A -> Z Sort Z -> A Filter by Milestone	Status▾ Sort A -> Z Sort Z -> A Filter by Status	Owner▾ Sort A -> Z Sort Z -> A Filter by Owner	Created▾ Sort A -> Z Sort Z -> A	Updated▾ Sort A -> Z Sort Z -> A
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