viperproject axiom-profiler issues

viperproject / axiom-profiler

The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).

Other

32 stars 4 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

"in this draft paper" pdf link update

#41 jmullee opened 8 months ago
0
Failure inside the docker

#40 rahxephon89 opened 1 year ago
1
Fix version comparison

#39 ksqsf opened 1 year ago
0
Enable CI.

#38 vakaras closed 2 years ago
0
Show original terms

#37 Aurel300 opened 2 years ago
0
Does not work on z3 logs generated using Silicon

#36 Jankoekenpan opened 2 years ago
2
Out of memory exception on small files

#35 bobismijnnaam opened 2 years ago
1
Add links to the wiki of Dafny and FStar

#34 fpoli closed 2 years ago
0
Crash whith Mono when loading large log files

#33 fpoli opened 3 years ago
2
Add Docker image and instructions to run from Mac

#32 fpoli closed 3 years ago
0
Subgraph

#31 TigerThePro opened 3 years ago
2
Update readme

#30 fpoli closed 3 years ago
0
show term ID is now responsive in explain path

#29 TigerThePro closed 3 years ago
0
show term ID is now responsive in explain path

#28 TigerThePro closed 3 years ago
0
Missing instantiation of inner/nested quantifier

#27 mschwerhoff opened 4 years ago
0
Exception: Cycle in causality graph

#26 mschwerhoff opened 4 years ago
1
Various small fixes

#25 viper-admin closed 3 years ago
1
Added a script that generates a single Z3 log file from a Viper program (via Silicon).

#22 viper-admin closed 1 day ago
0
Large Text font size isn't always applied

#18 viper-admin opened 4 years ago
0
Hiding Term Identifiers doesn't always work in a matching loop explanation

#17 viper-admin opened 4 years ago
0
Explain Path feature sometimes chooses a very small subset of the "obvious" path

#16 viper-admin opened 4 years ago
0
"Array dimension exceeded" error on loading log file

#15 viper-admin closed 4 years ago
2
Enabled sending bug reports for confidential files by adding the ability to obfuscate z3 smtlib files to the SMT-COMP scrambler

#14 viper-admin opened 5 years ago
2
Version 4.8.6 of z3 not compatible with Axiom Profiler

#13 viper-admin closed 4 years ago
2
Issues concerning CLI inputs for boogie and z3.

#12 viper-admin closed 4 years ago
2
Incorrect usage message/help page: passing a Boogie file to AxiomProfiler does not work

#11 viper-admin closed 4 years ago
3
Connecting Inner and Outer Quantifiers (Nesting)

#10 viper-admin opened 5 years ago
0
Tracking of Backtracking During SMT Run

#9 viper-admin opened 5 years ago
0
Prefix Loading

#8 viper-admin opened 5 years ago
0
Smart Printing

#7 viper-admin opened 5 years ago
1
Mono Interface Issues

#6 viper-admin opened 5 years ago
0
Handling of Rewrite Steps

#5 viper-admin opened 5 years ago
4
Variable Names for Nested Quantifiers

#4 viper-admin closed 4 years ago
2
Support for Theory Solvers, MBQI

#24 viper-admin closed 4 years ago
0
AxiomProfiler should emit a version number with Usage message

#3 viper-admin opened 5 years ago
2
Exception: "Expected pattern but found Term"

#2 viper-admin closed 4 years ago
13
Small Features and Adjustments

#23 viper-admin closed 4 years ago
1
Improved Presentation of Matching Loops

#21 viper-admin closed 4 years ago
33
Removed the copy task that causes the build to fail on Linux.

#20 viper-admin closed 4 years ago
1
Crash, potentially related to incremental solving (push-pop blocks)

#1 viper-admin opened 8 years ago
0
Added Ubuntu instructions to README.

#19 viper-admin closed 4 years ago
3