tests · 728bf3ba39f8c16d39bc7378b1d7fd22b04f4374 · Gaëtan Gilbert / Iris · GitLab

Snippets Groups Projects

Forked from Iris / Iris

2598 commits behind the upstream repository.

Merge branch 'ralf/gc' into 'master'

Ralf Jung authored 4 years ago

Add heap_lang lib for "invariant locations": locations with a (pure) invariant attached to them

See merge request iris/iris!289

cdaf17ee

cdaf17ee 4 years ago

Name	Last commit	Last update
..
algebra.ref
algebra.v
atomic.ref
atomic.v
heap_lang.ref
heap_lang.v
heap_lang2.ref
heap_lang2.v
heap_lang_proph.ref
heap_lang_proph.v
ipm_paper.ref
ipm_paper.v
list_reverse.ref
list_reverse.v
mosel_paper.ref
mosel_paper.v
one_shot.ref
one_shot.v
one_shot_once.ref
one_shot_once.v
proofmode.ref
proofmode.v
proofmode_ascii.ref
proofmode_ascii.v
proofmode_iris.ref
proofmode_iris.v
proofmode_monpred.ref
proofmode_monpred.v
proofmode_siprop.ref
proofmode_siprop.v
telescopes.ref
telescopes.v
tree_sum.ref
tree_sum.v