Commits · master · Paolo G. Giarrusso / iris

Nov 27, 2024
- Merge branch 'robbert/ufrac_auth_update_surplus_cancel' into 'master' · 3c1e0431
  Robbert Krebbers authored 3 months ago
  
  Add lemma `ufrac_auth_update_surplus_cancel`. See merge request !1092
  3c1e0431
Nov 16, 2024
- CHANGELOG. · 49759c97
  Robbert Krebbers authored 3 months ago
  
  49759c97
- Add lemma `ufrac_auth_update_surplus_cancel`. · f500dc6c
  Robbert Krebbers authored 3 months ago
  
  f500dc6c
Nov 15, 2024
- Merge branch 'tex_require_mathpartir' into 'master' · 6b57ac28
  Ralf Jung authored 3 months ago
  
  Add requirement of mathpartir to pftools.sty See merge request iris/iris!1087
  6b57ac28
Nov 13, 2024
- Merge branch 'Blaisorblade-master-patch-96682' into 'master' · e3388f1b
  Ralf Jung authored 3 months ago
  
  bupd_alt.v: fix thinko in docs See merge request !1088
  e3388f1b
- Merge branch 'ralf/lis' into 'master' · 55b5d676
  Robbert Krebbers authored 3 months ago
  
  remove link to iris club mailing list from readme See merge request !1091
  55b5d676
- remove link to iris club mailing list from readme · 57fb6a06
  Ralf Jung authored 3 months ago
  
  57fb6a06
- Merge branch 'lock_name_inhabited' into 'master' · f9d1e1da
  Ralf Jung authored 3 months ago
  
  Constrain lock_name to be Inhabited See merge request !1089
  f9d1e1da
Nov 12, 2024
- CHANGELOG. · 08a7857e
  Robbert Krebbers authored 4 months ago
  
  08a7857e
Nov 11, 2024
- Constrain lock_name to be Inhabited · 5602833e
  Daniel Nezamabadi authored 4 months ago
  
  5602833e
- bupd_alt.v: fix thinko in docs · bd641645
  Paolo G. Giarrusso authored 4 months ago
  
  bd641645
Nov 09, 2024
- this will be the 4.4 refrence · d18120d1
  Ralf Jung authored 4 months ago
  
  d18120d1
- this is the final 4.3 reference · b9944170
  Ralf Jung authored 4 months ago
  
  b9944170
Oct 31, 2024

Add requirement of mathpartir to pftools.sty · c570be46

Isaac van Bakel authored 4 months ago

Without this line, mathpartir.sty doesn't get pulled in to the document
despite being used for commands in pftools.sty, which is an annoyance.

Verified

c570be46

Oct 30, 2024
- release version 4.3 · 3d176f12
  Ralf Jung authored 4 months ago
  
  iris-4.3.0
  
  3d176f12
- changelog tweaks · 0472a073
  Ralf Jung authored 4 months ago
  
  0472a073
- Merge branch 'master' into 'master' · e2d7a20e
  Ralf Jung authored 4 months ago
  
  Update to 4.3.0 See merge request !1086
  e2d7a20e
- Update to 4.3.0 · 389c3606
  Jesper Bengtson authored 4 months ago and Ralf Jung committed 4 months ago
  
  389c3606
- update dependencies · 27f837c1
  Ralf Jung authored 4 months ago
  
  27f837c1
Oct 24, 2024
- Merge branch 'ralf/default-locality' into 'master' · 12b828e7
  Ralf Jung authored 4 months ago
  
  The deprecated-hint-without-locality warning does not exist any more, remove it See merge request !1084
  12b828e7
- The deprecated-hint-without-locality warning does not exist any more, remove it · 3f3cdb1d
  Ralf Jung authored 4 months ago
  
  3f3cdb1d
- silence some Coq 9.0 warnings · 6e0a639c
  Ralf Jung authored 4 months ago
  
  6e0a639c
Oct 19, 2024
- Merge branch 'robbert/cofe_solver_inhabited' into 'master' · a2db91f9
  Ralf Jung authored 4 months ago
  
  Show that the solution of the COFE solver is inhabited. See merge request !1083
  a2db91f9
- CHANGELOG. · 66b36c53
  Robbert Krebbers authored 4 months ago
  
  66b36c53
- Show that the solution of the COFE solver is inhabited. · 78a977a5
  Robbert Krebbers authored 4 months ago
  
  78a977a5
Oct 07, 2024
- Merge branch 'ralf/coq' into 'master' · 6dece417
  Ralf Jung authored 5 months ago
  
  bump 8.19 to latest minor release See merge request !1081
  6dece417
- bump 8.19 to latest minor release · 2f80c991
  Ralf Jung authored 5 months ago
  
  2f80c991
Oct 03, 2024
- Merge branch 'robbert/proofmode-incompatible-prefix' into 'master' · 4871f965
  Robbert Krebbers authored 5 months ago
  
  Fix proof mode notations to work around https://github.com/coq/coq/pull/19049 See merge request !1080
  4871f965
- Add comment · c7aee488
  Robbert Krebbers authored 5 months ago
  
  c7aee488
Oct 02, 2024
- Fix proof mode notations to work around https://github.com/coq/coq/pull/19049 · 21bab4f0
  Robbert Krebbers authored 5 months ago
  
  21bab4f0
- update warning comment · 636308c8
  Ralf Jung authored 5 months ago
  
  636308c8
- Bump Iris. · 22b00293
  Robbert Krebbers authored 5 months ago
  
  22b00293
- Merge branch 'ralf/coq-drop' into 'master' · 4320aaee
  Ralf Jung authored 5 months ago
  
  Drop support Coq 8.18. See merge request !1079
  4320aaee
- fix CI · d4821834
  Ralf Jung authored 5 months ago
  
  d4821834
- fix argument-scope-delimiter warning · 399656bd
  Ralf Jung authored 5 months ago
  
  399656bd
- update opam dependency · a6a57635
  Ralf Jung authored 5 months ago
  
  a6a57635
- Drop support Coq 8.18. · a971f9f4
  Robbert Krebbers authored 5 months ago and Ralf Jung committed 5 months ago
  
  a971f9f4
Sep 24, 2024
- Merge branch 'twp-proofmode' into 'master' · 0d08080c
  Ralf Jung authored 5 months ago
  
  Add missing typeclasses for twp. See merge request iris/iris!1076
  0d08080c
- Apply 1 suggestion(s) to 1 file(s) · 423601f2
  Janggun Lee authored 5 months ago
  
  Co-authored-by: Robbert Krebbers <gitlab-sws@robbertkrebbers.nl>
  423601f2
- Fix tests · f5928e3c
  Janggun Lee authored 5 months ago
  
  f5928e3c