Ergo v0.22.0-alpha.9

This release upgrades to the latest Concerto 1.0.0-alpha.10.

Ergo v0.22.0-alpha.8

This release upgrade Concerto to 1.0.0-alpha.9

Ergo v0.22.0-alpha.7

This alpha release fixes issues with external models resolution.

Ergo v0.22.0-alpha.6

This alpha release fixes a bug in the engine package in previous version, confusing contract name and id.

Ergo v0.22.0-alpha.5

This alpha version upgrades to the latest version of Concerto 1.0.0-alpha.7 and refactors several parts of the API notably moving all runtime validation code from the compiler to the engine.

Ergo v0.22.0-alpha.4

This release refreshes the Ergo compiler for recent revision of the Accord Project base models.

Ergo v0.22.0-alpha.3

This release cleans up the handling for built-in Concerto models required for Ergo compilation (notably the Ergo library), addressing issues with multiple imports.

Ergo v0.22.0-alpha.2

This release upgrades to the latest Concerto 1.0.0-alpha.6 and fixes some issues with validation of optional fields in Concerto for Ergo execution.

Ergo v0.22.0-alpha.1

Introduction

This is a pre-release of Ergo 0.22

Ergo 0.22 is a major release of the compiler, with 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.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

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

Ergo v0.21.9

🐜 This is a patch release with some minor improvements.

Dependencies

• Switches to latest Concerto 0.82.11