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

Fix neighbors_directed and revert rustc to `1.81` #67

Closed JonasAlaif closed 1 month ago

JonasAlaif commented 1 month ago

Replaces https://github.com/viperproject/axiom-profiler-2/pull/52, I couldn't reproduce the issue from that PR but this should also fix it if it exists.