Disabling filters when in ML viewer mode

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/

8 stars 3 forks source link

Disabling filters when in ML viewer mode #40

Closed oskari1 closed 1 month ago

oskari1 commented 1 month ago

As discussed in the meeting of the 16.05.2024, I implemented the feature to disable the filters when the user enters the ML viewer mode. I also moved the formatting code to the client (no longer in the smt-log-parser) and moved the ml_viewer_mode: bool flag to Configuration as opposed to PersistentConfiguration.

JonasAlaif commented 1 month ago

@oskari1 could you rebase this PR: the configuration context has been split up into two contexts: a persistent "Configuration" one and a "State" one for everything else