-
Notifications
You must be signed in to change notification settings - Fork 47
Issues: viperproject/silver
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
Feature request: Add more default types (and use them in examples and tutorials)
enhancement
New feature or request
#741
opened Sep 18, 2023 by
marcoeilers
Support for special Z3 relations
enhancement
New feature or request
#667
opened Apr 7, 2023 by
fpoli
Slow pretty-printer and consistency checks
enhancement
New feature or request
#661
opened Mar 16, 2023 by
fpoli
Change error type used for division by zero in assert statements
enhancement
New feature or request
#514
opened Apr 29, 2021 by
alexanderjsummers
Domain axioms should be checked for well-definedness
enhancement
New feature or request
#506
opened Mar 19, 2021 by
alexanderjsummers
Termination Plugin: undefined error locations prevent caching
bug
Something isn't working
enhancement
New feature or request
#451
opened Apr 23, 2020 by
aterga
Document steps to take to reproduce bugs / check for stability
enhancement
New feature or request
major
#300
opened Jan 13, 2020 by
viper-admin
Invariants on labels should be disallowed unless they form loop heads and while loops that are not loop heads should be rejected
enhancement
New feature or request
major
#296
opened Oct 30, 2019 by
viper-admin
Restructure test suite folders
enhancement
New feature or request
minor
#284
opened Jul 28, 2019 by
viper-admin
Improve how the test suite is set up and executed
enhancement
New feature or request
major
#268
opened Mar 23, 2019 by
viper-admin
Add documentation of the encoding of functions (e.g. to the tutorial)
enhancement
New feature or request
major
#261
opened Jan 29, 2019 by
viper-admin
Avoid or generalize global counters used in New feature or request
major
TmpLabel and Block
enhancement
#259
opened Jan 15, 2019 by
viper-admin
Add an automatically-generated "last updated" line to the Viper tutorial webpage
enhancement
New feature or request
minor
#250
opened Oct 10, 2018 by
viper-admin
Support desugaring of nested quantified permissions
enhancement
New feature or request
major
#246
opened Oct 3, 2018 by
viper-admin
AST nodes should be uniquely identifiable
enhancement
New feature or request
major
#245
opened Aug 26, 2018 by
viper-admin
"Folding" expressions
enhancement
New feature or request
major
#243
opened Aug 15, 2018 by
viper-admin
Redundant arguments in constructor of FuncApp class
enhancement
New feature or request
major
#241
opened Jul 23, 2018 by
viper-admin
Support perm under forperm
enhancement
New feature or request
major
#197
opened Apr 20, 2017 by
viper-admin
Failing arithmetic proofs (Z3)
enhancement
New feature or request
major
#194
opened Mar 31, 2017 by
viper-admin
Add test annotation for specifying which command line option to use
enhancement
New feature or request
major
#150
opened Jun 21, 2016 by
viper-admin
Syntactic sugar in the parser to allow statements in expression positions
enhancement
New feature or request
major
parser
#134
opened Apr 8, 2016 by
viper-admin
Longer running test cases need factoring out into a separate build
enhancement
New feature or request
major
#107
opened Nov 27, 2015 by
viper-admin
Improve how Viper tools can be executed
enhancement
New feature or request
major
#100
opened Sep 11, 2015 by
viper-admin
Merge quantifiers when triggers cannot otherwise be inferred
enhancement
New feature or request
minor
triggers
#99
opened Sep 8, 2015 by
viper-admin
Previous Next
ProTip!
Find all open issues with in progress development work with linked:pr.