v1.3.3

to SMT2 allows local variables
qlrf as defined by BMS implemented

v1.3.2

Koat parser fix

v1.3.1

-cost preserved when CFR koat

v1.3

• non-termination reachability
• allowing C as entry
• renaming a parameter
• optimizing close walks
• sampling non-deterministic variables
• give properties of nodes through a different file

v1.2.1

Allow printing smt2 format.
Other minor changes

v1.2

release with the status of the tool when submitting the article: Control-Flow Refinement by Partial Evaluation and its applications on termination and cost analysis

v1.0

iRankFinder is a termination for (integer) transition systems, that is based on inferring several kinds of ranking functions.