Commit message (Expand) | Author | Age | |
---|---|---|---|
* | VAMPIRE: Implement wf constraint handling | 2019-09-08 | |
* | Implement containment circularity avoidance #20 | 2019-04-05 | |
* | Closes #34, adds code to test cases where minScope>maxScope. | 2019-04-04 | |
* | Project update | 2018-05-12 | |
* | VSConfig update | 2018-05-12 | |
* | example projects added | 2018-03-24 |