Releases ​

v0.17.4 ​

Change Log ​

• Re-added previously lost sp.lambda_operations_only.

v0.17.3 ​

Change Log ​

• Better error messages for arguments to sp.timestamp that are out of range.

• Fixes a bug with the typing of sp.sum.

v0.17.2 ​

Change Log ​

• Native support for macOS on Apple silicon (M1/M2).

• Fixes an issue with Kukai pairing.

v0.17.1 ​

Change Log ​

• Fixes an issue with running the Docker-based CI on macOS.

v0.17.0 ​

Change Log ​

• A new frontend with parsed syntax:

  • Control statements no longer have to be prefixed by sp.. You can now write if and for, just like in Python.

  • No need for sp.local and x.value anymore: to assign to a variable, you can now write x = 42, just like in Python.

  • In the __init__ function of a contract the storage can now be initialised through assignments, e.g. self.data.x = 42, just like in Python.

  • For further details, see the new manual.

• A new deployment mechanism via Docker. This greatly simplifies installation and improves performance. See installation.

v0.16.0 ​

Change Log ​

• Support for mutation testing, see guide. For performance reasons this feature is CLI-only.

• Support for the Lima protocol, activated by default. New constructs sp.build_lambda(..., recursive=True) and sp.private_lambda(..., recursive=True). See templates lambdas and test_private_lambda. Return type of TICKET is now an option.

Breaking changes ​

Bug fixes ​

v0.15.0 ​

Change Log ​

• Internal upgrades in our mockup tests, docker on MacOS.

• Improvements in the Wallet, new account management.

• Improvements in our Internal primitives.

Breaking changes ​

Bug fixes ​

• Fixing layout renamings.

• Fix automatic tab selection in editors.

v0.14.0 ​

Change Log ​

• Kathmandu protocol is now by default

• Fix fees and gas computation with Kathmandu

• Restore tab stability in Michelson IDE

• events handling sp.emit

Breaking changes ​

Bug fixes ​

v0.13.0 ​

Change Log ​

• New React version of the explorer.

Breaking changes ​

Bug fixes ​

v0.12.0 ​

Change Log ​

• Lazy entry points. The sp.entrypoint_map() is now accessible.

• New Michelson-like sp.add and sp.compare instructions.

• New parameter_type argument in entrypoints.

• Documentation of several key templates.

• Ghostnet in explorer and origination.

Breaking changes ​

Bug fixes ​

• Types fixed in minimal FA2 examples.

• Fix bls-12-381 multiplication bug.

v0.11.1 ​

Change Log ​

• Bring back search bar from documentation which had disappeared.
• Renaming and cleanup of the baking swap template

Breaking changes ​

Bug fixes ​

v0.11.0 ​

Change Log ​

• New doc target in SmartPy.sh.
• Fix of many bugs in Explorer and switch to TzKT for contract operations indexer.
• Many important internals improvements (typing, values, etc.).
• FA2 library is no longer experimental. Minor improvements in library and documentation.
• Support for Jakartanet and deprecation of Hangzhounet.

Breaking changes ​

• Changes in internal s-expr manipulations.

Bug fixes ​

v0.10.1 ​

Change Log ​

• Update Taquito to support Ithaca new operations in Origination.
• sp.sub_mutez documentation.

Breaking changes ​

Bug fixes ​

v0.10.0 ​

Change Log ​

• Support for Ithaca protocol (on by default).
• Support for SUB_MUTEZ / sp.sub_mutez.
• Support for map on options.

Breaking changes ​

Bug fixes ​

• Fix generation of views in sp.create_contract.
• Fix explorer with no named entry point.

v0.9.1 ​

Change Log ​

• Important. New experimental FA2 library that will replace our legacy FA2 template.
• Entry points get a new argument check_no_incoming_transfer to determine whether to check for a zero amount or not.
• New default-check-no-incoming-transferflag to determine the default value of check_no_incoming_transfer in entry points.
• Add stop-on-error flag to control early termination on errors.
• More explicit error reporting in contracts (specially for missing type information).
• Contract id and accessors such as address, baker, data, typed, and balance are now only visible once in a scenario.
• New ConseilJS version + better exception handling in explorer.
• Automatically remove instructions after a sp.failwith.

Breaking changes ​

Bug fixes ​

• The nodes page is better synchronized with SmartPy's nodes.

v0.9.0 ​

Change Log ​

