Commits · master · Iris / examples

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
13 Oct, 2020 2 commits
- 'gen_heap' name makes no sense here any more, rename to 'heap' · aeeac8f3
  Ralf Jung authored Oct 13, 2020
  
  aeeac8f3
- update dependencies · d14d8d44
  Ralf Jung authored Oct 13, 2020
  
  d14d8d44
08 Oct, 2020 1 commit
- update build system · 122b07ed
  Ralf Jung authored Oct 08, 2020
  
  122b07ed
07 Oct, 2020 1 commit
- Bump Iris. · f165f150
  Robbert Krebbers authored Oct 07, 2020
  
  f165f150
05 Oct, 2020 1 commit
- Bump Iris (iPreProp). · 1c272cd1
  Robbert Krebbers authored Oct 05, 2020
  
  1c272cd1
03 Oct, 2020 1 commit
- Remove unused lemma. · 5df24900
  Robbert Krebbers authored Oct 03, 2020
  
  5df24900
02 Oct, 2020 2 commits
- Bump Iris. · c60ac407
  Robbert Krebbers authored Oct 02, 2020
  
  c60ac407
- update dependencies · 4d09ab17
  Ralf Jung authored Oct 02, 2020
  
  4d09ab17
01 Oct, 2020 2 commits
- Merge branch 'ralf/rm-logreal-heaplang' into 'master' · d2eb2182
  Ralf Jung authored Oct 01, 2020
```
remove logreal/heaplang in favor of POPL20 tutorial

Closes #9

See merge request !42
```
  d2eb2182
- remove logreal/heaplang in favor of POPL20 tutorial · c94bd817
  Ralf Jung authored Oct 01, 2020
  
  c94bd817
30 Sep, 2020 3 commits
- update dependencies · af6d3f40
  Ralf Jung authored Sep 30, 2020
  
  af6d3f40
- update dependencies · 8d8a2328
  Ralf Jung authored Sep 30, 2020
  
  8d8a2328
- update dependencies; fix for auth change · 7fc409ff
  Ralf Jung authored Sep 30, 2020
  
  7fc409ff
29 Sep, 2020 1 commit
- update CI config · 0ad722bc
  Ralf Jung authored Sep 29, 2020
  
  0ad722bc
15 Sep, 2020 4 commits
- fix outdated opam repo URL · 09855e28
  Ralf Jung authored Sep 15, 2020
  
  09855e28
- fix outdated URLs in opam file · 8472b1eb
  Ralf Jung authored Sep 15, 2020
  
  8472b1eb
- fix outdated Iris URL · dac47457
  Ralf Jung authored Sep 15, 2020
  
  dac47457
- update dependencies; fix for agree_op rename · 78eaf165
  Ralf Jung authored Sep 15, 2020
  
  78eaf165
03 Sep, 2020 2 commits
- also test Coq master (as we are moving towards them testing this) · 0b993e38
  Ralf Jung authored Sep 03, 2020
  
  0b993e38
- deny warnings · 3d74ce22
  Ralf Jung authored Sep 03, 2020
  
  3d74ce22
02 Sep, 2020 4 commits
- update dependencies · d99a95b3
  Ralf Jung authored Sep 02, 2020
  
  d99a95b3
- update warning settings, and fix warnings · 3d411ad1
  Ralf Jung authored Sep 02, 2020
  
  3d411ad1
- Merge branch 'patch-1' into 'master' · c1829616
  Ralf Jung authored Sep 02, 2020
```
Fix dead link in README.md

See merge request !41
```
  c1829616
- Fix dead link in README.md · f8012caa
  Léo Stefanesco authored Sep 02, 2020
  
  f8012caa