Commit message (Expand) | Author | Age | |
---|---|---|---|
* | VAMPIRE: Implement Vampire measurement code | ArenBabikian | 2019-10-07 |
* | VAMPIRE: fix model generation | ArenBabikian | 2019-09-11 |
* | VAMPIRE: Implement wf constraint handling | ArenBabikian | 2019-09-08 |
* | Implement containment circularity avoidance #20 | ArenBabikian | 2019-04-05 |
* | Closes #34, adds code to test cases where minScope>maxScope. | ArenBabikian | 2019-04-04 |
* | Add gitignore, commit everything | ArenBabikian | 2019-03-20 |
* | Query parser update to current Viatra milestone | OszkarSemerath | 2018-05-18 |
* | added gitignore to generated outputs | OszkarSemerath | 2018-05-12 |
* | Project update | OszkarSemerath | 2018-05-12 |
* | VSConfig update | OszkarSemerath | 2018-05-12 |
* | Example updated | OszkarSemerath | 2018-05-12 |
* | example projects added | OszkarSemerath | 2018-03-24 |