Do not bail on `fcmp ord` (#319)

Empty commit to fix CI (#292)

Limit amount of temporary variables (#288)

* Reduce amount of temporary variables

* Fix bug in CBR

* Fix bug in RBR

* Only apply to `alloca`s

* Refactor CBR

* Refactor RBR

* Use heavy-handed approach when proving

* Maybe not quite so heavy-handed

* Address review

Fix cmake presets again

CI: Use single packaging job, add changelog support (#99)

CMake: Add packaging support (#96)

* CMake: Add packaging support

* CI: Upload artifacts, auto-create releases from tags

* Build: Lock the cxx-common version