program_logic · 80dd5e37774a09bebc6b500f128a28a236b8e86b · Paolo G. Giarrusso / iris · GitLab

Snippets Groups Projects

Forked from Iris / Iris

6951 commits behind the upstream repository.

Make cFunctor and rFunctor contractive.

Robbert Krebbers authored 9 years ago

Since functor instances are just used as combinators, there is really
no need for functors that are not contractive.

80dd5e37

80dd5e37 9 years ago

Name	Last commit	Last update
..
adequacy.v
auth.v
ghost_ownership.v
global_functor.v
hoare.v
hoare_lifting.v
invariants.v
language.v
lifting.v
model.v
namespaces.v
ownership.v
pviewshifts.v
resources.v
saved_prop.v
sts.v
tactics.v
tests.v
viewshifts.v
weakestpre.v
wsat.v