Commits · master · Iris / gpfsl

05 Sep, 2020 1 commit
- test Coq 8.12.0 and deny warnings · a8e8ebf3
  Ralf Jung authored Sep 05, 2020
  
  a8e8ebf3
19 Jun, 2020 1 commit
- test against Coq 8.11.2 and 8.12 beta · 7dea9936
  Ralf Jung authored Jun 19, 2020
  
  7dea9936
11 Feb, 2020 1 commit
- replace Coq 8.9.1 by 8.11.0; bump 8.10.1 to 8.10.2 · 5f779852
  Ralf Jung authored Feb 11, 2020
  
  5f779852
13 Jan, 2020 1 commit
- adjust docs · 7698c854
  Ralf Jung authored Jan 13, 2020
  
  7698c854
22 Nov, 2019 1 commit
- 8.9.0 -> 8.9.1 · 107e161e
  Ralf Jung authored Nov 22, 2019
  
  107e161e
21 Nov, 2019 1 commit
- don't have more than 2 of these long-running jobs · f2342eaa
  Ralf Jung authored Nov 21, 2019
  
  f2342eaa
12 Nov, 2019 1 commit
- mention MP example in README · 6f034e30
  Hai Dang authored Nov 12, 2019
  
  6f034e30
07 Nov, 2019 1 commit
- test Coq 8.10.1 (instead of master) · dc2d08c1
  Ralf Jung authored Nov 07, 2019
  
  dc2d08c1
10 Oct, 2019 1 commit
- extend README · 705f0b00
  Hai Dang authored Oct 10, 2019
  
  705f0b00
08 Oct, 2019 1 commit
- fix readme · d8e4f7c3
  Hai Dang authored Oct 08, 2019
  
  d8e4f7c3
13 Jun, 2019 1 commit
- drop support for Coq 8.7 · b7a60aa1
  Ralf Jung authored Jun 13, 2019
  
  b7a60aa1
01 Feb, 2019 2 commits
- bump iris + orc11 and add CI for 8.9.0 · 8412a96e
  Hai Dang authored Feb 01, 2019
  
  8412a96e
- update some URLs · 0798b7b4
  Ralf Jung authored Feb 01, 2019
  
  0798b7b4
21 Nov, 2018 1 commit
- add README · 852d146a
  Hai Dang authored Nov 21, 2018
  
  852d146a