Skip to content

Linear invariant counterexample, and more cinv rules

Ralf Jung requested to merge ralf/cinv into master

This fixes #132 (closed). I also added another cinv rule so that @robbertkrebbers can sleep soundly. ;)

Merge request reports