viperproject/silver

View on GitHub

Definition of the Viper intermediate verification language.

Stars: 100
Forks: 53
Open beginner issues: 0
Indexed issues: 109
Avg merge: 8h 10m
Merged PRs (30d): 2

Dominant language: Scala
License: MPL-2.0
Last GitHub push: Aug 27, 2026
Latest indexed: Sep 20, 2026
Contributing guide: No contributing guide
Code of conduct: No code of conduct
Beginner labels: No beginner labels indexed

Beginner friendly Everything

Open All

109 open issues indexed

Confusing reason/offending position ID with sequencing operation Open

Difficulty 4/5 3-5 days Newbie friendliness 48/100

viperproject/silver#928 · Opened Aug 15, 2026
Termination plugin fails with unclear error Open

bug termination plugin

Difficulty 4/5 3-5 days Newbie friendliness 48/100

viperproject/silver#925 · 1 comment · Opened Aug 10, 2026
Anonymous methods Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 35/100

viperproject/silver#922 · Opened Jul 13, 2026
Irreducible CFG error reporting is not useful Open

Difficulty 5/5 Over a week Newbie friendliness 35/100

viperproject/silver#918 · Opened Jun 23, 2026
Inconsistent treatment of recursive function postconditions Open

Difficulty 4/5 3-5 days Newbie friendliness 48/100

viperproject/silver#913 · Opened May 21, 2026
Incorrect encoding of relational predicates Open

SIF

Difficulty 4/5 3-5 days Newbie friendliness 48/100

viperproject/silver#907 · 1 comment · Opened Mar 24, 2026
Incompleteness: Asserting a syntactically identical assertion fails Open

enhancement

Difficulty 4/5 3-5 days Newbie friendliness 35/100

viperproject/silver#902 · 2 comments · Opened Jan 28, 2026
`rel` Expressions in Triggers Open

bug SIF

Difficulty 4/5 3-5 days Newbie friendliness 35/100

viperproject/silver#901 · 1 comment · Opened Jan 28, 2026
Heap dependent function triggering Open

viperproject/silver#895 · 1 assignee · Opened Nov 5, 2025
Anonymous domains Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 35/100

viperproject/silver#894 · 1 comment · 1 reaction · Opened Nov 3, 2025
Duplicate identifier due to quantifier Open

Difficulty 4/5 3-5 days Newbie friendliness 42/100

viperproject/silver#872 · 1 comment · Opened Jun 19, 2025
Viper allows predicates whose fractional amount is not self-framing Open

Difficulty 5/5 Over a week Newbie friendliness 30/100

viperproject/silver#809 · 1 comment · Opened Aug 1, 2024
Perm under inhale-exhale expression handled differently by Silicon vs. Carbon Open

consistency

Difficulty 4/5 3-5 days Newbie friendliness 30/100

viperproject/silver#808 · Opened Jul 1, 2024
Termination plugin incompleteness with let-expressions Open

termination plugin

Difficulty 4/5 3-5 days Newbie friendliness 38/100

viperproject/silver#797 · 1 reaction · Opened May 15, 2024
Variable scope with nested scopes Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

viperproject/silver#789 · Opened May 4, 2024
Carbon axiomatization of Map is better than Silicon Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

viperproject/silver#761 · Opened Dec 17, 2023
Type safety violation and soundness bug with parameterized domain Open

Difficulty 5/5 Over a week Newbie friendliness 30/100

viperproject/silver#759 · 2 comments · Opened Dec 1, 2023
Feature request: Add more default types (and use them in examples and tutorials) Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

viperproject/silver#741 · Opened Sep 18, 2023
Generic domain function application needs trivial type variable map with uninsightful error message Open

Difficulty 3/5 1-2 days Newbie friendliness 45/100

viperproject/silver#733 · Opened Aug 16, 2023
Missing hashCode definitions Open

Difficulty 3/5 1-2 days Newbie friendliness 35/100

viperproject/silver#706 · Opened May 26, 2023
Resources can be used on left of implication in assumes Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

viperproject/silver#705 · Opened May 25, 2023
Trigger inference infers invalid triggers Open

bug triggers

Difficulty 4/5 3-5 days Newbie friendliness 42/100

viperproject/silver#687 · 4 comments · Opened May 5, 2023
The semantics of permission introspection in the body of unfolding expressions is unclear Open

Difficulty 5/5 Over a week Newbie friendliness 20/100

