Commits · master · Iris / gpfsl

Mar 31, 2025
- update dependencies · 8e4abbc0
  Ralf Jung authored 1 day ago
  
  8e4abbc0
Mar 28, 2025
- Bump Iris (Transfinite algebra). · ae415dea
  Robbert Krebbers authored 4 days ago
  
  ae415dea
- update Iris · 1373af49
  Ralf Jung authored 4 days ago
  
  1373af49
Feb 05, 2025
- update dependencies · b3cc549a
  Ralf Jung authored 1 month ago
  
  b3cc549a
- bump Iris dependency · 31e913ff
  Hai Dang authored 1 month ago
  
  31e913ff
Jan 28, 2025
- update dependencies · 6f76c393
  Ralf Jung authored 2 months ago
  
  6f76c393
- fix CI job name · 08eddda5
  Ralf Jung authored 2 months ago
  
  08eddda5
- bump CI to Coq 8.20 (but that has warnings) · 16b36a17
  Ralf Jung authored 2 months ago
  
  16b36a17
Jan 26, 2025
- Revert "fix several warnings" · 95c0a171
  Hai Dang authored 2 months ago
  
  This reverts commit 1bceed49.
  95c0a171
- Merge branch 'hai/coq9.0rc1' into 'master' · a9f247da
  Hai Dang authored 2 months ago
  
  fix to be compatible with Rocq 9.0+rc1 See merge request !44
  a9f247da
- fix several warnings · 1bceed49
  Hai Dang authored 2 months ago
  
  1bceed49
- fix to be compatible with coq 9.0+rc1 · 3a6eafbb
  Hai Dang authored 2 months ago
  
  3a6eafbb
Oct 30, 2024
- update dependencies · 0ea042c5
  Ralf Jung authored 5 months ago
  
  0ea042c5
Oct 09, 2024
- fix link to orc11 sources · c31eb7e5
  Ralf Jung authored 5 months ago
  
  c31eb7e5
Oct 08, 2024
- Layover for iris!1082 . · 654c9f39
  Robbert Krebbers authored 5 months ago
  
  654c9f39
Oct 07, 2024
- merge orc11 into gpfsl package to get rid of the diamond dependency · dd483d31
  Ralf Jung authored 5 months ago
  
  dd483d31
Oct 03, 2024
- fix CI to only build with coq 8.19.1 · 023610f8
  Hai Dang authored 5 months ago
  
  023610f8
- build config for coq 8.19.2 · 528c3483
  Hai Dang authored 5 months ago
  
  528c3483
- bump to Coq 8.19.2 and Iris · e028d36b
  Hai Dang authored 5 months ago
  
  e028d36b
Sep 10, 2024
- update dependencies · 5365229f
  Ralf Jung authored 6 months ago
  
  5365229f
- Bump · 6170a8bd
  Jacques-Henri Jourdan authored 6 months ago
  
  6170a8bd
Sep 04, 2024
- update dependencies · 25e2a830
  Ralf Jung authored 6 months ago
  
  25e2a830
Aug 30, 2024
- update dependencies · b2983a1e
  Ralf Jung authored 7 months ago
  
  b2983a1e
Aug 21, 2024
- update dependencies · 4f4e5934
  Ralf Jung authored 7 months ago
  
  4f4e5934
Aug 20, 2024
- update dependencies · cd56cf5b
  Ralf Jung authored 7 months ago
  
  cd56cf5b
Aug 16, 2024
- Bump std++ (length_X). · b6462587
  Robbert Krebbers authored 7 months ago
  
  b6462587
- Forward compatibility fixes for stdpp!555 · 5e156c9b
  Robbert Krebbers authored 7 months ago
  
  5e156c9b
Jul 22, 2024
- bump Iris · 8cb1999b
  Ralf Jung authored 8 months ago
  
  8cb1999b
Apr 12, 2024
- update dependencies · fb76fea3
  Ralf Jung authored 11 months ago
  
  fb76fea3
Mar 22, 2024
- bump Iris · 2c385241
  Ralf Jung authored 1 year ago
  
  2c385241
Mar 06, 2024
- Merge branch 'ike/fix_limit_iframe_ex' into 'master' · 29390ed1
  Ralf Jung authored 1 year ago
  
  Fix proof after iris!1035. See merge request !43
  29390ed1
- Fix proof after iris!1035 . · eae111ae
  Ike Mulder authored 1 year ago
  
  eae111ae
Feb 17, 2024
- Merge branch 'ike/frame_exist' into 'master' · d66bfab5
  Ralf Jung authored 1 year ago
  
  Fix broken proofs for improved iFrame ∃ See merge request !42
  d66bfab5
- Fix for improved iFrame ∃ · d04e3a24
  Ike Mulder authored 1 year ago
  
  d04e3a24
Feb 16, 2024
- Update to latest iris with iFrame ∃ · 30640693
  Ike Mulder authored 1 year ago
  
  30640693
- Remove superfluous unfolds · 8b6037d5
  Ike Mulder authored 1 year ago
  
  8b6037d5
- Patch now that iFrame ∃ looks beneath definitions · 3bf018b7
  Ike Mulder authored 1 year ago
  
  3bf018b7
- Fix for improved iFrame ∃ · 1178ec36
  Ike Mulder authored 1 year ago
  
  1178ec36
Feb 11, 2024
- update dependencies · e67cd253
  Ralf Jung authored 1 year ago
  
  e67cd253
Dec 26, 2023
- update dependencies · f51f0b53
  Ralf Jung authored 1 year ago
  
  f51f0b53