Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Support for C++20 #286

Closed
1 of 2 tasks
sjunges opened this issue Sep 2, 2022 · 3 comments · Fixed by #598
Closed
1 of 2 tasks

Support for C++20 #286

sjunges opened this issue Sep 2, 2022 · 3 comments · Fixed by #598
Milestone
1.10

Comments

@sjunges
Copy link
Contributor

sjunges commented Sep 2, 2022 •
edited
Loading

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

Known problems:
@sjunges sjunges mentioned this issue Sep 4, 2022
Merged
@sjunges sjunges mentioned this issue Nov 26, 2023
Merged
@tquatmann
Copy link
Member

I'm addressing further compilation issues in #447

@tquatmann
Copy link
Member

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.

@sjunges
Copy link
Contributor Author

sjunges commented May 22, 2024

On my machine, there seem to be problems in carl formula that may no longer be relevant after resolving #452

@sjunges sjunges added this to the 1.10 milestone May 22, 2024
@volkm volkm mentioned this issue Aug 23, 2024
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
1.10
Development

Successfully merging a pull request may close this issue.

Bump build system volkm/storm
2 participants
@sjunges @tquatmann