Skip to content

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.

Sign up for GitHub

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

Clear current search query, filters, and sorts
13 Open 47 Closed
13 Open 47 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

Outputs differ between Silicon and Carbon enhancement New feature or request minor
#366 opened Jan 21, 2019 by viper-admin
2
bad recursive function definition not (apparently) available enhancement New feature or request minor z3
#330 opened May 8, 2018 by viper-admin
3
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
block_array examples exhibit unstable Z3 performance - potentially related to non-linear arithmetic enhancement New feature or request examples minor
#266 opened Feb 1, 2017 by viper-admin
1
Heap-dependent triggers are not as restrictive as expected bug Something isn't working minor
#204 opened Dec 18, 2015 by viper-admin
2
Fractions/predicates example consumes too many permissions bug Something isn't working magic-wands minor
#186 opened Dec 3, 2015 by viper-admin
2
Silicon hangs if smt code sent to Z3 isn't indented bug Something isn't working minor
#145 opened Jun 4, 2015 by viper-admin
2
Example unionfind.sil doesn't verify minor task
#133 opened Feb 10, 2015 by viper-admin
Non-null assumptions from predicates unfolding predicates inside functions enhancement New feature or request minor
#112 opened Aug 19, 2014 by viper-admin
3
Disjunctive aliasing constraints and permissions enhancement New feature or request minor more-complete-exhale
#72 opened Feb 21, 2014 by viper-admin
17
Finding predicates with arguments in the heap enhancement New feature or request minor more-complete-exhale
#36 opened Jul 25, 2013 by viper-admin
6
New objects and non-aliasing information enhancement New feature or request minor
#29 opened May 24, 2013 by viper-admin
5
Permission incompletenesses enhancement New feature or request incompleteness minor permissions
#16 opened Apr 15, 2013 by viper-admin
9
ProTip! no:milestone will show everything without a milestone.