Skip to content

0.21.0

Compare
Choose a tag to compare
@github-actions github-actions released this 03 Apr 08:06
· 143 commits to main since this release

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

Full Changelog: 0.20.0...0.21.0