Skip to content
This repository has been archived by the owner on Feb 13, 2025. It is now read-only.

Issues: viperproject/axiom-profiler

20 Open 11 Closed
20 Open 11 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

"in this draft paper" pdf link update
#41 opened Jan 13, 2024 by jmullee
Failure inside the docker
#40 opened Sep 26, 2023 by rahxephon89
1
Show original terms
#37 opened Jun 1, 2022 by Aurel300
Does not work on z3 logs generated using Silicon
#36 opened Mar 9, 2022 by Jankoekenpan
2
Out of memory exception on small files
#35 opened Feb 22, 2022 by bobismijnnaam
1
Crash whith Mono when loading large log files bug Something isn't working
#33 opened Aug 26, 2021 by fpoli
2
Missing instantiation of inner/nested quantifier
#27 opened May 26, 2020 by mschwerhoff
Exception: Cycle in causality graph
#26 opened May 26, 2020 by mschwerhoff
1
Large Text font size isn't always applied bug Something isn't working minor
#18 opened Nov 18, 2019 by viper-admin
Hiding Term Identifiers doesn't always work in a matching loop explanation bug Something isn't working major
#17 opened Nov 18, 2019 by viper-admin
Explain Path feature sometimes chooses a very small subset of the "obvious" path bug Something isn't working major
#16 opened Nov 18, 2019 by viper-admin
Enabled sending bug reports for confidential files by adding the ability to obfuscate z3 smtlib files to the SMT-COMP scrambler minor proposal
#14 opened Jul 23, 2019 by viper-admin
2
Connecting Inner and Outer Quantifiers (Nesting) major proposal
#10 opened Feb 27, 2019 by viper-admin
Tracking of Backtracking During SMT Run enhancement New feature or request major
#9 opened Feb 27, 2019 by viper-admin
Prefix Loading enhancement New feature or request minor
#8 opened Feb 27, 2019 by viper-admin
Smart Printing major proposal
#7 opened Feb 27, 2019 by viper-admin
1
Mono Interface Issues bug Something isn't working minor
#6 opened Feb 27, 2019 by viper-admin
Handling of Rewrite Steps bug Something isn't working major
#5 opened Feb 27, 2019 by viper-admin
4
AxiomProfiler should emit a version number with Usage message minor proposal
#3 opened Nov 20, 2018 by viper-admin
2
Crash, potentially related to incremental solving (push-pop blocks) bug Something isn't working major
#1 opened Sep 26, 2016 by viper-admin
ProTip! no:milestone will show everything without a milestone.