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

refactoring towards compile speed #473

Open

sjunges wants to merge 1 commit into moves-rwth:master from sjunges:refactoringforspeed

Contributor

sjunges commented Dec 17, 2023

No description provided.


refactoring

d0cbef6

Contributor

volkm commented Dec 19, 2023

LGTM but there is an #include <carl/formula/Formula.h> missing, see CI.

Contributor Author

sjunges commented Dec 19, 2023

Removing that include is (one of) the point(s) of this PR. So i have to think a bit more.

Contributor Author

sjunges commented May 8, 2024

@linusheck Could you eventually look into this? THat would be great

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment