Skip to content

Releases: kadena-io/pact-5

nightly

06 Sep 23:35
8c8c1dd
Compare
Choose a tag to compare
nightly Pre-release
Pre-release

What's Changed

New Contributors

Full Changelog: development-latest...nightly

Pact v5-alpha

16 Jan 17:16
e46d60c
Compare
Choose a tag to compare

This release marks the alpha release of Pact v5, formerly known and referred to as "Pact Core". The alpha release marks the point at which the internal rewrite has reached semantic equivalence with legacy Pact (see: https://github.com/kadena-io/pact).

The team will continue to test and improve the language, along with adding support for the Pact Server API, an expanded repl, more LSP capabilities, and various test-related improvements until the Beta release (scheduled for March/April 2024), at which time we will invite the community to raise issues. At that time, more artifacts and build targets will be made available, and by the June service date for the Kadena public blockchain, will be fully integrated.

Pact v5-alpha:

Features:

  • Lexer, Parser and term desugaring debugging using the :debug flag.
  • Semantic equivalence with current pact (should work as a drop-in replacement).
  • New CBOR pact db serialization.
  • Improvements to speed and memory performance.
  • LSP with hover on docs.

Upcoming:

  • Step debugger
  • New Formal Verification system
  • Improved typechecking