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/
Apache License 2.0
16 stars 3 forks source link

Disabling filters when in ML viewer mode #51

Closed oskari1 closed 6 months ago

oskari1 commented 6 months ago

Replaces #40