Commits · master · Iris / gpfsl

Browse files

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