v14.27 - Githubissues

moves-rwth / carl-storm

The Computer ARithmetic and Logic library for the Storm model checker

Other

4 stars 3 forks source link

Closed volkm closed 8 months ago

volkm commented 8 months ago

Bump version to 14.27 which incorporates the fixed version parsing for the latest CLN version

sjunges commented 8 months ago

LGTM

volkm commented 8 months ago

Thanks!