aboutsummaryrefslogtreecommitdiffstats
path: root/Domains/Examples/ModelGenExampleFAM_plugin
Commit message (Expand)AuthorAge
* VAMPIRE: last commitLibravatar ArenBabikian2020-06-07
* VAMPIRE: Implement Vampire measurement codeLibravatar ArenBabikian2020-06-07
* VAMPIRE: fix model generationLibravatar ArenBabikian2020-06-07
* VAMPIRE: Implement wf constraint handlingLibravatar ArenBabikian2020-06-07
* Implement containment circularity avoidance #20Libravatar ArenBabikian2020-06-07
* Closes #34, adds code to test cases where minScope>maxScope.Libravatar ArenBabikian2020-06-07
* Rebuild with Eclipse 2020-03Libravatar Kristóf Marussy2020-05-07
* Project updateLibravatar OszkarSemerath2018-05-12
* VSConfig updateLibravatar OszkarSemerath2018-05-12
* example projects addedLibravatar OszkarSemerath2018-03-24
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-08 19:50:09 +0000