Feature issue 69 - #70

Merged

mojtaba-eshghie merged 3 commits into

mainfrom

feature_issue_69

Aug 18, 2025

Commits on Aug 18, 2025

Feature #69: Adding the dataset from invarify repo to this.
mojtaba-eshghie
committed
f27a67c
Feature #69: added the sindi batch runner for invariant subsumption checking over strict require statement updates
mojtaba-eshghie
committed
2321b17
Feature #69: Adding the very recent results from invariant subsumption checking.
mojtaba-eshghie
committed
b405e35