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
12 Open 28 Closed
12 Open 28 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

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
Incompleteness with wands and abstract functions incompleteness magic-wands
#496 opened Jun 5, 2020 by mschwerhoff
2
Corner-case incompleteness with vacuous magic wand incompleteness magic-wands
#487 opened Apr 8, 2020 by mschwerhoff
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
3
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
1
Applying expressions potentially unsound bug Something isn't working magic-wands major unsoundness
#307 opened Sep 25, 2017 by viper-admin
Support Magic Wand Snapshots for Wands That Were Inhaled enhancement New feature or request magic-wands major
#304 opened Sep 6, 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
Self-framingness checks of wands are made too eagerly bug Something isn't working magic-wands major
#201 opened Dec 4, 2015 by viper-admin
6
examples\list_insert_tmp.sil doesn't verify bug Something isn't working magic-wands major
#190 opened Dec 3, 2015 by viper-admin
1
Fractions/predicates example consumes too many permissions bug Something isn't working magic-wands minor
#186 opened Dec 3, 2015 by viper-admin
2
ProTip! Add no:assignee to see everything that’s not assigned.