Commits · 0da8e83213f125b8af743ca150f49846f83e00d3 · Abhishek Anand / Iris

Jul 13, 2018
- add iGPS to list of case studies we maintain · 0da8e832
  Ralf Jung authored 6 years ago
  
  0da8e832
- also test Coq 8.8.1 · e6ff8073
  Ralf Jung authored 6 years ago
  
  e6ff8073
Jul 09, 2018
- README: add link to MoSeL paper website · 9064e78f
  Ralf Jung authored 6 years ago
  
  9064e78f
Jul 02, 2018
- make README ready for merger · f8e23d1c
  Ralf Jung authored 6 years ago
  
  f8e23d1c
Jun 22, 2018
- tweak README · 0cd25a7c
  Ralf Jung authored 6 years ago
  
  0cd25a7c
Jun 20, 2018
- change the way we generate test reference files · dbf8321a
  Ralf Jung authored 6 years ago
  
  dbf8321a
Jun 08, 2018
- convert Naming to markdown · afb9d627
  Ralf Jung authored 6 years ago
  
  afb9d627
Jun 01, 2018
- improve README structure · 9f126450
  Ralf Jung authored 6 years ago
  
  9f126450
Apr 18, 2018
- test against Coq 8.8.0 · 5d40b106
  Ralf Jung authored 6 years ago
  
  5d40b106
- drop support for Coq 8.6; use the ssreflect that ships with Coq · ccb21344
  Ralf Jung authored 6 years ago
  
  ccb21344
- Revert most of "test against Coq 8.8.0, update CI" · 1c09a14c
  Ralf Jung authored 6 years ago
  
  This reverts commit 45162e5a. We have to wait until ssreflect makes an 8.8-compatible release.
  1c09a14c
- test against Coq 8.8.0; updated CI · 7adbdee1
  Ralf Jung authored 6 years ago
  
  7adbdee1
- test against Coq 8.8.0, update CI · 45162e5a
  Ralf Jung authored 6 years ago
  
  45162e5a
Mar 15, 2018
- make the README less outdated · ba28c6fa
  Ralf Jung authored 7 years ago
  
  ba28c6fa
Feb 21, 2018
- CI: also test Coq 8.7.2 · da432bbf
  Ralf Jung authored 7 years ago
  
  da432bbf
- CI: test against Coq 8.7.2 · d43ba2b1
  Ralf Jung authored 7 years ago
  
  d43ba2b1
Feb 16, 2018
- README: where to go for Coq 8.6 compatibility · 26fdda7a
  Ralf Jung authored 7 years ago
  
  26fdda7a
- update README dependencies · b6297bf7
  Ralf Jung authored 7 years ago
  
  b6297bf7
- update dependencies in README · 3cf386d0
  Ralf Jung authored 7 years ago
  
  3cf386d0
Jan 24, 2018
- document editor configuration for unicode input/output · bf14ff67
  Ralf Jung authored 7 years ago
  
  bf14ff67
Dec 18, 2017
- use std++ 1.1 · 3e923399
  Ralf Jung authored 7 years ago
  
  iris-3.1.0
  
  3e923399
- mention required opam version · e4de954a
  Ralf Jung authored 7 years ago
  
  e4de954a
- test agains 8.7.1 · 5ad6c3b9
  Ralf Jung authored 7 years ago
  
  5ad6c3b9
- update README · c53ec25f
  Ralf Jung authored 7 years ago
  
  c53ec25f
Dec 13, 2017
- update README · 3b1fcdab
  Ralf Jung authored 7 years ago
  
  3b1fcdab
- README: Examples -> Case Studies · 556be055
  Ralf Jung authored 7 years ago
  
  556be055
- add iris-atomic · 1cd3cfbf
  Ralf Jung authored 7 years ago
  
  1cd3cfbf
- add examples section · 19dced59
  Ralf Jung authored 7 years ago
  
  19dced59
- update README · ed9b3eef
  Ralf Jung authored 7 years ago
  
  ed9b3eef
Nov 07, 2017
- update to ssreflect 1.6.4 · f781a4bb
  Ralf Jung authored 7 years ago
  
  f781a4bb
Oct 28, 2017
- actually, it's called Coq 8.7.0 · 50f00c13
  Ralf Jung authored 7 years ago
  
  50f00c13
- test agains release Coq 8.7 and ssreflect 1.6.2 · 04d4bac4
  Ralf Jung authored 7 years ago
  
  04d4bac4
Oct 19, 2017
- update README · 490169e2
  Ralf Jung authored 7 years ago
  
  490169e2
Oct 05, 2017
- explain make parallelism · 0bb73fb7
  Ralf Jung authored 7 years ago
  
  0bb73fb7
- explain updating · 803e3e5b
  Ralf Jung authored 7 years ago
  
  803e3e5b
Oct 04, 2017
- README: explain how to update std++ · 5ed394dd
  Ralf Jung authored 7 years ago
  
  5ed394dd
Sep 19, 2017
- update README · c8c586c9
  Ralf Jung authored 7 years ago
  
  c8c586c9
Aug 22, 2017
- require Coq 8.6.1 · 3b4865f8
  Ralf Jung authored 7 years ago
  
  3b4865f8
Feb 06, 2017
- use coq-stdpp · 50a1b62b
  Ralf Jung authored 8 years ago
  
  50a1b62b
Jan 23, 2017
- README: that opam repo is not just for ssreflect, also for Coq itself · 23570f31
  Ralf Jung authored 8 years ago
  
  23570f31