Accordproject Ergo Versions Save

Updated to use Concerto v3

Updates version of concerto-core and vm2.

Publish to npm

Update to Concerto v2.0.0

This release includes improvements and addresses security vulnerabilities in dependencies.

💥 Breaking changes

• The Ergo engine API now returns validated requests when executing contract logic (See https://github.com/accordproject/cicero/issues/643)

🐛 Bug Fixes

• Fixes issue with converting minutes durations into hours (See #848 )

This release upgrades the webpack configuration to webpack 5.

This release upgrades to the latest major version of Concerto 2.0.0 and updates numerous dependencies.

💥 Breaking Changes

• Ergo libraries now require Node.js version 14 or later. Node.js version 12 is no longer supported

🛡️Dependencies Updates

• Upgrades to Concerto 2.0.0
• Upgrades to Q*cert 2.1.1
• Upgrades numerous dependencies, fixing vulnerabilities

🏗 Build

• Fixes failures with build from source tests in the CI/CD pipelines

This release includes dependency upgrades (notably to the Concerto model library) with bug fixes and fixes to security vulnerabilities.

This release fixes the CLI, broken in the previous release. It also upgrades Concerto to the latest version, which addresses security vulnerabilities.

🛰 CLI

• Fixes the Ergo CLI, not working in version 0.22.0
• Adds --utcOffset option to the CLI

🏗 Dependencies

• Upgrades to Concerto 1.0.2

Introduction

Ergo 0.22 is a major release of the compiler, which includes:

• Support for improved validation and the root type hierarchy from Concerto 1.0.0
• Support for revised base Accord Project models
• A completely re-designed code-generation pipeline leveraging improvements from the new version of Q*cert.

Changes

Build

• Upgrade from OCaml 4.07 to OCaml 4.11
• Upgrade from Coq 8.8 to Coq 8.11 & 8.12
• Switch from ocamlbuild to dune build system

Compiler

• Switch backend from Q*cert 1.4 to Q*cert 2.1 (See release notes here: https://github.com/querycert/qcert/releases)
• Redesign of compiler architecture
• Proof of correctness for Ergo calculus to Q*cert initial IL
• Complete code refactor

Runtime

• Migrate to Concerto 1.0
• Migrate JavaScript runtime from moment to dayjs

API

• Additional utcOffset parameter can be passed to Ergo engine
• The API for both @accordproject/ergo-compiler and @accordproject/ergo-engine has been revised for a cleaner separation between compile-time and run-time

Tech notes:

• BREAKING The Ergo compiler no longer generates ES5, but ES6 (notably the generated code uses let)
• New compiler includes several additional ILs on the backend side, notably generates code using the Imp imperative intermediate language