There is a newer version of the record available.

Published February 21, 2024 | Version 14.27
Software Open

moves-rwth/carl-storm: 14.27

Authors/Creators

  • 1. Eindhoven University of Technology
  • 2. Radboud University
  • 3. Theory of Hybrid Systems - RWTH Aachen University
  • 4. RWTH Aachen University
  • 5. @moves-rwth
  • 6. Ex TU Dresden, Germany
  • 7. Runtime Verification

Description

What's Changed

  • CMake: better version parsing for CLN by @volkm in https://github.com/moves-rwth/carl-storm/pull/22

Full Changelog: https://github.com/moves-rwth/carl-storm/compare/14.26...14.27

Files

moves-rwth/carl-storm-14.27.zip

Files (816.7 kB)

Name Size Download all
md5:b649526acbfeea379c0d8a7352f3ff1e
816.7 kB Preview Download

Additional details

Related works

Is supplement to
Software: https://github.com/moves-rwth/carl-storm/tree/14.27 (URL)