← Back to branch summary

~peter-bulychev/opaal/opaal-continious-time

From Revision 57 to 38

expand all expand all

Rev   Summary Authors Date Diff Files
57
fixed bug(incorrect order of statements)
Peter Bulychev 13 years ago Diff Files
56
added one more test
Peter Bulychev 13 years ago Diff Files
55
maximum bounds are calculated
Peter Bulychev 13 years ago Diff Files
54
added another test
Peter Bulychev 13 years ago Diff Files
53
added two tests for parallel execution
Peter Bulychev 13 years ago Diff Files
52
integer variables guard & updates
Peter Bulychev 13 years ago Diff Files
51
another tests added
Peter Bulychev 13 years ago Diff Files
50
fixed error with update
Peter Bulychev 13 years ago Diff Files
49
fixed error with update
Peter Bulychev 13 years ago Diff Files
48
fixed error with update
Peter Bulychev 13 years ago Diff Files
47
automatic testing of which states are reachable and which ar...
Peter Bulychev 13 years ago Diff Files
46
fixed error in non-sync transitions
Peter Bulychev 13 years ago Diff Files
45
removed symbolic reachability goal checker
Peter Bulychev 13 years ago Diff Files
44
tests added
Peter Bulychev 13 years ago Diff Files
43
reachability works..
Peter Bulychev 13 years ago Diff Files
42
invariants handled
Peter Bulychev 13 years ago Diff Files
41
at least it runs and doesn't fail
Peter Bulychev 13 years ago Diff Files
40
initial state federation
Peter Bulychev 13 years ago Diff Files
39
updates are parsed
Peter Bulychev 13 years ago Diff Files
38
some work done here
Peter Bulychev 13 years ago Diff Files