Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Merge branch 'Vampire-New' into Vampire-New | ArenBabikian | 2020-06-07 |
|\ | |||
| * | VAMPIRE: Rebase on Master | ArenBabikian | 2020-06-06 |
| * | VAMPIRE: last commit | ArenBabikian | 2020-02-03 |
| * | VAMPIRE: Implement Vampire measurement code | ArenBabikian | 2019-10-07 |
| * | VAMPIRE: fix model generation | ArenBabikian | 2019-09-11 |
| * | VAMPIRE: Implement wf constraint handling | ArenBabikian | 2019-09-08 |
* | | VAMPIRE: Rebase on Master | ArenBabikian | 2020-06-07 |
* | | VAMPIRE: last commit | ArenBabikian | 2020-06-07 |
* | | VAMPIRE: Implement Vampire measurement code | ArenBabikian | 2020-06-07 |
* | | VAMPIRE: fix model generation | ArenBabikian | 2020-06-07 |
* | | VAMPIRE: Implement wf constraint handling | ArenBabikian | 2020-06-07 |
* | | Rebuild with Eclipse 2020-03 | Kristóf Marussy | 2020-05-07 |
|/ | |||
* | Project update | OszkarSemerath | 2018-05-12 |
* | example projects added | OszkarSemerath | 2018-03-24 |