storm icon indicating copy to clipboard operation
storm copied to clipboard

Published 20 hours ago • verified publisher icon moves-rwth

Support for C++20

Open sjunges opened this issue 2 years ago • 3 comments

As a mid-term goal, it would be good to check whether storm can be compiled with C++20.

Known problems:

  • [x] ModernJson, see https://github.com/moves-rwth/storm/issues/284
  • [ ] Run tests

sjunges avatar Sep 02 '22 18:09 sjunges

I'm addressing further compilation issues in #447

tquatmann avatar Nov 28 '23 11:11 tquatmann

I have fixed (or silenced) a couple of warnings we get in c++20 mode here #447 and via the update of parallel hashmap in #448.

My suggestion is to merge these (without the actual switch to c++20), roll out a new release soon, and then do the switch to c++20.

tquatmann avatar Dec 01 '23 10:12 tquatmann

On my machine, there seem to be problems in carl formula that may no longer be relevant after resolving https://github.com/moves-rwth/storm/issues/452

sjunges avatar May 22 '24 20:05 sjunges