Commits · master · Iris / examples

20 Apr, 2021 1 commit
- Bump std++ (multiset). · df7512f3
  Robbert Krebbers authored Apr 20, 2021
  
  df7512f3
08 Apr, 2021 1 commit
- update dependencies · 0c26e785
  Ralf Jung authored Apr 08, 2021
  
  0c26e785
31 Mar, 2021 1 commit
- future-proof proof script (patch by @mrhaandi ) · a1fe0e02
  Ralf Jung authored Mar 31, 2021
  
  a1fe0e02
23 Mar, 2021 2 commits
- update dependencies; string-ident plugin no longer needed · 90f367ed
  Ralf Jung authored Mar 24, 2021
  
  90f367ed
- update dependencies · 89f11e05
  Ralf Jung authored Mar 23, 2021
  
  89f11e05
18 Mar, 2021 2 commits
- update dependencies · 16361580
  Ralf Jung authored Mar 18, 2021
  
  16361580
- test Coq 8.13 instead of 8.11 · 74127075
  Ralf Jung authored Mar 18, 2021
  
  74127075
07 Mar, 2021 1 commit
- update dependencies · 057287e0
  Ralf Jung authored Mar 07, 2021
  
  057287e0
03 Mar, 2021 2 commits
- fix build · 186aeea1
  Ralf Jung authored Mar 03, 2021
  
  186aeea1
- update dependencies · c8477da1
  Ralf Jung authored Mar 03, 2021
  
  c8477da1
01 Mar, 2021 1 commit
- update dependencies · 53341e7e
  Ralf Jung authored Mar 01, 2021
  
  53341e7e
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 3 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