Merge pull request #188 from VeriFIT/final_check_stat

Add noodler final_check statistic

Merge pull request #145 from VeriFIT/regex_union

Multiple membership heuristic improvement

Merge pull request #132 from VeriFIT/toint-fix

Fix `to_int` computation so invalid cases are not used to generate numbers

Fixed version for SMT-COMP'23. Should be used with Mata v0.69.0 (comm…

…it 3051cae).

For SMT-COMP'23. Should be used with mata v0.58.0 (commit 1814113).

Initial OOPSLA release. Should be used with Mata v0.50.0 (commit 199b…

…36d).

Merge pull request #101 from VeriFIT/readme-update

Readme update