search

viperproject / axiom-profiler-2

The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
https://viperproject.github.io/axiom-profiler-2/
15 stars 3 forks source link

Manual cleanup #48

Closed JonasAlaif closed 4 months ago

JonasAlaif commented 4 months ago

Use the following command when rebasing on top of this, there may be merge conflicts when doing that unfortunately

git cherry-pick 60f0d2d69cc8bb39c732d6b3a5e9f77b248a5ccb