Merge 84c37e2 into 56b3538

accordproject · Aug 24, 2021 · 15c063d · 15c063d
2 parents 56b3538 + 84c37e2
commit 15c063d
Show file tree

Hide file tree

Showing 8 changed files with 1,707 additions and 1,449 deletions.
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -43,7 +43,7 @@ common_steps: &common_steps
     - run:
         name: "Install Coq"
         command: |
-          opam install -y -v coq.8.12.0 coq-flocq coq-jsast
+          opam install -y -v coq.8.12.2 coq-flocq coq-jsast
         no_output_timeout: 30m
     - run:
         name: "Install Q*cert"

diff --git a/package-lock.json b/package-lock.json
diff --git a/package.json b/package.json
@@ -28,7 +28,7 @@
   ],
   "license": "Apache-2.0",
   "devDependencies": {
-    "@accordproject/concerto-core": "1.0.2",
+    "@accordproject/concerto-core": "1.1.2",
     "colors": "1.1.2",
     "coveralls": "3.0.1",
     "dayjs": "1.10.4",

diff --git a/packages/ergo-cli/extracted/ergoccore.js b/packages/ergo-cli/extracted/ergoccore.js
diff --git a/packages/ergo-cli/extracted/ergotopcore.js b/packages/ergo-cli/extracted/ergotopcore.js
diff --git a/packages/ergo-compiler/extracted/compilercore.js b/packages/ergo-compiler/extracted/compilercore.js
diff --git a/packages/ergo-compiler/package.json b/packages/ergo-compiler/package.json
@@ -27,7 +27,7 @@
     "access": "public"
   },
   "dependencies": {
-    "@accordproject/concerto-core": "1.0.2",
+    "@accordproject/concerto-core": "1.1.2",
     "acorn": "5.1.2",
     "dayjs": "1.10.4",
     "debug": "4.1.0",

diff --git a/packages/ergo-engine/package.json b/packages/ergo-engine/package.json
@@ -34,7 +34,7 @@
     "index.browser.js"
   ],
   "dependencies": {
-    "@accordproject/concerto-core": "1.0.2",
+    "@accordproject/concerto-core": "1.1.2",
     "@accordproject/ergo-compiler": "0.22.1",
     "dayjs": "1.10.4",
     "vm2": "3.5.0"