Commit message (Expand) | Author | Age | |
---|---|---|---|
* | This branch is ready to be merged into masterVampire-New | ArenBabikian | 2020-06-14 |
* | VAMPIRE: Rebase on Master | ArenBabikian | 2020-06-07 |
* | Rebuild with Eclipse 2020-03 | Kristóf Marussy | 2020-05-07 |
* | (lipstick) | Oszkar Semerath | 2020-04-15 |
* | Regenerated Application Configuration Language | OszkarSemerath | 2018-05-08 |
* | Validators refactored | OszkarSemerath | 2018-01-30 |