Releases: aprove-developers/KoAT2-Releases
Initial Release for “Control-Flow Refinement for Complexity Analysis of Probabilistic Programs in KoAT”
This is the release of KoAT2 corresponding to our article “Control-Flow Refinement for Complexity Analysis of Probabilistic Programs in KoAT”. For details on how to use the static binary or the docker image or further information on our benchmarks please visit this website.
Release for "Targeting Completeness: Using Closed Forms for Size Bounds of Integer Programs"
This is the release of KoAT2 corresponding to our article "Targeting Completeness: Using Closed Forms for Size Bounds of Integer Programs". For details on how to use the static binary or the docker image or further information on our benchmarks please visit this website. Note that this version does not support probabilistic programs.
Final Version for "Improving Automatic Complexity Analysis of Integer Programs"
This is the release of KoAT2 corresponding to our article "Improving Automatic Complexity Analysis of Integer Programs". For details on how to use the static binary or the docker image or further information on our benchmarks please visit our website.
Note that this version does not support probabilistic programs.
Release for "Automatic Complexity Analysis of Integer Programs via Trinangular Weakly Non-Linear Loops"
This is the release of KoAT2 corresponding to our article "Automatic Complexity Analysis of Integer Programs via Trinangular Weakly Non-Linear Loops". For details on how to use the static binary or the docker image or further information on our benchmarks please visit this website. Note that this version does not support probabilistic programs.
Submission for "Improving Automatic Complexity Analysis of Integer Programs"
This is the release of KoAT2 corresponding to our article "Improving Automatic Complexity Analysis of Integer Programs". For details on how to use the static binary or the docker image or further information on our benchmarks please visit this website. Note that this version does not support probabilistic programs.
TACAS 21 Final Version
This is the release corresponding to the final version of our article for TACAS 21. It contains the current snapshot of the code, a static ELF binary, a docker image, and the examples from the experimental evaluation of the corresponding article. For details on how to use the static binary or the docker image, please check this website. For details on how to compile the included code, please see this page or check the included README.
The release corresponding to our submission at TACAS 21 can be found here.
Initial Release: TACAS 21 Submission
This is the initial release. It contains the current snapshot of the code, a static ELF binary, a docker image, and the examples from the experimental evaluation of the corresponding article. For details on how too use the static binary or the docker image, please check this website. For details on how to compile the included code, please see this page or check the included README.
The provided files are the ones we used in our submission to TACAS 21. The files corresponding to the final version are provided here.