stormchecker/carl-storm: 14.35

Zenodo (CERN European Organization for Nuclear Research)

Abstract

Repository moved to stormchecker/carl-storm All CMake options start with CARL_X Added CMake option CARL_BUILD_TESTS and removed CARL_EXCLUDE_TESTS_FROM_ALL Removed unused code: addons, examples, CMakeOptions.cpp/h Only set absolute installation path when top-level project Fixed some compiler warnings Enabled automatic code formatting

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