A simple pythonic programming language for Smart Contracts on Cardano
Full Changelog: https://github.com/OpShin/opshin/compare/0.21.0...0.21.1
Most notably, OpShin does now support passing in optimization settings from -O0 (no optimizations, just debugging) to -O3 (aggressive optimization, does not preserve semantics wrt. traces, i.e. removes logging and error reporting in certain places).
Full Changelog: https://github.com/OpShin/opshin/compare/0.20.0...0.21.0
This is the first version compatible with pycardano 0.10.0
Full Changelog: https://github.com/OpShin/opshin/compare/0.19.1...0.20.0
There was a bug in the type system that would match union type in function parameters in the wrong direction. I.e. if a function expects Union[A, B], the type system would accept a parameter of type Union[A, B, C] but not of type Union[A]. This has now been fixed.
Moreover there was a bug regarding the creation of functions in branches and merging their type definitions which would allow incorrectly typed bound variables inside the functions. I.e. both functions foo in an if/else branch bind the variable x also defined in the same branch. However one x is defined as A and one as B. Hence one foo function would expect A and one would expect B, whereas the type after merging was Union[A, B] and would allow assigning an incorrect value to x.
Finally a bug regarding the re-assignment of polymorphic functions was fixed. If a function decided to re-assign polymorphic functions such as print, the invocation of this function would fail during runtime.
All of the above bugs can only lead to funds being locked in Smart Contracts (due to the contract failing) and not invalid release of funds.
Full Changelog: https://github.com/OpShin/opshin/compare/0.19.0...0.19.1
Moving to this minor version is greatly recommended, since contract sizes and costs are likely to experience 70% decrease or more due to #297
Retyping of variables is now allowed anymore (categorically) since #298 . Assertions on a variable type will still factually change the type but can only narrow down the type (thus compatible with the previously declared type) and are hence still allowed.
Full Changelog: https://github.com/OpShin/opshin/compare/0.18.1...0.19.0
Full Changelog: https://github.com/OpShin/opshin/compare/0.18.0...0.18.1
Full Changelog: https://github.com/OpShin/opshin/compare/0.17.0...0.18.0
Nothing by @nielstron in https://github.com/OpShin/opshin/pull/239
Full Changelog: https://github.com/OpShin/opshin/compare/0.16.2...0.17.0
Full Changelog: https://github.com/OpShin/opshin/compare/0.16.0...0.16.1
Full Changelog: https://github.com/OpShin/opshin/compare/0.15.2...0.16.0