• New code optimizer rule to slightly shrink lazy entry points code when multiple lazy entry points are defined.
• Removal of useless comments in generated Michelson code.
• We can now properly define entry points and views with the same names.
• Explorer / simulation. Parsing of parameters in micheline or JSON formats, with or without entry points.
• Explorer / simulation. Parsing of Lambdas in micheline format.
• Scenario compute can now change context (sender, source, now, level, etc.).

Breaking changes ​

Bug fixes ​

v0.8.10 ​

Change Log ​

• Fix int / nat documentation.
• Wallet updates to recent versions to fix origination issues on the mainnet.
• Fix TZComet URL in explorer.

Breaking changes ​

Bug fixes ​

v0.8.9 ​

Change Log ​

Breaking changes ​

Bug fixes ​

• Fix balance bug introduced in 0.8.8.

v0.8.8 ​

Change Log ​

Breaking changes ​

Bug fixes ​

• Fix balance computations between operations created by an entry point.

v0.8.7 ​

Change Log ​

• Improvements in SmartML install procedure in the CLI.
• Improvements in error reporting, mostly in the SmartPy.io editor.

Breaking changes ​

Bug fixes ​

• Fix originator bug with lazy entry points (older taquito version was failing).

v0.8.6 ​

Change Log ​

• Some typos fixed in documentation.
• Many improvements in state channel game platform (see documentation).

Breaking changes ​

Bug fixes ​

• Views: fix the code optimizer on views that were wrongly annotated as non failing.
• Views: fix a bug that mixed up view contracts with inheritance.
• Explorer: fix operations.

v0.8.5 ​

Change Log ​

• Documentation of operations and internals.
• Documentation of all three view concepts (CPS, off-chain and on-chain).
• Documentation of lambda effects / contexts.
• Documentation of sp.cons in lists.
• Links to new faucet wallet faucet importer.
• Hangzhou is now the default protocol, introduction of Ithaca (equivalent to Hangzhou as of now).
• Remove Granadanet and Introduce Ithacanet in the UI (origination, wallet and explorer).
• New view-check-exception flag to control views error semantics.
• New Admin Multisig template.

Breaking changes ​

• The interpreter now checks that mutez don't become negative when subtracting them.
• Layout information for record types is now checked.
• Cleaner way to change the name of a view.

Bug fixes ​

v0.8.4 ​

Change Log ​

• Support integer bit-wise operations & | on test interpreter;
• Remove double-rewriting of views;
• CONCAT is now resolved during type checking.

SmartTS:

• Add compilation diagnostics.

Breaking changes ​

• Decorators @sp.global_lambda and @sp.sub_entry_point were deprecated in favor of @sp.private_lambda, which centralizes both concepts (See Lambdas);

Bug fixes ​

• Properly load configuration flags in scenarios;
• Explorer Page - Call parameters now include the entry point name when using the SmartPy wallet.

v0.8.3 ​

Change Log ​

• Remove deprecated test network (florencenet);
• Improve the precision of line numbers in error messages;
• Make evaluation order of all binops right-to-left;
• Reworks to sp.contract annotation and type checking. The default entry_point is better handled now;
• Adds new contract-check-exceptionFlag;
• Adds an FA2 guide;
• Calling entry points in the explorer page now uses the entry point name instead of default.

SmartTS:

• Adds support for nested imports.

Breaking changes ​

Bug fixes ​

• Fix source and sender for follow-up calls;
• Fix comparison between address values:
  • addresses of implicit accounts are strictly less than addresses of originated accounts
  • addresses of the same type are compared lexicographically
• Fix a Brython bug for attributes called 'message';
• Adds missing @smartpy/timelock dependency.

SmartTS:

• Solves an issue related to variable resolution in test scenarios;

v0.8.2 ​

Change Log ​

• SmartML dialect is now available in the online IDE; (API documentation)
• A few templates have been added for the SmartML dialect;
• Updates the mint entry point in FA2 template;
• Adds the timelock feature;
• In the online IDE, the editor and output panel can now be resizable. (Feature Request);
• Hangzhou primitives have been added to Michelson IDE.

Breaking changes ​

Bug fixes ​

• DIP n {...} is now valid when n is less or equal to the stack size;
• The test interpreter now supports single annotated entry points.

SmartTS

• Adds missing type resolutions for access expressions.

v0.8.1 ​

Change Log ​

Improves frontend loading times.

Breaking changes ​

Bug fixes ​

v0.8.0 ​

Change Log ​

