Commits · master · Iris / ReLoC

29 Nov, 2022 1 commit
- Bump Iris. · 6e276eba
  Robbert Krebbers authored Nov 29, 2022
  
  6e276eba
16 Aug, 2022 1 commit
- nightly builds with Coq 8.16 · d8e93826
  Ralf Jung authored Aug 16, 2022
  
  d8e93826
12 Aug, 2022 1 commit
- Bump Iris. · 7d15511a
  Robbert Krebbers authored Aug 12, 2022
  
  7d15511a
03 Aug, 2022 1 commit
- update dependencies · 4e438d85
  Ralf Jung authored Aug 03, 2022
  
  4e438d85
05 Jul, 2022 2 commits
- update dependencies for later credits · a0e1d1b7
  Ralf Jung authored Jul 05, 2022
  
  a0e1d1b7
- update dependencies · 3b20cb2c
  Ralf Jung authored Jul 05, 2022
  
  3b20cb2c
13 May, 2022 3 commits
- fix for Iris lemma rename · ec826fd7
  Ralf Jung authored May 13, 2022
  
  ec826fd7
- update dependencies · 890a7ae5
  Ralf Jung authored May 13, 2022
```
some type annotations are no longer needed
```
  890a7ae5
- update dependencies; dom fix · 12f51ff2
  Ralf Jung authored May 13, 2022
  
  12f51ff2
11 May, 2022 2 commits
- Fix compat with Coq 8.15 & fix warnings. · 653c4ef5
  Robbert Krebbers authored May 11, 2022
  
  653c4ef5
- bump the Coq we test · d376a4ce
  Ralf Jung authored May 11, 2022
  
  d376a4ce
08 May, 2022 1 commit
- normalize OCaml versions · fc32d148
  Ralf Jung authored May 08, 2022
  
  fc32d148
07 May, 2022 1 commit
- make ocaml version explicit · 479f4e62
  Ralf Jung authored May 07, 2022
  
  479f4e62
17 Jan, 2022 1 commit
- update dependencies, add missing frame instances · 324ba2b6
  Ralf Jung authored Jan 17, 2022
  
  324ba2b6
11 Dec, 2021 1 commit
- Incorporate the `Xchg` operation · 744a9606
  Dan Frumin authored Dec 11, 2021
  
  744a9606
09 Dec, 2021 2 commits
- update Makefile and Iris · 46a15762
  Ralf Jung authored Dec 09, 2021
  
  46a15762
- Bump Iris. · 452a06e5
  Robbert Krebbers authored Dec 09, 2021
  
  452a06e5
04 Dec, 2021 1 commit
- tweak the model a bit · f1fa146d
  Dan Frumin authored Dec 04, 2021
  
  f1fa146d
03 Dec, 2021 3 commits
- Move stack with helping to a different directory. · e2bcc1ae
  Dan Frumin authored Dec 03, 2021
  
  e2bcc1ae
- Merge the Folly queue case study · b6df47f9
  Dan Frumin authored Dec 03, 2021
  
  b6df47f9
- Merge remote-tracking branch 'origin/ext_lp' · 75ae3529
  Dan Frumin authored Dec 03, 2021
  
  75ae3529
07 Sep, 2021 1 commit
- update dependencies · 762295c3
  Ralf Jung authored Sep 07, 2021
  
  762295c3
28 Jul, 2021 1 commit
- update dependencies · ec391f11
  Ralf Jung authored Jul 28, 2021
  
  ec391f11
18 Jun, 2021 1 commit
- Bump std++. · 9152955d
  Robbert Krebbers authored Jun 18, 2021
  
  9152955d
14 Jun, 2021 2 commits
- bump iris · 99c2ba60
  Dan Frumin authored Jun 14, 2021
  
  99c2ba60
- fix compliation · bf999b6b
  Dan Frumin authored Jun 14, 2021
  
  bf999b6b
05 Jun, 2021 1 commit
- adjust to new job naming scheme · 95d81b30
  Ralf Jung authored Jun 05, 2021
  
  95d81b30
03 Jun, 2021 2 commits
- bump tested Coq version to 8.13 · fc7c5242
  Ralf Jung authored Jun 03, 2021
  
  fc7c5242
- update dependencies · 1ca1d888
  Ralf Jung authored Jun 03, 2021
  
  1ca1d888
28 May, 2021 1 commit
- support build-testing against forks · 5c460c33
  Ralf Jung authored May 28, 2021
  
  5c460c33
27 May, 2021 1 commit
- Bump Iris. · a6dcc81c
  Robbert Krebbers authored May 27, 2021
  
  a6dcc81c
20 May, 2021 3 commits
- Bump Iris · 797c363b
  Dan Frumin authored May 20, 2021
  
  797c363b
- Merge branch 'master' of gitlab.mpi-sws.org:iris/reloc · 04b86154
  Dan Frumin authored May 20, 2021
  
  04b86154
- doc comment · a70ec42d
  Dan Frumin authored May 20, 2021
  
  a70ec42d
19 May, 2021 1 commit
- dont run CI on forks · 66505476
  Ralf Jung authored May 19, 2021
  
  66505476
30 Apr, 2021 2 commits
- update dependencies · efc3c277
  Ralf Jung authored Apr 30, 2021
  
  efc3c277
- coq.dev is not stable enough for regular CI · c276cd07
  Ralf Jung authored Apr 30, 2021
  
  c276cd07
21 Mar, 2021 1 commit
- avoid relying on failing destruct of existential · 23245739
  Ralf Jung authored Mar 21, 2021
  
  23245739
16 Feb, 2021 1 commit
- update Iris · 0bf67142
  Ralf Jung authored Feb 16, 2021
  
  0bf67142
11 Feb, 2021 1 commit
- update dependencies · 7c68f352
  Ralf Jung authored Feb 11, 2021
  
  7c68f352