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
2015-09-11Changed version into 2.1.2-SNAPSHOT for further changes.v2.1.2RncLsn1-1/+1
2015-09-11Version 2.1.1v2.1.1RncLsn1-1/+1
2015-09-11Improved the statistics that are generated for evaluating the system; configu...RncLsn7-15/+55
2015-09-10Small changesRncLsn4-5/+19
2015-09-03Integrated fix (manually) from upper stream.RncLsn4-6/+9
2015-09-03New test cases.RncLsn5-3/+114
2015-08-24Incremental Skolemised store (seems completed).RncLsn5-19/+93
2015-08-14Incremental Skolemised store (not working).RncLsn12-49/+244
2015-08-06Version number (2.1.1-SNAPSHOT)RncLsn5-7/+19
2015-08-06Merge branch '2.1.0' into RulesRncLsn1-1/+1
[...]
 
Clone
https://git.dyamon.me/projects/ACQuA
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-20 20:33:55 +0000