configuration adjustments for Coq 8.12

palmskog · palmskog · commit 0418990a36f9 · 2020-07-26T17:41:20.000-05:00
diff --git a/.travis.yml b/.travis.yml
@@ -1,6 +1,9 @@
-opam: &OPAM
-  language: minimal
-  sudo: required
+os: linux
+dist: bionic
+language: shell
+
+.opam: &OPAM
+  language: shell
   services: docker
   install: |
     # Prepare the COQ container
@@ -30,7 +33,7 @@ opam: &OPAM
   - docker stop COQ  # optional
   - echo -en 'travis_fold:end:script\\r'
 
-matrix:
+jobs:
   include:
 
   # Test supported versions of Coq via OPAM
diff --git a/LICENSE b/LICENSE
@@ -1,4 +1,4 @@
-Copyright (c) 2016-2019, Distributed Components Team.
+Copyright (c) 2016-2020, Distributed Components Team.
 All rights reserved.
 
 Redistribution and use in source and binary forms, with or without
diff --git a/_CoqProject b/_CoqProject
@@ -6,6 +6,7 @@
 -arg -w -arg -redundant-canonical-projection
 -arg -w -arg -projection-no-head-constant
 -arg -w -arg -duplicate-clear
+-arg -w -arg -notation-incompatible-format
 
 Core/Domain.v
 Core/State.v

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-Copyright (c) 2016-2019, Distributed Components Team.`
	`1`	`+Copyright (c) 2016-2020, Distributed Components Team.`
`2`	`2`	`All rights reserved.`
`3`	`3`
`4`	`4`	`Redistribution and use in source and binary forms, with or without`