moves-rwth/carl-storm: 14.34

Zenodo (CERN European Organization for Nuclear Research)

Abstract

What's Changed Migrate to newer Mac runners by @volkm in https://github.com/moves-rwth/carl-storm/pull/97 CI: added macOS 26 runner by @volkm in https://github.com/moves-rwth/carl-storm/pull/98 Workaround for gtest issue on Clang 21 by @volkm in https://github.com/moves-rwth/carl-storm/pull/101 Fixed compiler warning on catch by @volkm in https://github.com/moves-rwth/carl-storm/pull/102 Fixed typo in CI by @volkm in https://github.com/moves-rwth/carl-storm/pull/104 Removed std::move by @volkm in https://github.com/moves-rwth/carl-storm/pull/108 Updated Dockerfile for Alpine by @volkm in https://github.com/moves-rwth/carl-storm/pull/110 problem with unused variable by @sjunges in https://github.com/moves-rwth/carl-storm/pull/111 Introduce CARL_EIGEN_GIT_TAG to set Eigen version by @volkm in https://github.com/moves-rwth/carl-storm/pull/115 Remove support for shipped CLN and GiNaC by @volkm in https://github.com/moves-rwth/carl-storm/pull/114 Version 14.34 by @volkm in https://github.com/moves-rwth/carl-storm/pull/116 Full Changelog: https://github.com/moves-rwth/carl-storm/compare/14.33...14.34

Authors 21

1. Gereon Kremer
2. Matthias Volk

   Eindhoven University of Technology

   Affiliation as printed

   Eindhoven University of Technology

3. Sebastian Junges

   Radboud University Nijmegen

   Affiliation as printed

   Radboud University

4. Stefan Schupp
5. Florian Corzilius Aachen Theory of Hybrid Systems

   RWTH Aachen University

   Affiliation as printed

   Theory of Hybrid Systems - RWTH Aachen University

6. Tobias Winkler
7. MazZzinatus
8. Bene
9. Netz
10. Andreas Krüger
11. BPag
12. Christian Hensel
13. MartaGr
14. Johannes Neuhaus
15. WorldSEnder
16. Tim Quatmann Aachen @moves-rwth

    RWTH Aachen University

    Affiliation as printed

    @moves-rwth

17. J. Berger Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen University

18. Tom Janson
19. Joachim Klein

    Technische Universität Dresden

    Affiliation as printed

    Ex TU Dresden, Germany

20. Linus
21. Raoul

    Runtime Verification (United States)

    Affiliation as printed

    Runtime Verification