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

[TC] fix compilation of instances in the ctx #640

Merged

gares merged 2 commits into LPCIC:master from FissoreD:tc-fix-ctx-compilation

Jun 20, 2024

Collaborator

FissoreD commented Jun 19, 2024

Instances in the context are not recompiled at each call to the TC.Solver tactic
Mode-check is done before ctx compilation

The total elpi runtime in stdpp is now about 3 times faster !

FissoreD added 2 commits

June 19, 2024 23:10


          [TC] fix: stop compiling ctx instance twice on solve calls

19af480


          [TC] : mode-check before ctx compilation

8baa4dd

FissoreD added TC override enhancement and removed enhancement labels

gares merged commit 44a0da8 into LPCIC:master

18 of 19 checks passed

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

Labels