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/
8 stars 3 forks source link

Add worker #14

Closed JonasAlaif closed 7 months ago

JonasAlaif commented 7 months ago

Adds the basic framework for executing things in a separate worker thread. Using this, one can make the gui remain responsive while e.g. graphviz is running.