EXT Iulian Ober (cd842c6e) at 14 Apr 09:18
install on Mac updates
Marius Bozga (889966e6) at 22 Mar 14:28
allow mantissa/exponent real constants
Marius Bozga (8d11ac66) at 07 Mar 15:26
add property for toekn-ring example
Marius Bozga (1b3be83d) at 18 Feb 10:43
provide generic functions for unique name checking
Marius Bozga (17cab404) at 17 Feb 17:26
fix macro parameter / field name clash
Marius Bozga (2ceed595) at 16 Feb 14:54
fix some C++ compilation warnings
Marius Bozga (b530e974) at 16 Feb 14:28
support ranges on reals with default step fixed at 1
EXT Iulian Ober (9e722619) at 28 Jan 10:23
fix -le DFS bug
EXT Iulian Ober (6b873b1c) at 28 Jan 08:54
support for bounding the number of messages from env in DFS
EXT Iulian Ober (088b42c9) at 21 Jan 19:41
added options to stop exploration after n states/seconds and limit ...
Marius Bozga (581111a2) at 07 Dec 09:45
fix memory leaks for labels in observers
... and 1 more commit
Marius Bozga (12917c18) at 24 Nov 15:09
fix enum type generation, avoid padding issues
EXT Iulian Ober (f03243a7) at 23 Nov 10:55
bug fix: clock/integer (s)print
Marius Bozga (125add74) at 18 Nov 14:12
ensure unique state names in auto-generated code
Marius Bozga (2ea18da7) at 18 Nov 10:04
improve type checking in presence of renamed types
Marius Bozga (01542e56) at 17 Nov 16:15
fix state name binding in hierarchical / concurrent states
EXT Iulian Ober (69e5942b) at 03 May 10:10
Fully switch to 64bit types to avoid padding in simulator structure...