Skip to content

Semantic invariants

Ralf Jung requested to merge ralf/sem-inv into master

Re-post of !290 (closed)

Redefine invariants as "semantic invariants" so that they support splitting and other forms of weakening.

Edited by Ralf Jung

Merge request reports