Expired
Milestone
Jan 20, 2023–Jan 31, 2023
Contracts (1.0)
The goal of this milestone is to track all work related to the contract
primitives planned to be introduced in version 1.0
.
Design document: https://trilitech.notion.site/Contracts-73430489284d48788462c5bda1a4716a
Tasks:
-
Design: -
contract
primitives (entry
points,view
s) (Must Have):-
Syntax -
Type System -
Operational Semantics
-
-
contract
interfaces (Must Have)-
Syntax -
Type System
-
-
Extensible contracts (Should Have, Stretch) -
Syntax -
Type System -
Operational Semantics
-
-
Metadata (Should Have) -
Upgradable contracts (Could Have) -
Syntax -
Type System -
Operational Semantics
-
-
-
Implementation: -
Adding contract
syntax to CameLIGO and JsLIGO-
contract
primitives -
contract
interfaces -
contract
include
s
-
-
Adding support for contract
in the type checker-
contract
primitives -
contract
interfaces -
contract
include
s
-
-
Adding support for contract
s in the interpreter / repl-
contract
primitives -
contract
include
s -
contract
interfaces
-
-
Adding support for contract
s in the testing framework-
contract
primitives -
contract
include
s
-
-
Compiling contract
s inAst_aggregated
/Mini_c
-
contract
primitives -
contract
include
s
-
-
Documentation
-