search

moves-rwth / carl-storm

The Computer ARithmetic and Logic library for the Storm model checker
Other
4 stars 3 forks source link

Fixed cmake export #20

Closed volkm closed 10 months ago

volkm commented 10 months ago

CMake 3.15 does not export to package registry by default (see here). We fixed this in Storm and now also in carl-storm.

sjunges commented 10 months ago

LGTM, many thanks