Commits · master · Dan Frumin / iris-examples

May 18, 2020
- Use authoritative RA for the modular counter specs. · a05c1a35
  Dan Frumin authored 5 years ago
  
  a05c1a35
- adjust for heap_adequacy fallout · 2b52b152
  Ralf Jung authored 5 years ago
  
  2b52b152
- adjust inv_heap users to heap_lang changes · 36f30c73
  Ralf Jung authored 5 years ago
  
  36f30c73
- update dependencies · 9137bb10
  Ralf Jung authored 5 years ago
  
  9137bb10
May 13, 2020
- update dependencies · c1c055c3
  Ralf Jung authored 5 years ago
  
  c1c055c3
May 01, 2020
- update dependencies · 06c786d6
  Ralf Jung authored 5 years ago
  
  06c786d6
Apr 30, 2020
- fix build · 53cc3d7f
  Ralf Jung authored 5 years ago
  
  53cc3d7f
- Merge branch 'update-string-ident-use' into 'master' · 6382ac89
  Ralf Jung authored 5 years ago
  6382ac89
Apr 29, 2020
- Correct use of iris-string-ident · b80f15df
  Paolo G. Giarrusso authored 5 years ago
  Verified
  
  b80f15df
Apr 23, 2020
- update dependencies · 1ad7fe2f
  Ralf Jung authored 5 years ago
  
  1ad7fe2f
- update dependencies · a6d9b7d0
  Ralf Jung authored 5 years ago
  
  a6d9b7d0
Apr 18, 2020
- replace gc.v by inv_heap Iris lib · 99f8ad18
  Ralf Jung authored 5 years ago
  
  99f8ad18
- update dependencies · 66c22fad
  Ralf Jung authored 5 years ago
  
  66c22fad
Apr 15, 2020
- update dependencies · b7b9be1c
  Ralf Jung authored 5 years ago
  
  b7b9be1c
Apr 10, 2020
- Merge branch 'ralf/string-ident' into 'master' · 38c5bcec
  Ralf Jung authored 5 years ago
  38c5bcec
Apr 08, 2020
- update dependencies · 0a8f1911
  Ralf Jung authored 5 years ago
  
  0a8f1911
Apr 07, 2020
- use string-ident plugin a bit · 61034040
  Ralf Jung authored 5 years ago
  
  61034040
- update dependencies · 10d32e09
  Ralf Jung authored 5 years ago
  
  10d32e09
Apr 06, 2020
- bump CI to Coq 8.11.1 · 6cd6fd08
  Ralf Jung authored 5 years ago
  
  6cd6fd08
Apr 04, 2020
- some missing fixes · 53c8c569
  Ralf Jung authored 5 years ago
  
  53c8c569
- fix for latest Iris · c5f21766
  Ralf Jung authored 5 years ago
  
  c5f21766
- update dependencies · ddf3194b
  Ralf Jung authored 5 years ago
  
  ddf3194b
Apr 03, 2020
- Bump Iris. · 7068d035
  Robbert Krebbers authored 5 years ago
  
  7068d035
Apr 02, 2020
- order warning whitelist consistently · 8fde0c22
  Ralf Jung authored 5 years ago
  
  8fde0c22
- fix for oFunctor_apply · c13658d5
  Ralf Jung authored 5 years ago
  
  c13658d5
- no longer silence ambiguous coercion paths, and fix other warnings · b07b7deb
  Ralf Jung authored 5 years ago
  
  b07b7deb
- update dependencies · 2ec13e91
  Ralf Jung authored 5 years ago
  
  2ec13e91
Mar 18, 2020
- update dependencies · 2897dca2
  Ralf Jung authored 5 years ago
  
  2897dca2
Mar 16, 2020
- update dependencies; fix for Iris notation/coercion change · 8f6100ac
  Ralf Jung authored 5 years ago
  
  8f6100ac
Mar 13, 2020
- fix trailing empty line · c3ed7269
  Ralf Jung authored 5 years ago
  
  c3ed7269
- license: remove unnecessary header with typo · d695a626
  Ralf Jung authored 5 years ago
  
  d695a626
- Merge branch 'ralf/license' into 'master' · 58e02d1f
  Ralf Jung authored 5 years ago
  58e02d1f
- fill in blanks in LICENSE · 60405a8a
  Ralf Jung authored 5 years ago
  
  60405a8a
- Fix camera `cntCmra` to use `ZO`. · 64aa3577
  Robbert Krebbers authored 5 years ago
  64aa3577
- update dependencies, fix TCs unfolding more than before · d768c93d
  Ralf Jung authored 5 years ago
  
  d768c93d
Mar 11, 2020
- update dependencies · 2aa0b58c
  Ralf Jung authored 5 years ago
  
  2aa0b58c
Feb 23, 2020
- Bump Iris (array changes). · bd126535
  Robbert Krebbers authored 5 years ago
  
  bd126535
Feb 19, 2020
- Revert "temporarily switch nightly job to 8.11.0" · 1f96e762
  Ralf Jung authored 5 years ago
  1f96e762
- fix URL · a70ac5b1
  Ralf Jung authored 5 years ago
  
  a70ac5b1
- temporarily switch nightly job to 8.11.0 · 1a09032f
  Ralf Jung authored 5 years ago
  
  1a09032f