aboutsummaryrefslogtreecommitdiffstats
path: root/Domains/Examples/ModelGenExampleFAM_plugin
Commit message (Expand)AuthorAge
* Merge branch 'Vampire-New' into Vampire-NewLibravatar ArenBabikian2020-06-07
|\
| * VAMPIRE: Rebase on MasterLibravatar ArenBabikian2020-06-06
| * VAMPIRE: last commitLibravatar ArenBabikian2020-02-03
| * 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
* | VAMPIRE: Rebase on MasterLibravatar ArenBabikian2020-06-07
* | 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-70-g09d2 (git 2.46.0) at 2024-09-27 18:39:47 +0000