2019-01-25 | Hamed Gorjiara | Adding support for ElementFunction | blob | commitdiff | raw |
2019-01-23 | Hamed Gorjiara | Adding Support for BooleanVar | blob | commitdiff | raw | diff to current |
2019-01-22 | Hamed Gorjiara | Initializing the ElementSig Value | blob | commitdiff | raw | diff to current |
2019-01-22 | Hamed Gorjiara | Alloy interpreter | blob | commitdiff | raw | diff to current |