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

Benchmarking #20

Open

FardaleM opened this issue Nov 28, 2023 · 0 comments

Collaborator

FardaleM commented Nov 28, 2023 •

edited

Loading

To understand better the behaviour of the program, several parts of the program should be benchmarked.

the complete unification procedure
each part of the unification loop
- the normalisation
- the solver
- the reinjection of the solution
the Hullot tree

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