8.6 support, update travis tasks

Author: palmskog

.travis.yml

@@ -8,11 +8,9 @@ addons:
       - opam
       - aspcud
 env:
-  global:
-    - COQ_VERSION=8.5.3
-    - SSREFLECT_VERSION=1.6
   matrix:
-    - MODE=build
+    - MODE=build COQ_VERSION=8.6 SSREFLECT_VERSION=1.6.1
+    - MODE=build COQ_VERSION=8.5.3 SSREFLECT_VERSION=1.6
 script: bash -ex .travis-ci.sh
 sudo: false
 notifications:

README.md

@@ -10,13 +10,13 @@ Requirements
 
 Definitions and proofs:
 
-- [`Coq 8.5`](https://coq.inria.fr/download)
+- [`Coq 8.5`](https://coq.inria.fr/coq-85) or [`Coq 8.6`](https://coq.inria.fr/coq-86)
 - [`Verdi`](https://github.com/uwplse/verdi)
 - [`StructTact`](https://github.com/uwplse/StructTact)
 
 Executable code:
 
-- [`OCaml 4.02.3`](https://ocaml.org)
+- [`OCaml 4.02.3`](https://ocaml.org) (or later)
 - [`OCamlbuild`](https://github.com/ocaml/ocamlbuild)
 - [`ocamlfind`](http://projects.camlcity.org/projects/findlib.html)
 - [`verdi-runtime`](https://github.com/DistributedComponents/verdi-runtime)