Commits · master · Iris / simuliris

06 Dec, 2022 1 commit
- SB op1: clarify why the version that turns the load into a constant is simpler · 5eb90084
  Ralf Jung authored Dec 06, 2022
  
  5eb90084
29 Nov, 2022 3 commits
- fix build for real · d500365d
  Ralf Jung authored Nov 29, 2022
  
  d500365d
- fix build · dbb9afdc
  Ralf Jung authored Nov 29, 2022
  
  dbb9afdc
- Bump Iris. · 22ecb8ae
  Robbert Krebbers authored Nov 29, 2022
  
  22ecb8ae
21 Sep, 2022 1 commit
- make PureExec mode consistent with Iris · dd9ff0f6
  Ralf Jung authored Sep 21, 2022
  
  dd9ff0f6
17 Aug, 2022 4 commits
- more Coq bug workarounds · 111502bf
  Ralf Jung authored Aug 17, 2022
  
  111502bf
- work around whatever the heck broke in ssreflect with name mangling · 2f581499
  Ralf Jung authored Aug 17, 2022
  
  2f581499
- stop testing Coq 8.14 · e782658e
  Ralf Jung authored Aug 17, 2022
  
  e782658e
- test Coq 8.16 nightly, and fix the build for that · 52c31f2b
  Ralf Jung authored Aug 17, 2022
  
  52c31f2b
16 Aug, 2022 2 commits
- Revert "nightly build against Coq 8.16.dev" · 5f97ef71
  Ralf Jung authored Aug 16, 2022
```
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 Aug 16, 2022
  
  3e1c1fb1
12 Aug, 2022 2 commits
- Fix. · 644afe26
  Robbert Krebbers authored Aug 12, 2022
  
  644afe26
- Bump Iris. · bd0ed9bc
  Robbert Krebbers authored Aug 12, 2022
  
  bd0ed9bc
03 Aug, 2022 1 commit
- update dependencies · 6c06efc8
  Ralf Jung authored Aug 03, 2022
  
  6c06efc8
20 May, 2022 3 commits
- fix build for real · d5aa7bf8
  Ralf Jung authored May 20, 2022
  
  d5aa7bf8
- fix build · db80ab3b
  Ralf Jung authored May 20, 2022
  
  db80ab3b
- remove some type annotations by importing the Iris prelude · c8d6ca8c
  Ralf Jung authored May 20, 2022
  
  c8d6ca8c
15 May, 2022 3 commits
- silence a not-yet-fixable warning · 25373db6
  Ralf Jung authored May 15, 2022
  
  25373db6
- bump Coq to 8.15 · cb76f394
  Ralf Jung authored May 15, 2022
  
  cb76f394
- update dependencies · 866850bb
  Ralf Jung authored May 15, 2022
  
  866850bb
14 May, 2022 2 commits
- bump Iris a bit more · 709a3cd2
  Ralf Jung authored May 14, 2022
  
  709a3cd2
- bump Iris a bit · 08ba16c7
  Ralf Jung authored May 14, 2022
  
  08ba16c7
08 May, 2022 1 commit
- normalize OCaml versions · 2a1134eb
  Ralf Jung authored May 08, 2022
  
  2a1134eb
07 May, 2022 1 commit
- make ocaml version explicit · 2a7ee1ab
  Ralf Jung authored May 07, 2022
  
  2a7ee1ab
11 Feb, 2022 1 commit
- Bump Iris, iInduction for Forall is now supported. · eb8a97db
  Robbert Krebbers authored Feb 11, 2022
  
  eb8a97db
23 Jan, 2022 1 commit
- update dependencies · 5b0f04c3
  Ralf Jung authored Jan 22, 2022
  
  5b0f04c3
11 Jan, 2022 1 commit
- add link to paper PDF to readme · cbf7af11
  Lennard Gäher authored Jan 11, 2022
  
  cbf7af11
17 Dec, 2021 3 commits
- fix warnings about missing Global · 1ef06fb4
  Ralf Jung authored Dec 17, 2021
  
  1ef06fb4
- show deprecated instance warnings · f8d092f9
  Ralf Jung authored Dec 17, 2021
  
  f8d092f9
- nightly builds with 8.14.dev · a1345980
  Ralf Jung authored Dec 17, 2021
  
  a1345980
09 Dec, 2021 1 commit
- Bump Iris. · 87e73ac6
  Robbert Krebbers authored Dec 09, 2021
  
  87e73ac6
08 Dec, 2021 1 commit
- silence Instance warnings until we can fix them automatically (also test Coq 8.14.1) · 0b503c78
  Ralf Jung authored Dec 08, 2021
  
  0b503c78
05 Dec, 2021 1 commit
- the improved fixpoints have been upstreamed to Iris · 42602028
  Ralf Jung authored Dec 04, 2021
  
  42602028
30 Nov, 2021 1 commit
- use foldr instead of foldl to avoid need for extra lemma · 7182a28d
  Ralf Jung authored Nov 30, 2021
  
  7182a28d
25 Nov, 2021 1 commit
- update dependencies · 8083afa8
  Ralf Jung authored Nov 24, 2021
  
  8083afa8
24 Nov, 2021 1 commit
- complete compatibility with Coq 8.14 · 5962962a
  Ralf Jung authored Nov 23, 2021
  
  5962962a
23 Nov, 2021 1 commit
- update dependencies, fix for gmap_view change · 87a3f6bb
  Ralf Jung authored Nov 23, 2021
```
also start porting to Coq 8.14 but I gave up on that for now
```
  87a3f6bb
09 Nov, 2021 1 commit
- update dependencies · d3a38bfb
  Ralf Jung authored Nov 09, 2021
  
  d3a38bfb
08 Nov, 2021 1 commit
- update dependencies · 856648d6
  Ralf Jung authored Nov 08, 2021
  
  856648d6
03 Oct, 2021 1 commit
- switch to weaker constructive indef descr (weaker than epsilon) · 663ad670
  Lennard Gäher authored Oct 03, 2021
  
  663ad670