aboutsummaryrefslogtreecommitdiffstats
path: root/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/src
Commit message (Expand)AuthorAge
* Merge branch 'Vampire-New' into Vampire-NewLibravatar ArenBabikian2020-06-07
|\
| * Pre-realisticBranchCreation CommitLibravatar ArenBabikian2019-05-12
| * Commit before mergeLibravatar ArenBabikian2019-02-17
| * Integrate queries partially #19Libravatar ArenBabikian2019-02-16
| * Set up #19Libravatar ArenBabikian2019-02-15
* Pre-realisticBranchCreation CommitLibravatar ArenBabikian2020-06-07
* Pre-realisticBranchCreation CommitLibravatar ArenBabikian2020-06-07
* Commit before mergeLibravatar ArenBabikian2020-06-07
* Integrate queries partially #19Libravatar ArenBabikian2020-06-07
* Set up #19Libravatar ArenBabikian2020-06-07