List view

• M5: Indexing and project closing

  No due date

  •6/10 issues closed
  60% complete4 open6 closed

• M3: Basic model-driven testing

  No due date

  •12/20 issues closed
  60% complete8 open12 closed

• M4: Advanced features and robustness

  No due date

  •7/14 issues closed
  50% complete7 open7 closed

• M2: generic implementation of submit/query/on-chain code

  Month 2: Generic implementation of Tx submit/query code Generic Plutus on-chain implementation

  No due date

  •1/1 issues closed
  100% complete0 open1 closed

• M1: basic API and research

  Month 1: * Designing and specifying main API: type class and constraint language * Research and consultation * Project setup

  No due date

  •4/4 issues closed
  100% complete0 open4 closed