ZQ2 - v2.0.0

ZQ2-specific release of Scilla

Release scilla_v0.13.2

This is a minor update, allowing for use of a legacy grammar deprecated in v0.11.x.

scilla_v0.13.1

Release scilla_v0.13.1

Bugfixes

• Disallow duplicate fields in address types (#1208)
• Merge library: Remove unused code (#1198)
• scilla-runner: Fix an exception on --help (#1202)

Infrastructure and build system

• Update submodules (#1199)
• Update vcpkg installation (#1205, #1206, #1210)

scilla_v0.13.0

Release scilla_v0.13.0

Language and interpreter

• Updated syntax error messages
• Messages to libraries must output "messages" and "events" entry

Bugfixes

• bystr20_to_bech32's None type parameter should be String

Tests and testsuite

• Bump OUnit to 2.2.6

Tooling and utilities

• Added Callgraph: Module to generate callgraphs
• Sanity check: Check that map value is unboxed before use
• Sanity check: Improve accept analysis
• Added Code Formatter: Scilla source code formatter and AST S-expression formatter.
• Dead code detector: Report unused fields in contract address types
• Added Merge: Library to merge multiple contracts

Infrastructure and Misc

• Extract CONTRIBUTING.md
• Pin ocamlformat version to v0.22.4
• Remove unused non-validating JSON parser
• Use vcpkg to compile Scilla
• Move Scilla pipeline to Jenkins

scilla_v0.11.1

Release scilla_v0.11.1

Bugfixes

• Restrict the Scilla dependencies versions to prevent ecdsa_recover_pk from aborting the Scilla interpreter due to incorrect input values

scilla_v0.11.0

Release scilla_v0.11.0

Language / Interpreter enhancements and bugfixes

Address type casts (#1020)
Lowercase address in fully qualified names (#1015)
Removed unused -estate option from scilla-runner (#1021)

Testing

map corners test combined (#995)
simple dex remote reads contract for future reference (#1014)

Build system and documentation

Updates to INSTALL instructions (#997)
Make scilla server a public library (#998)
Refactor scilla server lib to enable better reuse (#999)
Allow opam depext to fail (#1024)

scilla_v0.10.1

Release scilla_v0.10.1

This is a bugfix release with performance improvements and misc addons.

• Address types that compare equal must be structurally equal (#985)
• Fixed stack overflow issue (#986)
• opam: add missing Conversions lib to installation list (#987)
• Add a tool to convert Zil API state JSON to Scilla format (#988)
• Split in_channel and out_channel in binary_rpc. (#992)

scilla_v0.10.0

scilla_v0.10.0

Language and Interpreter

• Remote state reads and address types (#967)
• Add builtins substr and concat for ByStr and to_bystrx to convert to fixed length byte strings (#906)
• Conversion builtins for ByStrX to UIntX (#907)
• Add reversal builtin for strings and byte strings (#910)
• Add uint to bystrx conversion builtin (#912)
• Allow empty byte strings (#914)
• Polynetwork support (#908)
• Add builtin to recover public key from a message and it's ECDSA signature (#918)
• Provide builtin to reinterpret ascii byte strings as strings (#919)
• Add support for _origin implicit transition parameter (#921)
• Provide a state reinitialization feature (#875)
• Type args for builtins (#940)
• Remove support for tzil bech32 address (#939)

Tests and testsuite

• IPC test output types should be taken from the IPC state, not from the gold state (#903)
• Unexpected map keys not printed when using IPC test server (#904)
• Added positive tests for exponential gas charges (#924)
• Test state revert functionality by extending map_corners_test (#975)
• Add addfunds tests for unittesting from blockchain code (#978)

Bugfixes

• Run recursion checks for pure expression checking (#909)
• Use DataTypeDictionary to keep track of ADTs in scope during recursion check (#911)
• Only recursion check each library once (#916)
• Name disambiguation (#905)
• Typecheck incoming messages (#951)
• Shadowing of imported names is allowed (#970)
• Fix parsing of integers with leading 0s (#982)

Infrastructure and Misc

• Clarify installation instruction for libsecp256k1 on openSUSE (#913)
• Add more ADT type matchers (#917)
• Use Schnorr library as a submodule (#928)
• Remove Snark code and use cryptoutils repo as submodule dep (#930)
• Update INSTALL.md for Ubuntu and CMake requirement (#935)
• Refactor: Move builtin executors to src/eval (#942)
• Move EvalBuiltin to work inside EvalMonad (#949)
• OCaml 4.12 support (#976)

scilla_v0.9.1

Release notes for scilla_v0.9.1

Build system and packaging

• ci: OCaml 4.11.0 to 4.11.1 (#885)
• Esy package manager support (#886)
• Update INSTALL.md (#888)

Language and Interpreter Changes

• Remove -disable-validate-json option from scilla-runner (#893)
• Fix gas charge for throw statements and print gas remaining (#895)
• Provide command line flag for debug logging level (#898)
• Do not warn when storing map values (#899)

Code Refactoring

• Keep user-defined ADTs after typechecking pass (#889)
• Rewrite gas mechanisms in terms of explicit gas_charge nodes (#887)
• filter_mapM and filter monad utils (#896)
• Gas charges to use Name.t instead of string (#897)

scilla_v0.9.0

Release notes for scilla_v0.9.0

• Scale down gas consumption (#877)

Build system and others

• Upgrade to Ocaml 4.10 and Core 0.14 (remove OCaml 4.07) (#878)
• Opam tweaks (#879)
• OCaml 4.11 is supported (#880)
• ci: use OCaml 4.10.1 (#881)
• opam: make scilla.eval library available (#882)
• Eval minor refactoring (#883)