Select Git revision
bump-iris
ci/debug
ci/gen_proofmode
ci/iris-dev-performance
ci/pm_red
ci/ralf/exact_vm
ci/ralf/weak_mem
ci/weak_mem
fast_string
fix-export
fnlft
gen_big_op
instance-nobody-open-proof
iris-update
jh/bug
jh/closures
jh/dynamic_masks
jh/lifetime_no_dead_trade
jh/ofe_problems
jh/popl_submission
jh/typecheck_foo
jh/undiscriminated_hintdb
jh_nondependent_expr
master
new_lifetime_logic
no-opaque
notations
ralf/acc
ralf/anomaly
ralf/call
ralf/old-asval
ralf/prophecy
skiplist
strong_cas_fail
stuck
popl18
popl18-aec
ci/ike/frame_exist
ci/janno/reduction_no_check
ci/janno/strict-tc-resolution
ci/pinning
ci/places
ci/ralf/const-rf
ci/ralf/sections
coqbug/match
ghostcell
gpirlea/pin_semantic
gpirlea/pinning
masters/rusthornbelt
masters/weak_mem
msammler/new-contractive
msammler/rustverify_talk
ralf/prop-level-wand
refmut_sync
robbert/Z_of_nat
robbert/sprop
rusthornbelt
step_indexing_controlled_by_ghosts
xldenis/option
xldenis/pldi-submission
xldenis/smallvec-push
xldenis/type-sum
yusuke/tlist_for_prophecy
RBrlx-POPL20-artifact