aboutsummaryrefslogtreecommitdiffstats
path: root/Domains/Examples/ModelGenExampleFAM_plugin
Commit message (Collapse)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-20 13:26:45 +0000