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
|
|
|