storm icon indicating copy to clipboard operation
storm copied to clipboard

Published 20 hours ago • verified publisher icon moves-rwth

Consistency wrt int types

Open sjunges opened this issue 2 years ago • 0 comments

We still seem to use the fast64 style integers, which I think we abandoned quite a while ago. Would it be good to do a pass over the code and remove these? Would it also make sense to add these rules to the CI?

sjunges avatar Jul 28 '22 14:07 sjunges