Skip to content

Releases: moves-rwth/carl-storm

14.28

08 Jul 13:06
14.28
Compare
Choose a tag to compare

What's Changed

  • Perform a hash_combine in getHash() of FactorizedPolynomial by @linusheck in #24
  • Dependabot to automatically update Github actions by @volkm in #29
  • CI: limit trigger for push to master branch by @volkm in #28
  • Update buildtest.yml by @sjunges in #26
  • Fixes #27 and avoid expensive header includes when cocoa is not present by @sjunges in #34
  • Compile with flag march=native by default. by @volkm in #35
  • CI action to create Docker releases by @volkm in #36
  • Set CMake policy CMP0135 (fixes #11) by @volkm in #37
  • CI job with minimal dependencies by @volkm in #40

Full Changelog: 14.27...14.28

14.27

21 Feb 09:45
1272985
Compare
Choose a tag to compare

What's Changed

  • CMake: better version parsing for CLN by @volkm in #22

Full Changelog: 14.26...14.27

14.26

11 Dec 14:29
58e3eca
Compare
Choose a tag to compare

What's Changed

Full Changelog: 14.25...14.26

14.25

02 May 07:44
Compare
Choose a tag to compare

What's Changed

  • Header include for linux by @sjunges in #7
  • Added CI support by @volkm in #6
  • Set default CMake options used by Storm by @volkm in #8
  • Added Dockerfile and updated CI by @volkm in #9

Full Changelog: 14.24...14.25

14.24

03 Apr 09:56
Compare
Choose a tag to compare

What's Changed

  • Extended README by @volkm in #4
  • Stripping and support for forward declarations by @sjunges in #5

Full Changelog: 14.23...14.24

14.23

27 Mar 15:22
Compare
Choose a tag to compare

Forked the original master14 branch into a separate project. No semantic changes yet.