viperproject/axiom-profiler-2 issues and pull requests

#70 - Optimise memory usage

Pull Request - State: closed - Opened by JonasAlaif 15 days ago

#69 - Fix performance issue related to analysis sort

Pull Request - State: closed - Opened by JonasAlaif 28 days ago

#68 - Clean up ML code

Pull Request - State: open - Opened by JonasAlaif 28 days ago

#67 - Fix neighbors_directed and revert rustc to `1.81`

Pull Request - State: closed - Opened by JonasAlaif 29 days ago

#66 - Separate proof steps from terms

Pull Request - State: closed - Opened by JonasAlaif 30 days ago

#65 - Fix vertival.png image link

Pull Request - State: closed - Opened by JonasAlaif 3 months ago

#64 - Localisation of non-quantifier dependencies

Issue - State: open - Opened by kiranandcode 3 months ago

#63 - Wrong Blame Dependencies and Matched Terms

Issue - State: open - Opened by cschmitter 4 months ago

#62 - Updated instructions for Boogie

Pull Request - State: closed - Opened by marcoeilers 5 months ago

#61 - CDCL docs

Pull Request - State: open - Opened by oskari1 5 months ago

#60 - Sanitize names for html

Pull Request - State: closed - Opened by JonasAlaif 5 months ago

#59 - Compose Expressions?

Issue - State: open - Opened by Philipp15b 5 months ago

#58 - Tutorials

Pull Request - State: closed - Opened by oskari1 5 months ago

#57 - Unsanitized variable and function names being converted to html

Issue - State: closed - Opened by cschmitter 5 months ago

#56 - Request: tabular data for quantifier instantiations

Issue - State: open - Opened by jwkai 5 months ago - 1 comment

#55 - CDCL Graph

Pull Request - State: open - Opened by oskari1 5 months ago

#54 - Proof Steps Graph

Pull Request - State: open - Opened by oskari1 6 months ago

#53 - added subcommand to track statistics of a z3 log file

Pull Request - State: closed - Opened by kiranandcode 6 months ago - 1 comment

#52 - Efficient `RawInstGraph::neighbors_directed`

Pull Request - State: closed - Opened by oskari1 6 months ago

#51 - Disabling filters when in ML viewer mode

Pull Request - State: closed - Opened by oskari1 6 months ago

#50 - Helper binary for extracting axiom dependencies

Pull Request - State: closed - Opened by JonasAlaif 6 months ago - 5 comments

#49 - Move analysis to separate directory

Pull Request - State: closed - Opened by JonasAlaif 6 months ago

#48 - Manual cleanup

Pull Request - State: closed - Opened by JonasAlaif 6 months ago

#47 - Clean up with automated tools

Pull Request - State: closed - Opened by JonasAlaif 6 months ago

#46 - Add display configuration flags

Pull Request - State: closed - Opened by JonasAlaif 6 months ago

#45 - Helper binary for extracting axiom dependencies

Pull Request - State: closed - Opened by kiranandcode 6 months ago - 1 comment

#44 - Fix high degree filter and improve reconnect

Pull Request - State: closed - Opened by JonasAlaif 6 months ago

#43 - Proof Steps Graph

Pull Request - State: closed - Opened by oskari1 6 months ago - 1 comment

#42 - Proof Steps Graph

Pull Request - State: closed - Opened by oskari1 6 months ago

#41 - removed patch number from rust channel

Pull Request - State: closed - Opened by cschmitter 6 months ago

#40 - Disabling filters when in ML viewer mode

Pull Request - State: closed - Opened by oskari1 6 months ago - 1 comment

#39 - Term index toggle missing in canary version

Issue - State: closed - Opened by oskari1 6 months ago - 1 comment

#38 - Add display configuration flags

Pull Request - State: closed - Opened by JonasAlaif 6 months ago