What's Changed

🏕 Features

• Unions of PlutusData and BuiltinData by @SCMusson in #397
• Feat/migrate workflow by @nielstron in #406
• Bug fix, Recursion Error #369 by @SCMusson in #404
• Fractions functionality issue #395 by @SCMusson in #403

👒 Dependencies

• Bump cryptography from 43.0.0 to 43.0.1 by @dependabot in #407
• Bump hypothesis from 6.111.2 to 6.112.0 by @dependabot in #409
• Bump actions/checkout from 3 to 4 by @dependabot in #412
• Bump hypothesis from 6.112.5 to 6.113.0 by @dependabot in #413

Full Changelog: 0.23.1...0.24.0

Bump to support Chang compatible pycardano!

Full Changelog: 0.23.0...0.23.1

What's Changed

🏕 Features

• Add bytes.fromhex by @nielstron in #393
• Basic support for class methods by @SCMusson in #389
• Move to uplc>=1.0.0 by @SCMusson in #394

👒 Dependencies

• Bump actions/setup-python from 2 to 5 by @dependabot in #392
• Bump coverage from 6.5.0 to 7.4.4 by @dependabot in #385
• Bump actions/checkout from 2 to 4 by @dependabot in #391

Full Changelog: 0.22.0...0.23.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

Full Changelog: 0.21.1...0.21.2

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

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

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

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

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