Skip to content

Latest commit

 

History

History
27 lines (22 loc) · 1.9 KB

CHANGELOG.md

File metadata and controls

27 lines (22 loc) · 1.9 KB
Raw

Changelog

May 2023 - Marlowe specification version 3, RC2

Specification

  • PLT-4195 - Change MoneyPreservation for AssetPreservation
  • PLT-3505 - Several small fixes to the specification from the audit report
  • SCP-4869 - Add lemma for DivValue rounding to zero
  • SCP-4908 - Add Escrow to the contract examples
  • PLT-3761 - Refactor semantic theory into literate programming
  • PLT-5263 - Refactor guarantees section

Test Spec

  • SCP-4860 - Make tests reproducible
  • SCP-4698 - Implement roundtrip test for all serialized types
  • SCP-4901 - Add tests to EvalValue
  • PLT-4250 - Add tests to EvalObservation
  • PLT-3313 - Add Semiarbitrary instances and property based tests for some of Isabelle theorems
  • PLT-4143 - Improved SWAP example

General

  • SCP-4748 - Fixed cabal packages.
  • SCP-4848 - Fix problem with edit-marlowe-proofs command.
  • PR 175 - Add version bounds to all libraries

Dec 2022 - Marlowe specification version 3, RC1

Version v3-rc1 was tagged on commit c8c67ad6892ec68842461d2e66b02ca87f93f70c on 19 Dec 2022 and submitted to the auditors. This marks the begining of the changelog.