summarylogtreecommitdiffstats
AgeCommit message (Expand)Author
2019-08-29Update Vampire to 4.4Patrick Lühne
2019-01-17Remove binary name suffixPatrick Lühne
2018-11-30Add Vampire as of 4.2.2Patrick Lühne