Commits · master · Iris / examples

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 6 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
- make logatom work with Coq 8.11 · ea928791
  Ralf Jung authored Dec 13, 2019
  
  ea928791
- nightly test for 8.11 branch · 5fa6ed80
  Ralf Jung authored Dec 13, 2019
  
  5fa6ed80
21 Nov, 2019 2 commits
- remove prophecy erasure proof (it is in the main Iris repo now) · b19a5b84
  Ralf Jung authored Nov 21, 2019
  
  b19a5b84
- Bump Iris (`iPoseProof` changes). · de6dd885
  Robbert Krebbers authored Nov 21, 2019
  
  de6dd885
14 Nov, 2019 2 commits
- Merge branch 'rdcss_meta_token' into 'master' · a20140b8
  Ralf Jung authored Nov 14, 2019
```
Modification of the RDCSS example to use meta tokens

See merge request !30
```
  a20140b8
- Modification of the RDCSS example to use meta tokens · bbf33b66
  Rodolphe Lepigre authored Nov 14, 2019
```
(and some cleanup)
```
  bbf33b66
13 Nov, 2019 3 commits
- fix comment · d731cb31
  Ralf Jung authored Nov 13, 2019
  
  d731cb31
- Merge branch 'rdcss_comment' into 'master' · 815b0180
  Ralf Jung authored Nov 13, 2019
```
Comment in the RDCSS spec about GClocs.

See merge request !29
```
  815b0180
- Expand RDCSS comments · 6639940c
  Rodolphe Lepigre authored Nov 13, 2019
  
  6639940c
12 Nov, 2019 3 commits
- Merge branch 'typed_proph' into 'master' · 8de152b1
  Ralf Jung authored Nov 12, 2019
```
Typed prophecy variables + cleanup

See merge request !28
```
  8de152b1
- Typed prophecy variables + cleanup · 0c551f14
  Rodolphe Lepigre authored Nov 12, 2019
  
  0c551f14
- Bump iris (no changes needed) · f2637250
  Ralf Jung authored Nov 12, 2019
  
  f2637250
07 Nov, 2019 1 commit
- Bump Iris. · 3092552d
  Robbert Krebbers authored Nov 07, 2019
  
  3092552d