RODIN / CodeGeneration / Milestone 1.0

Milestone 1.0 Maximize Restore

Status: Open

Due Date: N/A

Progress: 3 / 13

# 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	Labels▾ Sort A -> Z Sort Z -> A
13	JML-Java Specification Generator.	1.0	open	Andy Edmunds	2013-06-21	2013-06-21
12	Use of Templates	1.0	closed	Andy Edmunds	2013-06-21	2014-06-25
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	closed	Andy Edmunds	2013-06-20	2014-06-25
1	Flattening of the Tasking Machine	1.0	closed	Andy Edmunds	2013-06-20	2013-07-31