search

moves-rwth / carl-storm

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

Interval operations #14

Closed sjunges closed 1 year ago

sjunges commented 1 year ago

Necessary changes for https://github.com/moves-rwth/storm/pull/409

sjunges commented 1 year ago

ah, so the history is strange but the diffs are ok. If we squash and merge, everything should be ok.