projects / satune.git / history
| 2019-02-11 | Hamed Gorjiara | Adding timeout for Alloy interpreter | blob | commitdiff | raw |
| 2019-02-07 | Hamed Gorjiara | 1)core dump in regex for big strings 2) Boolean Var... | blob | commitdiff | raw | diff to current |
| 2019-01-29 | Hamed Gorjiara | fixing alloy performance bugs | blob | commitdiff | raw | diff to current |
| 2019-01-25 | Hamed Gorjiara | Adding support for ElementFunction | blob | commitdiff | raw | diff to current |
| 2019-01-23 | Hamed Gorjiara | Adding Support for BooleanVar | blob | commitdiff | raw | diff to current |
| 2019-01-23 | Hamed Gorjiara | Bug Fix: defining the scope of integer for Alloy | blob | commitdiff | raw | diff to current |
| 2019-01-22 | Hamed Gorjiara | Alloy interpreter | blob | commitdiff | raw | diff to current |