Merge branch 'ralf/tc-local' into 'master'
add locality annotation to all Typeclasses Opaque/Transparent See merge request iris/iris!918
No related branches found
No related tags found
Showing
- CHANGELOG.md 2 additions, 0 deletionsCHANGELOG.md
- _CoqProject 0 additions, 2 deletions_CoqProject
- coq-lint.sh 1 addition, 1 deletioncoq-lint.sh
- iris/algebra/auth.v 1 addition, 1 deletioniris/algebra/auth.v
- iris/algebra/big_op.v 1 addition, 1 deletioniris/algebra/big_op.v
- iris/algebra/lib/dfrac_agree.v 1 addition, 1 deletioniris/algebra/lib/dfrac_agree.v
- iris/algebra/lib/excl_auth.v 1 addition, 1 deletioniris/algebra/lib/excl_auth.v
- iris/algebra/lib/frac_auth.v 1 addition, 1 deletioniris/algebra/lib/frac_auth.v
- iris/algebra/lib/gmap_view.v 1 addition, 1 deletioniris/algebra/lib/gmap_view.v
- iris/algebra/lib/mono_Z.v 1 addition, 1 deletioniris/algebra/lib/mono_Z.v
- iris/algebra/lib/mono_list.v 1 addition, 1 deletioniris/algebra/lib/mono_list.v
- iris/algebra/lib/mono_nat.v 1 addition, 1 deletioniris/algebra/lib/mono_nat.v
- iris/algebra/lib/ufrac_auth.v 1 addition, 1 deletioniris/algebra/lib/ufrac_auth.v
- iris/algebra/max_prefix_list.v 1 addition, 1 deletioniris/algebra/max_prefix_list.v
- iris/algebra/ofe.v 3 additions, 3 deletionsiris/algebra/ofe.v
- iris/algebra/vector.v 1 addition, 1 deletioniris/algebra/vector.v
- iris/algebra/view.v 1 addition, 1 deletioniris/algebra/view.v
- iris/base_logic/lib/boxes.v 1 addition, 1 deletioniris/base_logic/lib/boxes.v
- iris/base_logic/lib/cancelable_invariants.v 1 addition, 1 deletioniris/base_logic/lib/cancelable_invariants.v
- iris/base_logic/lib/gen_inv_heap.v 1 addition, 1 deletioniris/base_logic/lib/gen_inv_heap.v
Loading
Please register or sign in to comment