search

runtimeverification / plutus-core-semantics

BSD 3-Clause "New" or "Revised" License
27 stars 5 forks source link

Updated Untyped Plutus Core Specification #74

Closed ChristianoBraga closed 2 years ago

ChristianoBraga commented 2 years ago

This dependency affects the following Milestones:

Syntax of Plutus, as specified in the Plutus core specification

Semantics of Plutus, as specified in the Plutus Core specification

ChristianoBraga commented 2 years ago

This dependency is related with documents:

  1. Updated Semantics for Untyped Plutus Core (message) https://docs.google.com/document/d/1l0V3hG1Ew7uqObnZ_Eq1ryYq0kKZiUMn1o7sr0ufeFs/edit?usp=sharing
  2. Updated CEK machine transitions for type-erased Plutus Core https://drive.google.com/drive/folders/0AAQtLO9q8bCLUk9PVA