Skip to content

Issues: viperproject/voila

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

53 Open 64 Closed
53 Open 64 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
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

BagStack examples are work in progress major task
#107 opened Feb 13, 2020 by viper-admin
@mschwerhoff
Incompleteness in TLock_alternative1.vl: open_region unexpectedly fails bug Something isn't working major
#106 opened Feb 13, 2020 by viper-admin
2
Incompleteness in counter.vl, caused by using forperm instead of QPs in the encoding enhancement New feature or request major
#105 opened Feb 13, 2020 by viper-admin
1
Incompleteness in IncDec-variants02.vl, probably related to atomicity contexts and diamond resources bug Something isn't working major
#104 opened Feb 13, 2020 by viper-admin
MakeAtomic consuming guard prevents knowing that environment can't hold it enhancement New feature or request major
#103 opened Feb 13, 2020 by viper-admin
1
Incompleteness with guard sets bug Something isn't working major
#102 opened Feb 13, 2020 by viper-admin
1
Guards with arguments bound in same assertion incorrectly translated bug Something isn't working major
#101 opened Feb 12, 2020 by viper-admin
Generated Viper code "perm under forperm" currently illegal enhancement New feature or request major
#99 opened Jan 28, 2020 by viper-admin
Update evaluation suite to new syntax major task
#93 opened Jan 11, 2020 by viper-admin
@mschwerhoff
1
Unnecessary Viper method body for primitive-atomic procedures enhancement New feature or request major
#91 opened Dec 16, 2019 by viper-admin
Automatically duplicate region assertions enhancement New feature or request major
#89 opened Dec 15, 2019 by viper-admin
Encoding Caper's CounterClient is work in progress major task
#88 opened Dec 14, 2019 by viper-admin
@Felalolf
3
Revise a work-around in the solution to issue #85 [Code Quality] enhancement New feature or request minor
#87 opened Dec 12, 2019 by viper-admin
@Felalolf
Update examples/tests to use recently added syntax for instantiating new structs and regions major task
#86 opened Dec 11, 2019 by viper-admin
8
Test issue33b unsoundly succeeds bug Something isn't working major
#83 opened Jul 14, 2019 by viper-admin
3
Support for procedures with multiple interference clauses? major task
#79 opened Jan 2, 2019 by viper-admin
Horrible performance and failing examples with recent Voila and Silicon bug Something isn't working major
#77 opened Nov 24, 2018 by viper-admin
3
Example 'mcas.vl' no longer verifies bug Something isn't working major
#75 opened Nov 24, 2018 by viper-admin
1
Store region parameter and guard parameter in variables inbetween region inspections bug Something isn't working major
#71 opened Sep 16, 2018 by viper-admin
Generate interference inference only when necessary bug Something isn't working major
#69 opened Sep 16, 2018 by viper-admin
1
Reduce the number of stabilizations enhancement New feature or request minor
#68 opened Sep 16, 2018 by viper-admin
Replace stabilization when opening a region with havocing enhancement New feature or request minor
#66 opened Sep 16, 2018 by viper-admin
1
Support macros with out-arguments enhancement New feature or request minor
#63 opened Mar 14, 2018 by viper-admin
1
Support set-intersection enhancement New feature or request minor
#62 opened Mar 14, 2018 by viper-admin
Support set-subtraction enhancement New feature or request minor
#61 opened Mar 14, 2018 by viper-admin
ProTip! Updated in the last three days: updated:>2024-06-01.