Releases: aprove-developers/aprove-releases
jbc-complexity, better names for ITSs
version for complexity analysis of JBC,
add name of the analyzed method to the name of the generated ITS
Edit 2016/10/12: For some reason, the custom CAGE-strategies were not included in the binary. Please use a newer release.
jbc-complexity, added custom strategies for CAGE
version for complexity analysis of JBC,
comes with many predefined strategies for the CAGE project
Edit 2016/10/12: For some reason, the new strategies were not included in the binary. Please use a newer release.
jbc-complexity, propagate data flow more precisely
version for complexity analysis of JBC,
several fixes:
- infinite lower bounds aren't suppressed any longer
- data flow for native methods and write accesses is computed more precisely
- new option to filter constraints less aggressively
jbc-complexity, show lower bounds
version for complexity analysis of JBC,
new option to print the lower bound proven by LoAT for the resulting ITS
termination competition 2016
version from the termination competition 2016 (except for the C-termination categories)
jbc-complexity, slice during ITS extraction
version for complexity analysis of JBC,
implemented slicing for the transformation SE-Graph --> ITS