0.22.0

What's Changed

🏕 Features

• Add executables by @pcjordan in #372
• Allow keywords in function arguments, (not kwarg only support) by @SCMusson in #386
• Allow passing keywords for constructors by @nielstron in #387

👒 Dependencies

• Bump coverage from 6.5.0 to 7.4.4 by @dependabot in #374
• Bump pytest from 8.1.1 to 8.2.0 by @dependabot in #373

New Contributors

• @pcjordan made their first contribution in #372
• @SCMusson made their first contribution in #386

Full Changelog: 0.21.2...0.22.0

0.21.2

Full Changelog: 0.21.1...0.21.2

0.21.1

What's Changed

🐛 Bug fixes

• Fix optimization levels not being applied properly, resulting in exceedingly large contracts. 9da7eb0

🏕 Features

• Add documentation on the OpShin Bug Bounty program by @nielstron in #364
• Improve logging and warnings @nielstron from #340

Full Changelog: 0.21.0...0.21.1

0.21.0

What's Changed

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).

🐛 Bug fixes

• Fix actually invalid generated negative constr id code by @nielstron in #361

🏕 Features

• Support return statement without value by @nielstron in #339
• Improve linting output and display of warnings by @nielstron in #340
• Add a proper configuration object to OpShin by @nielstron in #341
• Add missing inequality operations by @nielstron in #357
• Use AnyList instead of FindList by @nielstron in #362

Full Changelog: 0.20.0...0.21.0

0.20.0

This is the first version compatible with pycardano 0.10.0

What's Changed

🏕 Features

• Fix compiler bug that allows compiling access to class attributes by @nielstron in #329
• Add support for pycardano 0.10.0 by @nielstron in #334

👒 Dependencies

• Bump JRubics/poetry-publish from 1.16 to 2.0 by @dependabot in #331

Full Changelog: 0.19.1...0.20.0

0.19.1

What's Changed

🏕 Features

• Feat/allow empty lists by @nielstron in #305
• Add support for dictionary comprehensions by @nielstron in #309
• Allow eq comparisons between AnyType, AnyType and RecordTypes by @nielstron in #311
• Implement list index by @nielstron in #324
• Allow empty dictionaries to be instantiated with proper type annotation by @nielstron in #323
• Make unary operations dynamic and implement more thereof by @nielstron in #325
• Fix/merging functions with type capturing by @nielstron in #328

🐛 Bug fixes

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.

👒 Dependencies

• Bump pytest from 7.4.4 to 8.0.0 by @dependabot in #319
• Bump hypothesis from 6.92.2 to 6.97.4 by @dependabot in #327

Full Changelog: 0.19.0...0.19.1

0.19.0

Moving to this minor version is greatly recommended, since contract sizes and costs are likely to experience 70% decrease or more due to #297

What's Changed

🏕 Features

• Extend assert sum example and ensure determinism among union types by @nielstron in #285
• Copy in right places to avoid reference capturing by @nielstron in #293
• Make binary operations more accessible by @nielstron in #294
• Add support for builtin list slicing by @nielstron in #295
• Improve error messages for union type and make merging stronger by @nielstron in #296
• Remove the need for an explicit statemonad by @nielstron in #297
• Add proper tests for return statements by @nielstron in #302
• Use constant nth field access where possible by @nielstron in #304
• New minor version by @nielstron in #303

🐛 Bug Fixes

• Disallow retyping of variables to incompatible types by @nielstron in #298
  • This patches a slip-through in the typechecker where a function could capture variables of invalid type.

💔 Breaking Changes

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.

👒 Dependencies

• Bump black from 23.10.1 to 23.11.0 by @dependabot in #286

Full Changelog: 0.18.1...0.19.0

0.18.1

What's Changed

🏕 Features

• Properly enforce forbidden overwrites by @nielstron in #281
• Fix nondeterministic compilation by @nielstron in #283 (discovered by @ross-spencer in #282)

Full Changelog: 0.18.0...0.18.1

0.18.0

What's Changed

🏕 Features

• Enable code reuse through patternization by @nielstron in #265
• Feat/prevent double import by @nielstron in #268
• Feat/len dict by @nielstron in #270
• Allow ByteString and bytearray synonyms for bytes as type annotations by @nielstron in #277
• Flatten comparison chains generated from taking apart chains by @nielstron in #278
• Add code to apply UPLC parameters to a contract by @nielstron in #253
• Feat/restructure opshin contract type by @nielstron in #280
• Plutus Blueprint support by @nielstron in #279
• Restore Python 3.11 by @nielstron in #213

👒 Dependencies

• Bump actions/checkout from 3 to 4 by @dependabot in #257
• Bump hypothesis from 6.84.1 to 6.87.0 by @dependabot in #266
• Bump black from 23.9.1 to 23.10.1 by @dependabot in #275
• Bump hypothesis from 6.87.1 to 6.88.1 by @dependabot in #273
• Bump pre-commit from 3.4.0 to 3.5.0 by @dependabot in #272

Full Changelog: 0.17.0...0.18.0

0.17.0

What's Changed

🐛 Bugfixes

• Fix errors relating to missing code locations by @nielstron / @chrissiwaffler in #237 and #245

🏕 Features

• Comparison chaning is now supported by @nielstron in #238
• When forcing three parameters, the datum must be potentially of type Nothing by @nielstron in #239
• Introduce a function that copies an object structurally by @nielstron in #246
• Implement integrity check for lists and dicts by @nielstron in #250

👒 Dependencies

• Bump hypothesis from 6.82.7 to 6.83.1 by @dependabot in #249
• Bump pytest from 7.4.0 to 7.4.1 by @dependabot in #248
• Bump pre-commit from 3.3.3 to 3.4.0 by @dependabot in #247
• Bump hypothesis from 6.83.1 to 6.84.0 by @dependabot in #251
• Bump hypothesis from 6.84.0 to 6.84.1 by @dependabot in #254
• Bump black from 23.7.0 to 23.9.1 by @dependabot in #258

Full Changelog: 0.16.2...0.17.0