List view

• Scilla 0.14.0

  Scilla v0.14. Due date is currently unknown.

  No due date

  •9/46 issues closed
  19% complete37 open9 closed

• Scilla 0.13.0

  No due date

  •15/15 issues closed
  100% complete0 open15 closed

• Scilla 1.0.0

  No due date

  •2/22 issues closed
  9% complete20 open2 closed

• Scilla 0.3

  No due date

  •15/15 issues closed
  100% complete0 open15 closed

• Scilla 0.2

  * Working interpreter * Type checking * Standard library * Specification

  Overdue by 7 year(s)

  •

  Due by August 15, 2018

  •34/34 issues closed
  100% complete0 open34 closed

• Scilla 0.1

  * Initial release with runnable code for the main benchmark contracts; * Step-base simulation; * Interaction with Blockchain data.

  Overdue by 7 year(s)

  •

  Due by May 22, 2018

  •9/9 issues closed
  100% complete0 open9 closed