issues
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
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
CDCL docs
#61
oskari1
opened
5 days ago
0
Sanitize names for html
#60
JonasAlaif
closed
1 day ago
0
Compose Expressions?
#59
Philipp15b
opened
1 week ago
0
Tutorials
#58
oskari1
closed
5 days ago
0
Unsanitized variable and function names being converted to html
#57
cschmitter
closed
1 day ago
0
Request: tabular data for quantifier instantiations
#56
jwkai
opened
1 week ago
1
CDCL Graph
#55
oskari1
opened
1 week ago
0
Proof Steps Graph
#54
oskari1
opened
4 weeks ago
0
added subcommand to track statistics of a z3 log file
#53
Gopiandcode
opened
4 weeks ago
0
Efficient `RawInstGraph::neighbors_directed`
#52
oskari1
opened
4 weeks ago
0
Disabling filters when in ML viewer mode
#51
oskari1
closed
1 month ago
0
Helper binary for extracting axiom dependencies
#50
JonasAlaif
closed
1 month ago
5
Move analysis to separate directory
#49
JonasAlaif
closed
1 month ago
0
Manual cleanup
#48
JonasAlaif
closed
1 month ago
0
Clean up with automated tools
#47
JonasAlaif
closed
1 month ago
0
Add display configuration flags
#46
JonasAlaif
closed
1 month ago
0
Helper binary for extracting axiom dependencies
#45
Gopiandcode
closed
1 month ago
1
Fix high degree filter and improve reconnect
#44
JonasAlaif
closed
1 month ago
0
Proof Steps Graph
#43
oskari1
closed
4 weeks ago
1
Proof Steps Graph
#42
oskari1
closed
1 month ago
0
removed patch number from rust channel
#41
cschmitter
closed
1 month ago
0
Disabling filters when in ML viewer mode
#40
oskari1
closed
1 month ago
1
Term index toggle missing in canary version
#39
oskari1
closed
1 month ago
1
Add display configuration flags
#38
JonasAlaif
closed
1 month ago
0
ML search with Top Bar clicker
#37
oskari1
closed
1 month ago
0
Switch to using `nonmax` crate
#36
JonasAlaif
closed
2 months ago
0
Make `serde` and `mem_dbg` optional
#35
JonasAlaif
closed
2 months ago
0
Add flags page
#34
JonasAlaif
closed
2 months ago
0
Reconnect stuck in sequences-18.log
#33
oskari1
opened
2 months ago
1
Use `MatDialog` for large graph warning
#32
JonasAlaif
closed
2 months ago
0
Fix some UI issues
#31
JonasAlaif
closed
2 months ago
0
More performant storage of transitive edges
#30
JonasAlaif
closed
2 months ago
0
Enable drag and drop to open file
#29
JonasAlaif
closed
2 months ago
0
Add omnibox features
#28
JonasAlaif
closed
2 months ago
0
Documentation on how to view Quantifier Instantiations
#27
Gopiandcode
closed
2 months ago
3
ML search (rebased)
#26
oskari1
closed
1 month ago
0
Fix most bugs with the transitive equality stuff
#25
JonasAlaif
closed
2 months ago
0
Debugging equality explanations
#24
oskari1
closed
2 months ago
0
ML search
#23
oskari1
closed
2 months ago
0
Reusing equality explanations
#22
oskari1
closed
2 months ago
0
Stuck when applying "Hide all but 10 most expensive"
#21
oskari1
closed
2 months ago
1
Equality nodes 2
#20
JonasAlaif
closed
3 months ago
0
Equality nodes with cg and lit
#19
oskari1
closed
3 months ago
0
Matching loop graph
#18
JonasAlaif
closed
2 months ago
0
Implemented first step of matching loop graph creation, still buggy
#17
JonasAlaif
closed
5 months ago
0
Term generalisation with shared parser
#16
oskari1
closed
5 months ago
0
graphviz settings to improve performance
#15
JonasAlaif
closed
7 months ago
0
Add worker
#14
JonasAlaif
closed
7 months ago
0
Some comments
#13
JonasAlaif
closed
7 months ago
0
Fix parsing issues and a performance issue
#12
JonasAlaif
closed
7 months ago
1
Next