aboutsummaryrefslogtreecommitdiff
path: root/src/test/scala/uk/ac/ox/cs/rsacomb/converter
Commit message (Expand)AuthorAgeFilesLines
* Add new fresh data factoryFederico Igne2021-08-061-20/+52
* Add Apache License 2.0Federico Igne2021-06-304-0/+64
* Add shifting for disjunction in the rhs of an axiomFederico Igne2021-04-051-0/+21
* Add ontology normalizerFederico Igne2021-02-041-0/+140
* Merge remote-tracking branch 'origin/master' into masterFederico Igne2020-12-171-1/+1
|\
| * Fix typoStefano Germano2020-12-161-1/+1
* | Comment out old testsFederico Igne2020-12-172-518/+518
|/
* Change how inverse roles are handle on the logic programming sideFederico Igne2020-12-081-3/+2
* Reorganize testsFederico Igne2020-12-073-0/+723