aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
mainbump(pom): update dependencesFederico Igne3 years
 
TagDownloadAuthorAge
v0.2.1ACQuA-0.2.1.tar.gz  ACQuA-0.2.1.zip  Federico Igne3 years
v0.2.0ACQuA-0.2.0.tar.gz  ACQuA-0.2.0.zip  Federico Igne3 years
v2.1.2ACQuA-2.1.2.tar.gz  ACQuA-2.1.2.zip  RncLsn10 years
v2.1.1ACQuA-2.1.1.tar.gz  ACQuA-2.1.1.zip  RncLsn10 years
v2.1.0ACQuA-2.1.0.tar.gz  ACQuA-2.1.0.zip  RncLsn10 years
 
AgeCommit messageAuthorFilesLines
2022-05-19test: add simple LUBM test datav0.2.1Federico Igne3-0/+109025
2022-05-19docs: update README.mdFederico Igne1-19/+52
2022-05-19fix(cli): pass data path to PAGOdA's propertiesFederico Igne2-1/+9
2022-05-18fix: allow bounds update even when the bounds gap is emptyv0.2.0Federico Igne1-2/+2
2022-05-18feat(lower-bound): always compute the lower bound from RSACombFederico Igne1-1/+1
2022-05-18feat: add consistency check for ACQuA query reasonerFederico Igne2-12/+347
2022-05-18feat(cli): actually use command line argumentsFederico Igne1-2/+3
2022-05-18fix(cli): handling of empty argument listsFederico Igne1-2/+2
2022-05-18fix(elho-reasoner): correct handling of Optional valueFederico Igne1-2/+2
2022-05-18docs(license): add Apache-2.0 LICENSE fileFederico Igne1-0/+202
[...]
 
Clone
https://git.dyamon.me/projects/ACQuA
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-18 14:13:03 +0000