program_logic · a3cbeaffbc3338d568169c1e3b2232f423407332 · Ike Mulder / Iris · GitLab

Snippets Groups Projects

Forked from Iris / Iris

6339 commits behind the upstream repository.

Revert "Make the types of the finite map type classes more specific."

Robbert Krebbers authored 8 years ago

This reverts commit 20b4ae55, which does
not seem to work with Coq 8.5pl2 (I accidentally tested with 8.5pl1).

a3cbeaff

a3cbeaff 8 years ago

Name	Last commit	Last update
..
adequacy.v
auth.v
boxes.v
ectx_language.v
ectx_lifting.v
ectxi_language.v
ghost_ownership.v
global_functor.v
hoare.v
invariants.v
language.v
lifting.v
model.v
namespaces.v
ownership.v
pviewshifts.v
resources.v
saved_prop.v
sts.v
viewshifts.v
weakestpre.v
weakestpre_fix.v
wsat.v