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 |