Published May 2, 2023
| Version 14.25
Software
Open
moves-rwth/carl-storm: 14.25
Authors/Creators
- 1. University of Twente, previously @moves-rwth
- 2. Radboud University
- 3. TU Wien CPS-group
- 4. Theory of Hybrid Systems - RWTH Aachen University
- 5. RWTH Aachen University
- 6. @moves-rwth
- 7. Ex TU Dresden, Germany
- 8. Runtime Verification
Description
What's Changed
- Header include for linux by @sjunges in https://github.com/moves-rwth/carl-storm/pull/7
- Added CI support by @volkm in https://github.com/moves-rwth/carl-storm/pull/6
- Set default CMake options used by Storm by @volkm in https://github.com/moves-rwth/carl-storm/pull/8
- Added Dockerfile and updated CI by @volkm in https://github.com/moves-rwth/carl-storm/pull/9
Full Changelog: https://github.com/moves-rwth/carl-storm/compare/14.24...14.25
Files
moves-rwth/carl-storm-14.25.zip
Files
(845.3 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:2b25d42fd968cc9c173cb1fe31221744
|
845.3 kB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/moves-rwth/carl-storm/tree/14.25 (URL)