Merge branch 'simon/typeclass-implicit-arguments' into 'master'
Disable Implicit Generalization for Typeclass Arguments See merge request iris/iris!855
No related branches found
No related tags found
Showing
- iris/algebra/big_op.v 6 additions, 6 deletionsiris/algebra/big_op.v
- iris/algebra/cmra.v 19 additions, 19 deletionsiris/algebra/cmra.v
- iris/algebra/cofe_solver.v 1 addition, 1 deletioniris/algebra/cofe_solver.v
- iris/algebra/csum.v 2 additions, 2 deletionsiris/algebra/csum.v
- iris/algebra/functions.v 2 additions, 2 deletionsiris/algebra/functions.v
- iris/algebra/lib/frac_auth.v 3 additions, 3 deletionsiris/algebra/lib/frac_auth.v
- iris/algebra/lib/gset_bij.v 1 addition, 0 deletionsiris/algebra/lib/gset_bij.v
- iris/algebra/lib/ufrac_auth.v 3 additions, 3 deletionsiris/algebra/lib/ufrac_auth.v
- iris/algebra/list.v 1 addition, 1 deletioniris/algebra/list.v
- iris/algebra/monoid.v 4 additions, 4 deletionsiris/algebra/monoid.v
- iris/algebra/ofe.v 15 additions, 15 deletionsiris/algebra/ofe.v
- iris/algebra/updates.v 3 additions, 3 deletionsiris/algebra/updates.v
- iris/algebra/vector.v 1 addition, 1 deletioniris/algebra/vector.v
- iris/base_logic/bupd_alt.v 3 additions, 3 deletionsiris/base_logic/bupd_alt.v
- iris/bi/big_op.v 25 additions, 25 deletionsiris/bi/big_op.v
- iris/bi/derived_laws.v 15 additions, 15 deletionsiris/bi/derived_laws.v
- iris/bi/derived_laws_later.v 2 additions, 2 deletionsiris/bi/derived_laws_later.v
- iris/bi/embedding.v 4 additions, 4 deletionsiris/bi/embedding.v
- iris/bi/interface.v 2 additions, 2 deletionsiris/bi/interface.v
- iris/bi/internal_eq.v 3 additions, 3 deletionsiris/bi/internal_eq.v
Loading
Please register or sign in to comment