Commits · master · Iris / examples

Feb 05, 2025
- fix variant name · 9806de16
  Ralf Jung authored 1 month ago
  
  9806de16
- update dependencies · 83048408
  Ralf Jung authored 1 month ago
  
  83048408
Jan 25, 2025
- update dependencies · e5afd885
  Ralf Jung authored 1 month ago
  
  e5afd885
Nov 26, 2024
- Merge branch 'amin/ci/filer-spec' into 'master' · 4f54a325
  Ralf Jung authored 3 months ago
  
  Make the spec for filter stronger See merge request !68
  4f54a325
Oct 30, 2024
- update dependencies · 6cd37fd3
  Ralf Jung authored 4 months ago
  
  6cd37fd3
Oct 18, 2024
- Make the spec for filter stronger · 031d822e
  Amin Timany authored 5 months ago
  
  031d822e
Oct 03, 2024
- sadly the warning still fires · eab61393
  Ralf Jung authored 5 months ago
  
  eab61393
- update dependencies; warning should be gone · 9f535af9
  Ralf Jung authored 5 months ago
  
  9f535af9
Oct 02, 2024
- Merge branch 'coqbump' into 'master' · 9db7517d
  Ralf Jung authored 5 months ago
  
  bump to Coq 8.20 See merge request !67
  9db7517d
- fix deprecation warning · 9943d6b5
  Ralf Jung authored 5 months ago
  
  9943d6b5
- update warning comment · 26aeece9
  Ralf Jung authored 5 months ago
  
  26aeece9
- silence unfixable warnings · be5787b3
  Ralf Jung authored 5 months ago
  
  be5787b3
- bump to Coq 8.20 · bf974907
  Ralf Jung authored 5 months ago
  
  bf974907
- update dependencies · 58cc9816
  Ralf Jung authored 5 months ago
  
  58cc9816
- Merge branch 'coqbump' into 'master' · b8c475d2
  Ralf Jung authored 5 months ago
  
  bump to Coq 8.19 See merge request !66
  b8c475d2
- fix deprecation warnings · bd1a091f
  Ralf Jung authored 5 months ago
  
  bd1a091f
- bump to Coq 8.19 · acb6e71c
  Ralf Jung authored 5 months ago
  
  acb6e71c
Aug 21, 2024
- update dependencies · 974b5721
  Ralf Jung authored 7 months ago
  
  974b5721
Aug 20, 2024
- update dependencies · 075176d5
  Ralf Jung authored 7 months ago
  
  075176d5
Aug 16, 2024
- Bump std++ (length_X). · e5c1de86
  Robbert Krebbers authored 7 months ago
  
  e5c1de86
- Forwards compatibility fix for stdpp!555 · 6b124185
  Robbert Krebbers authored 7 months ago
  
  6b124185
Jun 19, 2024
- update dependencies · 439b7418
  Ralf Jung authored 9 months ago
  
  439b7418
Jun 04, 2024
- update dependencies · e17e7e92
  Ralf Jung authored 9 months ago
  
  e17e7e92
Apr 19, 2024
- update dependencies · 5dec292c
  Ralf Jung authored 11 months ago
  
  5dec292c
Apr 16, 2024
- update dependencies · 3a7448af
  Ralf Jung authored 11 months ago
  
  3a7448af
Apr 12, 2024
- update dependencies · e026c3ad
  Ralf Jung authored 11 months ago
  
  e026c3ad
- update dependencies · 988c93d9
  Ralf Jung authored 11 months ago
  
  988c93d9
Feb 16, 2024
- Merge branch 'ike/frame_exist' into 'master' · 8a6cdc38
  Ralf Jung authored 1 year ago
  
  Fix broken proofs for improved iFrame ∃ See merge request !65
  8a6cdc38
- Update to latest iris with iFrame ∃ · 05dd1363
  Ike Mulder authored 1 year ago
  
  05dd1363
- Remove superfluous unfolds · 476f9e02
  Ike Mulder authored 1 year ago
  
  476f9e02
- Patch now that frame ∃ looks beneath definitions again · a15d9e2e
  Ike Mulder authored 1 year ago
  
  a15d9e2e
- Fixes for improved exist instance · 5f330bab
  Ike Mulder authored 1 year ago
  
  5f330bab
Feb 15, 2024
- Merge branch 'amin/logrel-nat-to-int' into 'master' · 9597c6c4
  Robbert Krebbers authored 1 year ago
  
  logrel: Change nat to int See merge request !64
  9597c6c4
- fix minor issues · b1446252
  Amin Timany authored 1 year ago
  
  b1446252
- add missing cases in contexts · e7d42f1d
  Amin Timany authored 1 year ago
  
  e7d42f1d
Feb 14, 2024
- Change nat to int in logrel · 5eaaab7e
  Amin Timany authored 1 year ago
  
  5eaaab7e
Feb 09, 2024
- update dependencies · 6d20f91e
  Ralf Jung authored 1 year ago
  
  6d20f91e
- update dependencies · d7c04fa9
  Ralf Jung authored 1 year ago
  
  d7c04fa9
Feb 02, 2024
- update dependencies · ecbc294b
  Ralf Jung authored 1 year ago
  
  ecbc294b
Dec 26, 2023
- update dependencies · cf032fc2
  Ralf Jung authored 1 year ago
  
  cf032fc2