aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/uk/ac/ox/cs/acqua/implicits
Commit message (Expand)AuthorAgeFilesLines
* fix: stack overflow casued by `implicit` infinite loopFederico Igne2022-05-181-2/+5
* Finalise implementation of ACQuA query reasonerFederico Igne2022-05-151-17/+18
* Add compatibility layer between RSAComb and PAGOdA query answersFederico Igne2022-05-151-0/+146
* Add RSA query reasoner to perform CQ answering over RSAFederico Igne2022-05-111-2/+10
* Implement stub for query answering procedureFederico Igne2022-05-111-0/+31