STTT '22 final

release for the final version of our STTT '22 paper

ijcar22

add another missing file

STTT '22

release for the preliminary version of our STTT '22 paper

bugfix for computation of closed forms

Fixes a bug in the computation of the minimal number of iterations for which the computed closed forms are valid.

Acceleration Calculus

Implementation of a novel calculus for loop acceleration.

lower bounds

LoAT version for lower bounds from our corresponding journal paper. Pre-compiled binary for Linux/x64.

nonterm

LoAT version for non-termination proving from our FMCAD '19 paper. Pre-compiled binary for Linux/x64.