Skip to content
GitLab

Semantic invariants

Merged 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