Commits · 58656bc8a8803d2ce7e51264f750e031fa6e0ee9 · Neven Villani / simuliris

Jul 01, 2023
- draft · 58656bc8
  Vanille-N authored 1 year ago
  
  58656bc8
Jun 05, 2023
- Bump Iris. · 09306275
  Robbert Krebbers authored 1 year ago
  
  09306275
Jun 04, 2023
- Do not make sealed definitions TC opaque. This seems to repair a FIXME. · 26fb2a5c
  Robbert Krebbers authored 1 year ago
  
  26fb2a5c
Jun 03, 2023
- update dependencies · c0dff161
  Ralf Jung authored 1 year ago
  
  c0dff161
May 25, 2023
- avoid deprecated fgrep · b2c3adce
  Ralf Jung authored 1 year ago
  
  b2c3adce
May 05, 2023
- we can use a wand again here · a7ca8d5d
  Ralf Jung authored 1 year ago
  
  a7ca8d5d
- update dependencies · 44dad688
  Ralf Jung authored 1 year ago
  
  44dad688
- fix nightly budild config · 9300096b
  Ralf Jung authored 1 year ago
  
  9300096b
May 04, 2023
- fix Coq 8.17 deprecations · d8dcfb62
  Ralf Jung authored 1 year ago
  
  d8dcfb62
- update dependencies · 82afd687
  Ralf Jung authored 1 year ago
  
  82afd687
May 03, 2023
- Bump Iris, and increase minimal Coq version to 8.17. · 1b37a7f6
  Robbert Krebbers authored 1 year ago
  
  1b37a7f6
May 02, 2023
- pin all stdpp/iris packages · 169b63cc
  Ralf Jung authored 1 year ago
  
  169b63cc
- centrally control the Coq version to test every night · ad9bb74f
  Ralf Jung authored 1 year ago
  
  ad9bb74f
Mar 09, 2023
- Bump Iris (beautify code for `iCombine .. gives`). · cca1fa39
  Robbert Krebbers authored 2 years ago
  
  cca1fa39
Dec 06, 2022
- SB op1: clarify why the version that turns the load into a constant is simpler · 5eb90084
  Ralf Jung authored 2 years ago
  
  5eb90084
Nov 29, 2022
- fix build for real · d500365d
  Ralf Jung authored 2 years ago
  
  d500365d
- fix build · dbb9afdc
  Ralf Jung authored 2 years ago
  
  dbb9afdc
- Bump Iris. · 22ecb8ae
  Robbert Krebbers authored 2 years ago
  
  22ecb8ae
Sep 21, 2022
- make PureExec mode consistent with Iris · dd9ff0f6
  Ralf Jung authored 2 years ago
  
  dd9ff0f6
Aug 17, 2022
- more Coq bug workarounds · 111502bf
  Ralf Jung authored 2 years ago
  
  111502bf
- work around whatever the heck broke in ssreflect with name mangling · 2f581499
  Ralf Jung authored 2 years ago
  
  2f581499
- stop testing Coq 8.14 · e782658e
  Ralf Jung authored 2 years ago
  
  e782658e
- test Coq 8.16 nightly, and fix the build for that · 52c31f2b
  Ralf Jung authored 2 years ago
  
  52c31f2b
Aug 16, 2022
- Revert "nightly build against Coq 8.16.dev" · 5f97ef71
  Ralf Jung authored 2 years ago
  
  This reverts commit 3e1c1fb1. We need a coq-equations that works with 8.16 before we can start testing against that.
  5f97ef71
- nightly build against Coq 8.16.dev · 3e1c1fb1
  Ralf Jung authored 2 years ago
  
  3e1c1fb1
Aug 12, 2022
- Fix. · 644afe26
  Robbert Krebbers authored 2 years ago
  
  644afe26
- Bump Iris. · bd0ed9bc
  Robbert Krebbers authored 2 years ago
  
  bd0ed9bc
Aug 03, 2022
- update dependencies · 6c06efc8
  Ralf Jung authored 2 years ago
  
  6c06efc8
May 20, 2022
- fix build for real · d5aa7bf8
  Ralf Jung authored 2 years ago
  
  d5aa7bf8
- fix build · db80ab3b
  Ralf Jung authored 2 years ago
  
  db80ab3b
- remove some type annotations by importing the Iris prelude · c8d6ca8c
  Ralf Jung authored 2 years ago
  
  c8d6ca8c
May 15, 2022
- silence a not-yet-fixable warning · 25373db6
  Ralf Jung authored 2 years ago
  
  25373db6
- bump Coq to 8.15 · cb76f394
  Ralf Jung authored 2 years ago
  
  cb76f394
- update dependencies · 866850bb
  Ralf Jung authored 2 years ago
  
  866850bb
May 14, 2022
- bump Iris a bit more · 709a3cd2
  Ralf Jung authored 2 years ago
  
  709a3cd2
- bump Iris a bit · 08ba16c7
  Ralf Jung authored 2 years ago
  
  08ba16c7
May 08, 2022
- normalize OCaml versions · 2a1134eb
  Ralf Jung authored 2 years ago
  
  2a1134eb
May 07, 2022
- make ocaml version explicit · 2a7ee1ab
  Ralf Jung authored 2 years ago
  
  2a7ee1ab
Feb 11, 2022
- Bump Iris, iInduction for Forall is now supported. · eb8a97db
  Robbert Krebbers authored 3 years ago
  
  eb8a97db
Jan 23, 2022
- update dependencies · 5b0f04c3
  Ralf Jung authored 3 years ago
  
  5b0f04c3