tests · aae893bd95974444851a1789df2f231c294aab56 · Abhishek Anand / Iris · GitLab

Snippets Groups Projects

Forked from Iris / Iris

3885 commits behind the upstream repository.

Use telescopes for atomic accessors, updates and triples; improve mask...

Ralf Jung authored 6 years ago

Use telescopes for atomic accessors, updates and triples; improve mask handling; add notation for all of them

aae893bd

aae893bd 6 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
ipm_paper.ref
ipm_paper.v
list_reverse.ref
list_reverse.v
mosel_paper.ref
mosel_paper.v
one_shot.ref
one_shot.v
proofmode.ref
proofmode.v
proofmode_iris.ref
proofmode_iris.v
proofmode_monpred.ref
proofmode_monpred.v
telescopes.ref
telescopes.v
tree_sum.ref
tree_sum.v