viperproject/silver#682 · Opened Apr 24, 2023
Support for special Z3 relations Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 20/100

viperproject/silver#667 · 1 comment · 2 reactions · Opened Apr 7, 2023
Slow pretty-printer and consistency checks Open

enhancement

Difficulty 4/5 3-5 days Newbie friendliness 35/100

viperproject/silver#661 · Opened Mar 16, 2023
Missing consistency check for function identifiers Open

bug consistency

Difficulty 3/5 1-2 days Newbie friendliness 45/100

viperproject/silver#651 · Opened Feb 9, 2023
Discrepancy between Carbon knownfolded permissions and Silicon predicate snapshots Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

viperproject/silver#624 · Opened Nov 11, 2022
`unfolding` body does not admit resources Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

viperproject/silver#606 · 2 comments · Opened Sep 7, 2022
ADT plugin `contains` cannot prove lack of value Open

Difficulty 5/5 Over a week Newbie friendliness 35/100

viperproject/silver#596 · Opened Jul 18, 2022
AdtPlugin java.lang.ClassCastException Open

Difficulty 3/5 1-2 days Newbie friendliness 42/100

viperproject/silver#581 · 5 comments · Opened May 24, 2022
SilverPlugin mapVerificationResult Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

viperproject/silver#580 · Opened May 20, 2022
Consistency error: Duplicate identifier caused by macros Open

Difficulty 3/5 1-2 days Newbie friendliness 35/100

viperproject/silver#579 · Opened May 16, 2022
Simplifier doesn't simplify Perm expressions Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

viperproject/silver#577 · 1 comment · Opened May 6, 2022
Globally unique/fresh names from Plugin Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

viperproject/silver#576 · Opened May 6, 2022
Error transformer not working with Silicon Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

viperproject/silver#550 · 1 comment · Opened Dec 27, 2021
Function modifications are not considered for caching Open

critical

viperproject/silver#548 · 2 comments · 1 assignee · Opened Dec 17, 2021
Add a custom toString Method to DummyNode Open

Difficulty 2/5 1-3 hours Newbie friendliness 50/100

viperproject/silver#542 · Opened Oct 25, 2021
Suboptimal behaviour with quantifiers — better autotriggers possible? Open

Difficulty 5/5 Over a week Newbie friendliness 35/100

viperproject/silver#541 · 1 comment · Opened Oct 15, 2021
Consistent versioning: Git/GitHub vs. Sbt vs. Hardcoded Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

viperproject/silver#535 · Opened Jul 27, 2021
Scala 3, compiler warnings, IntelliJ suggestions Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

viperproject/silver#528 · Opened Jul 2, 2021
Many tests from quantifiedpermissions/third_party fail with Z3 4.8.10 and newer Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

viperproject/silver#524 · Opened Jun 29, 2021
Change error type used for division by zero in assert statements Open

enhancement

Difficulty 3/5 1-2 days Newbie friendliness 35/100

viperproject/silver#514 · 1 comment · Opened Apr 29, 2021
Report not only the location of an error, but also the full trace that leads to it Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

viperproject/silver#511 · Opened Apr 1, 2021
Possibly faulty "Contract might not be well-formed error" Open

triggers

Difficulty 4/5 3-5 days Newbie friendliness 30/100

viperproject/silver#510 · 1 comment · Opened Mar 29, 2021
Macro expansion doesn't work for label names Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

viperproject/silver#509 · Opened Mar 23, 2021
Domain axioms should be checked for well-definedness Open

enhancement

Difficulty 4/5 3-5 days Newbie friendliness 35/100

viperproject/silver#506 · Opened Mar 19, 2021
Incorrect error positions reported Open

major parser

Difficulty 3/5 1-2 days Newbie friendliness 42/100

viperproject/silver#504 · 5 comments · Opened Mar 13, 2021
Cannot parse a macro containing a perm expression Open

parser

Difficulty 3/5 1-2 days Newbie friendliness 35/100

viperproject/silver#502 · Opened Feb 24, 2021
java.nio.charset.MalformedInputException on a program with weird characters Open

Difficulty 3/5 1-2 days Newbie friendliness 35/100

viperproject/silver#499 · Opened Feb 22, 2021
Unfolding and its effect are limited/scoped to the function body Open

Difficulty 4/5 3-5 days Newbie friendliness 30/100

viperproject/silver#495 · Opened Feb 11, 2021

viperproject/silver

Get new issues in your inbox