tests · 46151cd28b97d15137ae63b25e2dadc1adbc1656 · Tej Chajed / iris · GitLab

Snippets Groups Projects

Forked from Iris / Iris

3466 commits behind the upstream repository.

Allow multiple arguments in `iEval .. in` and `iSimpl in`.

Dan Frumin authored 5 years ago

46151cd2

46151cd2 5 years ago

Name	Last commit	Last update
..
algebra.ref
algebra.v
atomic.8.8.ref
atomic.ref
atomic.v
heap_lang.ref
heap_lang.v
heap_lang2.ref
heap_lang2.v
ipm_paper.ref
ipm_paper.v
list_reverse.8.10.ref
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