Skip to content

v3-rc2

Pre-release
Pre-release
Compare
Choose a tag to compare
@hrajchert hrajchert released this 10 May 14:30
· 43 commits to master since this release
v3-rc2
6fa08b1
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

This is the second release candidate for the Marlowe specification V3. It has the following changes from the first release candidate

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
Assets 3
Loading