aboutsummaryrefslogtreecommitdiffstats
path: root/Domains/Examples
Commit message (Expand)AuthorAge
* VAMPIRE: fix model generationLibravatar ArenBabikian2019-09-11
* VAMPIRE: Implement wf constraint handlingLibravatar ArenBabikian2019-09-08
* Implement containment circularity avoidance #20Libravatar ArenBabikian2019-04-05
* Closes #34, adds code to test cases where minScope>maxScope.Libravatar ArenBabikian2019-04-04
* Add gitignore, commit everythingLibravatar ArenBabikian2019-03-20
* Query parser update to current Viatra milestoneLibravatar OszkarSemerath2018-05-18
* added gitignore to generated outputsLibravatar OszkarSemerath2018-05-12
* Project updateLibravatar OszkarSemerath2018-05-12
* VSConfig updateLibravatar OszkarSemerath2018-05-12
* Example updatedLibravatar OszkarSemerath2018-05-12
* example projects addedLibravatar OszkarSemerath2018-03-24
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-28 18:38:36 +0000