List view
- No due date•5/5 issues closed
- No due date•0/1 issues closed
- No due date•4/8 issues closed
- No due date•6/6 issues closed
- No due date•23/24 issues closed
- Add simulation environment and test system to the validator - EVMv1 back-modeled
No due date•0/1 issues closedV2 Subgraph Endpoint release
No due date•3/3 issues closed- No due date•10/10 issues closed
- Split each agreement into two: - functional code: for easier isolated functional requirement testing, formal verification - effect code
No due date•1/1 issues closed- More concepts defined: Solvency models, UTxO, Composability, etc.
No due date•0/4 issues closed