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-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
2022-05-18build: move project `resources` folderFederico Igne4-9/+8
2022-05-18build(hermit): bump HermiT v1.3.8.1 -> v1.4.5.519Federico Igne9-19/+53
2022-05-18docs: update README.mdFederico Igne1-30/+100
[...]
 
Clone
https://git.dyamon.me/projects/ACQuA
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-15 22:13:51 +0000