aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/uk/ac/ox/cs
Commit message (Expand)AuthorAgeFilesLines
* fix(cli): pass data path to PAGOdA's propertiesFederico Igne2022-05-192-1/+9
* feat(lower-bound): always compute the lower bound from RSACombFederico Igne2022-05-181-1/+1
* feat: add consistency check for ACQuA query reasonerFederico Igne2022-05-182-12/+347
* feat(cli): actually use command line argumentsFederico Igne2022-05-181-2/+3
* fix(cli): handling of empty argument listsFederico Igne2022-05-181-2/+2
* fix: stack overflow casued by `implicit` infinite loopFederico Igne2022-05-181-2/+5
* Make ACQuA query reasoner depend on RSAComb query reasonerFederico Igne2022-05-162-24/+52
* Finalise implementation of ACQuA query reasonerFederico Igne2022-05-155-297/+392
* Add compatibility layer between RSAComb and PAGOdA query answersFederico Igne2022-05-151-0/+146
* Fix path for RSAComb resourcesFederico Igne2022-05-151-1/+1
* Add preprocessing and initial computation for CQ answeringFederico Igne2022-05-121-144/+138
* Add initial implementation of ACQuA reasonerFederico Igne2022-05-121-0/+489
* Adjust CLIFederico Igne2022-05-122-39/+35
* Add RSA query reasoner to perform CQ answering over RSAFederico Igne2022-05-113-24/+47
* Implement stub for query answering procedureFederico Igne2022-05-114-19/+383
* [pagoda] Move project to ScalaFederico Igne2022-05-111-0/+41
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-15 06:36:41 +0000