Commits · d9ab612225c53bf8c59bc7bbed2f95f027736d7a · Simcha van Collem / Iris

Sep 20, 2017
- Bump coqstdpp. · d9ab6122
  Robbert Krebbers authored 7 years ago
  
  d9ab6122
- add back opam.pins temporarily to unbreak Coq's CI · 4a1e98c5
  Ralf Jung authored 7 years ago
  
  4a1e98c5
Sep 18, 2017
- Show that heap_lang expressions are countable. · e393429d
  Robbert Krebbers authored 7 years ago
  
  e393429d
- CI: depend on std++ via opam; prepare for automatic opam releases · 8f8796c0
  Ralf Jung authored 7 years ago
  
  8f8796c0
Sep 17, 2017
- Update to latest stdpp, and set Hint Mode of classes. · ff61f8a8
  Robbert Krebbers authored 7 years ago
  
  ff61f8a8
Sep 08, 2017
- Bump coq-std++. · 97896530
  Robbert Krebbers authored 7 years ago
  
  97896530
Sep 06, 2017
- Bump coq-stdpp. · 5af1b29a
  Robbert Krebbers authored 7 years ago
  
  5af1b29a
Aug 22, 2017
- Also test against Coq 8.7 · d72a39c8
  Ralf Jung authored 7 years ago
  
  d72a39c8
Aug 17, 2017
- Bump coq-stdpp. · b0e11cff
  Robbert Krebbers authored 7 years ago
  
  b0e11cff
Jun 27, 2017
- Bump std++. · af18cb32
  Robbert Krebbers authored 7 years ago
  
  af18cb32
May 25, 2017
- Bump coq-stdpp. · 094bee3c
  Robbert Krebbers authored 7 years ago
  
  094bee3c
Mar 24, 2017
- Redefine big ops to get more definitional equalities. · 15bfdc15
  Robbert Krebbers authored 8 years ago
  
  15bfdc15
Mar 20, 2017
- update std++ · e0ed90f7
  Ralf Jung authored 7 years ago
  
  e0ed90f7
Mar 16, 2017
- Support nat tokens in the tokenizer. · 46b5387d
  Robbert Krebbers authored 8 years ago
  
  46b5387d
Mar 15, 2017
- Enable solve_ndisj to solve `∅ ⊆ X`. · 3d6525a5
  Robbert Krebbers authored 8 years ago
  
  3d6525a5
- update stdpp · 039f9fd5
  Ralf Jung authored 8 years ago
  
  039f9fd5
- update coq-stdpp · c325f7a9
  Ralf Jung authored 8 years ago
  
  c325f7a9
Mar 14, 2017
- some more STS lemmas · eb0c6948
  Ralf Jung authored 8 years ago
  
  eb0c6948
Mar 11, 2017
- Update to latest stdpp. · c75aa8f4
  Robbert Krebbers authored 8 years ago
  
  c75aa8f4
Mar 09, 2017
- Bump stdpp. · cd98d13e
  Robbert Krebbers authored 8 years ago
  
  cd98d13e
- Bump stdpp. · 9b6de3dd
  Robbert Krebbers authored 8 years ago
  
  9b6de3dd
Mar 01, 2017
- bump coq-stdpp · 9bafdd7e
  Ralf Jung authored 8 years ago
  
  9bafdd7e
Feb 22, 2017
- update std++ · 15be3526
  Ralf Jung authored 8 years ago
  
  15be3526
Feb 15, 2017
- Make solve_ndisj more powerful. · 857f9909
  Robbert Krebbers authored 8 years ago
  
  It now first turns hypotheses `X ∪ Y ⊆ Z` into `X ⊆ Z` and `Y ⊆ Z`.
  857f9909
Feb 10, 2017
- Bump Iris version. · 1f1c66bd
  Robbert Krebbers authored 8 years ago
  
  1f1c66bd
Feb 09, 2017
- Bumb std++ version. · 8b9f59ab
  Robbert Krebbers authored 8 years ago
  
  8b9f59ab
Feb 07, 2017
- update stdpp · 9c0c4620
  Ralf Jung authored 8 years ago
  
  9c0c4620
Feb 06, 2017
- use coq-stdpp · 50a1b62b
  Ralf Jung authored 8 years ago
  
  50a1b62b
Dec 12, 2016
- use OPAM-based CI · 99470279
  Ralf Jung authored 8 years ago
  
  99470279