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-08-06Version number.v2.1.0RncLsn1-1/+1
2015-08-03The LimitedSkolemisation now employs a fixed-depth term instead of a constant...RncLsn8-27/+43
2015-08-03CLI option names.RncLsn1-1/+20
2015-08-01Option for SkolemUpperBound application and for skolemisation depth (from fil...RncLsn8-209/+291
2015-07-09Bug-fix for answer dependencies analysis: now it checks whether the endomorph...RncLsn10-35/+128
2015-07-08Internalisation: added condition for existential variables (classes HermitChe...RncLsn6-31/+111
2015-07-07Small changes.RncLsn3-13/+22
2015-07-06Merge remote-tracking branch 'origin/While_finding_test_cases' into While_fin...RncLsn0-0/+0
2015-07-06Added script for plotting times.RncLsn1-0/+48
2015-07-06Added script for plotting times.RncLsn1-0/+29
[...]
 
Clone
https://git.dyamon.me/projects/ACQuA
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-16 11:10:16 +0000