-
Notifications
You must be signed in to change notification settings - Fork 37
Issues: viperproject/silicon
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Trigger warning might cause slow and failing verification
bug
Something isn't working
performance
#857
opened Jun 26, 2024 by
mschwerhoff
Reference non-aliasing only assertable after a fold, but not before
bug
Something isn't working
incompleteness
#616
opened May 19, 2022 by
mschwerhoff
Injectivity check not performed inside a magic wand
bug
Something isn't working
magic-wands
quantified-permissions
#614
opened May 16, 2022 by
fpoli
Unsound package algorithm for magic wands
bug
Something isn't working
critical
magic-wands
#573
opened Jul 28, 2021 by
tdardinier
Incorrect translation (function, quantifiers, heap-dep. triggers) causes Z3 errors
bug
Something isn't working
functions
#486
opened Apr 7, 2020 by
mschwerhoff
Missing axiom(s) in the axiomatization of sets
bug
Something isn't working
major
#405
opened Dec 13, 2019 by
viper-admin
Incompleteness when unrolling a loop too many times
bug
Something isn't working
incompleteness
major
#386
opened Jun 4, 2019 by
viper-admin
Sequence-related incompletenesses
bug
Something isn't working
major
#380
opened May 16, 2019 by
viper-admin
Silicon instantiates axioms when trigger terms are in the wrong state
bug
Something isn't working
major
#371
opened Mar 8, 2019 by
viper-admin
Silicon's verification never ends in some Viper tutorial's examples
bug
Something isn't working
major
#364
opened Jan 18, 2019 by
viper-admin
Unexpected verification failure with heap-dependent triggers and old
bug
Something isn't working
major
#362
opened Nov 25, 2018 by
viper-admin
QP domain not axiomatised for triggers
bug
Something isn't working
major
#361
opened Nov 24, 2018 by
viper-admin
While statement might fail in manually encoded CFG
bug
Something isn't working
major
#356
opened Sep 28, 2018 by
viper-admin
Function postconditions available too late
bug
Something isn't working
functions
incompleteness
major
#355
opened Sep 26, 2018 by
viper-admin
Mentioning recursive function body in its postcondition leads to a matching loop
bug
Something isn't working
major
#350
opened Jul 25, 2018 by
viper-admin
A heap-dependent function can lead to a matching loop without any explicit quantifiers
bug
Something isn't working
major
performance
#349
opened Jul 25, 2018 by
viper-admin
Verification fails with java.util.NoSuchElementException: head of empty list
bug
Something isn't working
major
#341
opened May 31, 2018 by
viper-admin
Packaging a wand leads to having an inconsistent state causing unsoundness
bug
Something isn't working
magic-wands
major
unsoundness
#338
opened May 22, 2018 by
viper-admin
Choice of footprint of magic wand is inconsistent with ECOOP15 paper
bug
Something isn't working
magic-wands
major
#337
opened May 22, 2018 by
viper-admin
Potential unsoundness when calling a function requiring QPs under a quantifier
bug
Something isn't working
major
quantified-permissions
#327
opened May 5, 2018 by
viper-admin
Applying expressions potentially unsound
bug
Something isn't working
magic-wands
major
unsoundness
#307
opened Sep 25, 2017 by
viper-admin
Using Magic Wands in Fractional Predicates Results in Unsoundnesses
bug
Something isn't working
magic-wands
minor
#303
opened Sep 6, 2017 by
viper-admin
Incompletenesses in various examples (to investigate)
bug
Something isn't working
major
#301
opened Aug 10, 2017 by
viper-admin
Matrix Addition example (encoded via domains) does not verify
bug
Something isn't working
major
z3
#284
opened May 8, 2017 by
viper-admin
Potential problem with using partial functions as quantifier triggers
bug
Something isn't working
major
#280
opened Apr 4, 2017 by
viper-admin
Previous Next
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.