Commits · master · Paolo G. Giarrusso / examples

23 Apr, 2020 2 commits
- update dependencies · 1ad7fe2f
  Ralf Jung authored Apr 23, 2020
  
  1ad7fe2f
- update dependencies · a6d9b7d0
  Ralf Jung authored Apr 23, 2020
  
  a6d9b7d0
18 Apr, 2020 2 commits
- replace gc.v by inv_heap Iris lib · 99f8ad18
  Ralf Jung authored Apr 18, 2020
  
  99f8ad18
- update dependencies · 66c22fad
  Ralf Jung authored Apr 18, 2020
  
  66c22fad
15 Apr, 2020 1 commit
- update dependencies · b7b9be1c
  Ralf Jung authored Apr 15, 2020
  
  b7b9be1c
10 Apr, 2020 1 commit
- Merge branch 'ralf/string-ident' into 'master' · 38c5bcec
  Ralf Jung authored Apr 10, 2020
```
use string-ident plugin a bit

See merge request !32
```
  38c5bcec
08 Apr, 2020 1 commit
- update dependencies · 0a8f1911
  Ralf Jung authored Apr 08, 2020
  
  0a8f1911
07 Apr, 2020 2 commits
- use string-ident plugin a bit · 61034040
  Ralf Jung authored Apr 07, 2020
  
  61034040
- update dependencies · 10d32e09
  Ralf Jung authored Apr 07, 2020
  
  10d32e09
06 Apr, 2020 1 commit
- bump CI to Coq 8.11.1 · 6cd6fd08
  Ralf Jung authored Apr 06, 2020
  
  6cd6fd08
04 Apr, 2020 3 commits
- some missing fixes · 53c8c569
  Ralf Jung authored Apr 04, 2020
  
  53c8c569
- fix for latest Iris · c5f21766
  Ralf Jung authored Apr 04, 2020
  
  c5f21766
- update dependencies · ddf3194b
  Ralf Jung authored Apr 04, 2020
  
  ddf3194b
03 Apr, 2020 1 commit
- Bump Iris. · 7068d035
  Robbert Krebbers authored Apr 03, 2020
  
  7068d035
02 Apr, 2020 4 commits
- order warning whitelist consistently · 8fde0c22
  Ralf Jung authored Apr 02, 2020
  
  8fde0c22
- fix for oFunctor_apply · c13658d5
  Ralf Jung authored Apr 02, 2020
  
  c13658d5
- no longer silence ambiguous coercion paths, and fix other warnings · b07b7deb
  Ralf Jung authored Apr 02, 2020
  
  b07b7deb
- update dependencies · 2ec13e91
  Ralf Jung authored Apr 02, 2020
  
  2ec13e91
18 Mar, 2020 1 commit
- update dependencies · 2897dca2
  Ralf Jung authored Mar 18, 2020
  
  2897dca2
16 Mar, 2020 1 commit
- update dependencies; fix for Iris notation/coercion change · 8f6100ac
  Ralf Jung authored Mar 16, 2020
  
  8f6100ac
13 Mar, 2020 6 commits
- fix trailing empty line · c3ed7269
  Ralf Jung authored Mar 13, 2020
  
  c3ed7269
- license: remove unnecessary header with typo · d695a626
  Ralf Jung authored Mar 13, 2020
  
  d695a626
- Merge branch 'ralf/license' into 'master' · 58e02d1f
  Ralf Jung authored Mar 13, 2020
```
fill in blanks in LICENSE

See merge request !31
```
  58e02d1f
- fill in blanks in LICENSE · 60405a8a
  Ralf Jung authored Mar 13, 2020
  
  60405a8a
- Fix camera `cntCmra` to use `ZO`. · 64aa3577
  Robbert Krebbers authored Mar 13, 2020
```
`LeibnizO` should only be used for `Canonical Structure` declarations.
```
  64aa3577
- update dependencies, fix TCs unfolding more than before · d768c93d
  Ralf Jung authored Mar 13, 2020
  
  d768c93d
11 Mar, 2020 1 commit
- update dependencies · 2aa0b58c
  Ralf Jung authored Mar 11, 2020
  
  2aa0b58c
23 Feb, 2020 1 commit
- Bump Iris (array changes). · bd126535
  Robbert Krebbers authored Feb 23, 2020
  
  bd126535
19 Feb, 2020 3 commits
- Revert "temporarily switch nightly job to 8.11.0" · 1f96e762
  Ralf Jung authored Feb 19, 2020
```
This reverts commit 1a09032f.
It doesn't help.
```
  1f96e762
- fix URL · a70ac5b1
  Ralf Jung authored Feb 19, 2020
  
  a70ac5b1
- temporarily switch nightly job to 8.11.0 · 1a09032f
  Ralf Jung authored Feb 19, 2020
  
  1a09032f
15 Feb, 2020 1 commit
- bump Iris · 1ddda46e
  Ralf Jung authored Feb 15, 2020
  
  1ddda46e
11 Feb, 2020 1 commit
- bump to Coq 8.11 · eac03c6a
  Ralf Jung authored Feb 11, 2020
  
  eac03c6a
02 Feb, 2020 1 commit
- Bump Iris (`iSpecialize` changes). · 64380b40
  Robbert Krebbers authored Feb 02, 2020
  
  64380b40
13 Jan, 2020 2 commits
- upgrade to opam 2 · 92275f5b
  Ralf Jung authored Jan 13, 2020
  
  92275f5b
- Small consistency fixes logrel heaplang. · b73553f9
  Robbert Krebbers authored Jan 13, 2020
  
  b73553f9
13 Dec, 2019 4 commits
- now this should work on 8.10 as well... sigh · e5b6840b
  Ralf Jung authored Dec 13, 2019
  
  e5b6840b
- Mostly revert the previous commit · ace0db94
  Ralf Jung authored Dec 13, 2019
```
It leads to wild unification errors on 8.11.  None of this makes any sense, but I guess that is expected with Coq...
```
  ace0db94
- fix more imports to hopefully work both on 8.10 and 8.11 · 5726c91c
  Ralf Jung authored Dec 13, 2019
  
  5726c91c
- fix the rest of the repo for Coq 8.11 · 89196687
  Ralf Jung authored Dec 13, 2019
  
  89196687