Marlowe specification v3

Release of the Marlowe specification v3

The document below, Marlowe.pdf, (4 pages) describes the lexical and syntactic structure of the Marlowe language, describing the way certain words and word types are used and represented in the language.

The other document below, specification-v3.pdf, (100 pages) is the Marlowe Language Specification for Version 3. It is a comprehensive document consisting of the following chapters and appendices:

• Chapter 1. Marlowe
• Chapter 2. Marlowe Core
• Chapter 3. Marlowe Guarantees
• Appendix A. Contract examples
• Appendix B. ByteString
• Appendix C. Time Interval
• Appendix D. Code exports
• Appendix E. Marlowe Core JSON

Incremental additions

• PLT-7142 - Marlowe language guide

v3-rc2

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

v3-rc1

This is the first release candidate of the 3rd version of the Marlowe language, the first version to be deployed on Cardano Mainnet.