2019-02-07 | Hamed Gorjiara | 1)core dump in regex for big strings 2) Boolean Var... | tree | commitdiff |
2019-01-29 | Hamed Gorjiara | fixing alloy performance bugs | tree | commitdiff |
2019-01-25 | Hamed Gorjiara | Adding support for ElementFunction | tree | commitdiff |
2019-01-23 | Hamed Gorjiara | Adding Support for BooleanVar | tree | commitdiff |
2019-01-23 | Hamed Gorjiara | Bug Fix: defining the scope of integer for Alloy | tree | commitdiff |
2019-01-22 | Hamed Gorjiara | Initializing the ElementSig Value | tree | commitdiff |
2019-01-22 | Hamed Gorjiara | Alloy interpreter | tree | commitdiff |