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

Fix most bugs with the transitive equality stuff #25

Closed JonasAlaif closed 5 months ago

JonasAlaif commented 5 months ago

Replaces https://github.com/viperproject/axiom-profiler-2/pull/24, fixes https://github.com/viperproject/axiom-profiler-2/issues/22 Turns out there were quite a few other issues.