tests · f6247dfd1cb714dc1aadaf329f4fab665ff91b52 · Gaëtan Gilbert / Iris · GitLab

Snippets Groups Projects

Forked from Iris / Iris

2927 commits behind the upstream repository.

Merge branch 'robbert/from_forall_tc_opaque' into 'master'

Robbert Krebbers authored 5 years ago

Missing `tc_opaque` instance for `FromForall`.

See merge request iris/iris!357

23ad2f43

23ad2f43 5 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.8.9.ref
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_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