Commits · master · Iris / examples

16 Feb, 2021 1 commit
- update dependencies · e380f7fe
  Ralf Jung authored Feb 16, 2021
  
  e380f7fe
14 Feb, 2021 1 commit
- Bump Iris. · 05194196
  Robbert Krebbers authored Feb 14, 2021
  
  05194196
12 Feb, 2021 1 commit
- update dependencies · 2f8887f0
  Ralf Jung authored Feb 12, 2021
  
  2f8887f0
10 Feb, 2021 1 commit
- update dependencies · 04660551
  Ralf Jung authored Feb 10, 2021
  
  04660551
03 Feb, 2021 4 commits
- update dependencies · 12e2a714
  Ralf Jung authored Feb 03, 2021
  
  12e2a714
- remove base_logic.auth imports and partially fix ad-hoc global resource... · d11da6de
  Ralf Jung authored Feb 03, 2021
```
remove base_logic.auth imports and partially fix ad-hoc global resource handling in binary soundness proof
```
  d11da6de
- use more Texan triples in flat combiner · 48504fa7
  Ralf Jung authored Dec 12, 2020
  
  48504fa7
- avoid using Hoare triples · 0f8ce608
  Ralf Jung authored Dec 12, 2020
  
  0f8ce608
01 Feb, 2021 1 commit
- update dependencies · a5bbd717
  Ralf Jung authored Feb 01, 2021
  
  a5bbd717
28 Jan, 2021 1 commit
- fix RDCSS comment · 74ee9cd4
  Ralf Jung authored Jan 28, 2021
  
  74ee9cd4
26 Jan, 2021 1 commit
- update dependencies; fix for wp_apply changes · 9c704471
  Ralf Jung authored Jan 26, 2021
  
  9c704471
25 Jan, 2021 1 commit
- Bump Iris. · 3354a7c4
  Robbert Krebbers authored Jan 25, 2021
  
  3354a7c4
22 Jan, 2021 1 commit
- tweak TaDA/HoCAP comments a bit · be9555bb
  Ralf Jung authored Jan 22, 2021
  
  be9555bb
19 Jan, 2021 1 commit
- update dependencies · 9069ff04
  Ralf Jung authored Jan 19, 2021
  
  9069ff04
13 Jan, 2021 2 commits
- update dependencies · f3f15144
  Ralf Jung authored Jan 13, 2021
  
  f3f15144
- update dependencies · f8c65f6a
  Ralf Jung authored Jan 13, 2021
  
  f8c65f6a
08 Jan, 2021 1 commit
- Bump Iris. · 67246488
  Robbert Krebbers authored Jan 08, 2021
  
  67246488
07 Jan, 2021 1 commit
- Bump Iris. · 984409c5
  Robbert Krebbers authored Jan 07, 2021
  
  984409c5
18 Dec, 2020 1 commit
- Bump Iris (persistent mapsto). · a8425b70
  Robbert Krebbers authored Dec 18, 2020
  
  a8425b70
09 Dec, 2020 1 commit
- nightly test with the 8.13 branch · f688442c
  Ralf Jung authored Dec 09, 2020
  
  f688442c
05 Dec, 2020 1 commit
- remove a couple wp_fupd · fa1945be
  Ralf Jung authored Dec 05, 2020
  
  fa1945be
04 Dec, 2020 2 commits
- update Iris (wp_finish change) · 4177e16e
  Ralf Jung authored Dec 04, 2020
  
  4177e16e
- update dependencies · 321d8d80
  Ralf Jung authored Dec 04, 2020
  
  321d8d80
28 Nov, 2020 1 commit
- bump dependencies · 0ea10efb
  Ralf Jung authored Nov 28, 2020
  
  0ea10efb
13 Nov, 2020 2 commits
- move timing to Coq 8.12 · 72db5f43
  Ralf Jung authored Nov 13, 2020
  
  72db5f43
- Bump Iris. · 95fdd1ce
  Robbert Krebbers authored Nov 13, 2020
  
  95fdd1ce
11 Nov, 2020 4 commits
- update Makefile · 1c8c5a55
  Ralf Jung authored Nov 11, 2020
  
  1c8c5a55
- also update nightly build · 6aeda5e9
  Ralf Jung authored Nov 11, 2020
  
  6aeda5e9
- bump Iris (multi-package version) · 5dc227df
  Ralf Jung authored Nov 11, 2020
  
  5dc227df
- update dependencies, various small fixes · ac7a1334
  Ralf Jung authored Nov 11, 2020
  
  ac7a1334
04 Nov, 2020 2 commits
- update dependencies · 7980a74e
  Ralf Jung authored Nov 04, 2020
  
  7980a74e
- update dependencies; fix for removal of l ↦ - and inv_heap notation changes · 27a04e08
  Ralf Jung authored Nov 04, 2020
  
  27a04e08
03 Nov, 2020 1 commit
- update dependencies, fix for mapsto_valid_2 · 15f0414e
  Ralf Jung authored Nov 03, 2020
  
  15f0414e
02 Nov, 2020 1 commit
- update Makefile · 9dca6739
  Ralf Jung authored Nov 02, 2020
  
  9dca6739
30 Oct, 2020 1 commit
- Bump std++ (Qp changes). · c4c272d2
  Robbert Krebbers authored Oct 30, 2020
  
  c4c272d2
29 Oct, 2020 1 commit
- update dependencies · 67d69333
  Ralf Jung authored Oct 29, 2020
  
  67d69333
21 Oct, 2020 1 commit
- Bump Iris. · cdfd0c9b
  Robbert Krebbers authored Oct 21, 2020
  
  cdfd0c9b
19 Oct, 2020 1 commit
- CI comment · b9307f31
  Ralf Jung authored Oct 19, 2020
  
  b9307f31
15 Oct, 2020 2 commits
- update dependencies · f893e55a
  Ralf Jung authored Oct 15, 2020
  
  f893e55a
- update dependencies · 0a183b8a
  Ralf Jung authored Oct 15, 2020
  
  0a183b8a