aboutsummaryrefslogtreecommitdiffstats
path: root/Domains/Examples/ModelGenExampleFAM_plugin
Commit message (Expand)AuthorAge
* VAMPIRE: Implement Vampire measurement codeLibravatar ArenBabikian2019-10-07
* 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
* Project updateLibravatar OszkarSemerath2018-05-12
* VSConfig updateLibravatar OszkarSemerath2018-05-12
* example projects addedLibravatar OszkarSemerath2018-03-24