Commits · 4f47419d36b697a2e556a93c92b3c3b155b604ae · Iris / lambda-rust

Jan 28, 2025
- update dependencies · 4f47419d
  Ralf Jung authored 2 months ago
  
  4f47419d
- bump to Coq 8.20.1 · 4a6ceeda
  Ralf Jung authored 2 months ago
  
  4a6ceeda
Oct 07, 2024
- fix imports · e87b3f2d
  Ralf Jung authored 5 months ago
  
  e87b3f2d
- update dependencies · 39fad8e8
  Ralf Jung authored 5 months ago
  
  39fad8e8
Oct 03, 2024
- Bump to Coq 8.19.1 and new gpfsl · 03a0069d
  Hai Dang authored 5 months ago
  
  03a0069d
Sep 10, 2024
- update dependencies · 042125b5
  Ralf Jung authored 6 months ago
  
  042125b5
- Bump. Does not seem to fix the issue. · 1aca9f0d
  Jacques-Henri Jourdan authored 6 months ago
  
  1aca9f0d
Aug 30, 2024
- update dependencies · 3a70b198
  Ralf Jung authored 7 months ago
  
  3a70b198
Aug 16, 2024
- Bump std++ (length_X). · 2d271e44
  Robbert Krebbers authored 7 months ago
  
  2d271e44
Feb 19, 2024
- Bump dependecy: actual bump (fix opam file) · 9f368673
  Hai Dang authored 1 year ago
  
  9f368673
- Bump dependency: fix proofs for new iFrame · 9e5d22fc
  Hai Dang authored 1 year ago
  
  9e5d22fc
Nov 07, 2023
- update dependencies · 0649227a
  Ralf Jung authored 1 year ago
  
  0649227a
Oct 14, 2023
- Bump. · 174d9053
  Robbert Krebbers authored 1 year ago
  
  174d9053
Oct 04, 2023
- update dependencies · ac963c11
  Ralf Jung authored 1 year ago
  
  ac963c11
Oct 02, 2023
- Merge branch 'ci/weak-8.18' into 'masters/weak_mem' · 5c15dade
  Ralf Jung authored 1 year ago
  
  bump to Coq 8.18 See merge request !33
  5c15dade
- bump to Coq 8.18 · e0a7ded2
  Ralf Jung authored 1 year ago
  
  e0a7ded2
- update dependencies · ea93c37a
  Ralf Jung authored 1 year ago
  
  ea93c37a
Jun 05, 2023
- Update dependencies · 7a487963
  Hai Dang authored 1 year ago
  
  7a487963
May 29, 2023
- Merge branch 'ci/weak_mem_mangle_names' into 'masters/weak_mem' · 2ba796ff
  Hai Dang authored 1 year ago
  
  Enable mangled names See merge request !30
  2ba796ff
- Enable mangled names · ed863f8b
  Hai Dang authored 1 year ago
  
  ed863f8b
- Minor cleanup · 58f78c5c
  Hai Dang authored 1 year ago
  
  58f78c5c
May 07, 2023
- Update to avoid deprecated features · 623d628b
  Hai Dang authored 1 year ago
  
  623d628b
- update dependencies · da96d246
  Hai Dang authored 1 year ago
  
  da96d246
May 04, 2023
- update dependency · 627eb715
  Hai Dang authored 1 year ago
  
  627eb715
May 02, 2023
- Bump Iris; bump minimal Coq version to 8.17. · 52fe2dad
  Robbert Krebbers authored 1 year ago
  
  52fe2dad
- centrally control the Coq version to test every night · ce10f5ef
  Ralf Jung authored 1 year ago
  
  ce10f5ef
Mar 23, 2023
- Bump · cb130c94
  Jacques-Henri Jourdan authored 2 years ago
  
  cb130c94
Mar 08, 2023
- Merge branch 'new_dist_later' into 'masters/weak_mem' · 241a56b8
  Robbert Krebbers authored 2 years ago
  
  fixes for iris!886 and iris!896 See merge request !29
  241a56b8
- fixes for iris!886 and iris!896 · e2ccbbc3
  Simon Spies authored 2 years ago
  
  e2ccbbc3
Aug 17, 2022
- update dependencies · ccb086f5
  Ralf Jung authored 2 years ago
  
  ccb086f5
Aug 16, 2022
- use Coq 8.16 for nightly builds, and fix Coq 8.16 build · 2e199c32
  Ralf Jung authored 2 years ago
  
  2e199c32
- update dependencies · a8fb1f42
  Ralf Jung authored 2 years ago
  
  a8fb1f42
Aug 12, 2022
- Bump Iris. · 8d09d241
  Robbert Krebbers authored 2 years ago
  
  8d09d241
- Bump Iris. · d4543f41
  Robbert Krebbers authored 2 years ago
  
  d4543f41
Jul 06, 2022
- fix na_borrow · d03bc23f
  Ralf Jung authored 2 years ago
  
  d03bc23f
- update dependencies · 6d323ae2
  Ralf Jung authored 2 years ago
  
  6d323ae2
Jul 05, 2022
- update dependencies · 56547cd4
  Ralf Jung authored 2 years ago
  
  56547cd4
May 16, 2022
- add missing Global hints · 9660dc7f
  Ralf Jung authored 2 years ago
  
  9660dc7f
- bump to Coq 8.15 · 056b0afa
  Ralf Jung authored 2 years ago
  
  056b0afa
May 15, 2022
- update dependencies · 3003fedb
  Ralf Jung authored 2 years ago and Hai Dang committed 2 years ago
  
  3003fedb