nightly build

Revert "adcl: disable restarts for testing"

This reverts commit d4506d72457834722994892be66c89e5c334aacd.

CHC COMP 2026

chc-comp-2026-v1

benchmark results; engine trl; benchmarks: chc25-lia-lin

LoAT Arrays

The first version of LoAT that can handle arrays.

LoAT v0.9.7

Identical to v0.9.7. The only purpose of this release is to trigger the Zenodo integration to make it long-term available.

LoAT v0.9.6

fails more gracefully in several cases

LoAT v0.9.5

fixes a bug in the ARI parser that breaks complexity analysis

LoAT v0.9.4

fixes a bug in the CHC parser w.r.t. let-expressions

LoAT v0.9.3

• fix a bug in the CHC parser
• discontinue old formats (all but CHCs and ARI)
• slightly nicer proofs from ABMC

LoAT v0.9.2

Release after testing for CHC-Comp and TermComp. Includes a new parser for the ARI format.

LoAT API v1.0.0

api-v1.0.0

small fixes