• Adds support for on-chain views; (SmartPy, SmartTS)
• Adds support for global constants to be used as values; (SmartPy, SmartTS)
• Various improvements to SmartML dialect.

Breaking changes ​

• Method sp.to_constant was renamed to sp.resolve. This change is necessary to avoid confusion with the constants feature coming with H proposal.

Bug fixes ​

v0.7.5 ​

Change Log ​

• An early version of the Ocaml dialect is available through the CLI;
• Introduces mechanisms to test off-chain views directly in test scenarios (Documentation);
• The wallet page has been reworked;
• SmartPy.io frontend bundle received a few optimizations.

Breaking changes ​

Bug fixes ​

• Fix content forging in the origination page. (Strings with multiple spaces could cause the signature to be invalid.)

v0.7.4 ​

Change Log ​

Breaking changes ​

Bug fixes ​

• Adds support for sp.TBounded arguments in tests.

v0.7.3 ​

Change Log ​

• Removes Edonet node;
• Adds type annotations to the metadata builder;

Python

• Adds an helper method sp.utils.seconds_of_timestamp(<timestamp>) for extracting seconds of type sp.TNat from timestamps;
• Adds documentation for overload multiplication sp.mul(<expr1>, <expr2>);

Typescript

• Adds <int>.abs() instruction;
• Makes origination parameters less restrictive in test scenarios;
• Adds an helper method <timestamp>.toSeconds() for extracting seconds of type TNat from timestamps;

Breaking changes ​

Bug fixes ​

Typescript

• Fixes a few exceptions related to variants;
• Fixes the documentation related to the unpack instruction;
• Fixes a few exceptions occurring in access expressions;

v0.7.2 ​

Change Log ​

Typescript

• Add Sp.ediv expression;
• Extend inlining support;
• Add update script to the boilerplate;
• Add better support for as <type> expressions;
• Add more type checks to the linter.

State channels

• Misc interface changes.

Breaking changes ​

Bug fixes ​

• Fix TTimestamp type-checking in Typescript dialect;
• Fix TAddress linting in Typescript dialect;
• Improve the messages of some cryptic errors.

v0.7.1 ​

Change Log ​

• Better error handling;

Breaking changes ​

Bug fixes ​

• Fix lambda packing/unpacking with records and variants;
• Fix Sp.createContract return type in the typescript dialect.

v0.7.0 ​

Change Log ​

• Includes a beta version of the Typescript syntax called SmartTS;
• New documentation, it now uses a new system to allow multiple syntaxes;
• Inlined Michelson in SmartPy is now interpreted.

Breaking changes ​

Bug fixes ​

v0.6.11 ​

Change Log ​

Breaking changes ​

Bug fixes ​

• Metadata builder now works when using lazy entry points;

• Option types now work as expected in explorer.html

v0.6.10 ​

Change Log ​

• The online IDE now uses monaco editor, it offers new features to ease the development experience;

• Compiler: The Michelson compiler no longer generates IF_SOME macros since they are not handled optimally by the Tezos client.

Breaking changes ​

• Contracts now enforce that initial flags do not appear in contracts (they were not taken into account but they could appear in contracts). They can only appear in the first steps of scenarios. Flags
• sp.now and sp.level now keep the state from previous calls as default, instead of resetting to zero.

Bug fixes ​

• Fix token_supply configuration in the FA2 template;

v0.6.9 ​

Change Log ​

• Adds exception testing, users are now able to link:reference.html#_registering_and_displaying_calls_to_entry_points[test error messages] emitted by failed contract calls;
• File names in error location;
• Online IDE now divides tests and compilation targets into two distinct sections;

Bug Fixes ​

• originate-contract CLI command can now be executed from any sub-folder;
• scenario.simulation debugging feature is now working again;
• Fixes an issue in the explorer page that would cause an exception when interpreting tuples;
• Allow invalid packed bytes to be tested with run(valid = False);
• (A work in progress) New state channel based game platform templates:
  • Game platform
  • Game tester
  • Game wrapper
  • Game types
  • Game: Head and Tail model
  • Game: Nim model
  • Game: tic-tac-toe model
  • Game: transfer model

v0.6.8 ​

Change Log ​

• SmartPy CLI now shows all created operations in log.txt (it used to only show recursive operations).
• More documentation and examples of lazy and updatable entry points.

Bug Fixes ​

• Fix CLI originate-contract command.

Previous Releases ​

View previous releases.