Issues

• Confusing reason/offending position ID with sequencing operation

  viperproject/silver#928 · Filter by author Aurel300 opened on Aug 15, 2026

• Termination plugin fails with unclear error

  bugtermination plugin
  viperproject/silver#925 · Filter by author Aurel300 opened on Aug 10, 2026
  1

• Anonymous methods

  enhancement
  viperproject/silver#922 · Filter by author Aurel300 opened on Jul 13, 2026

• Irreducible CFG error reporting is not useful

  viperproject/silver#918 · Filter by author Aurel300 opened on Jun 23, 2026

• Inconsistent treatment of recursive function postconditions

  viperproject/silver#913 · Filter by author mschwerhoff opened on May 21, 2026

• Incorrect encoding of relational predicates

  SIF
  viperproject/silver#907 · Filter by author marcoeilers opened on Mar 24, 2026
  1

• Incompleteness: Asserting a syntactically identical assertion fails

  enhancement
  viperproject/silver#902 · Filter by author ArquintL opened on Jan 28, 2026
  2

• rel Expressions in Triggers

  bugSIF
  viperproject/silver#901 · Filter by author ArquintL opened on Jan 28, 2026
  1

• Heap dependent function triggering

  viperproject/silver#895 · Filter by author JonasAlaif opened on Nov 5, 2025
  

• Anonymous domains

  enhancement
  viperproject/silver#894 · Filter by author Aurel300 opened on Nov 3, 2025
  1

• Duplicate identifier due to quantifier

  viperproject/silver#872 · Filter by author Aurel300 opened on Jun 19, 2025
  1

• Viper allows predicates whose fractional amount is not self-framing

  viperproject/silver#809 · Filter by author gauravpartha opened on Aug 1, 2024
  1

• Perm under inhale-exhale expression handled differently by Silicon vs. Carbon

  consistency
  viperproject/silver#808 · Filter by author mschwerhoff opened on Jul 1, 2024

• Termination plugin incompleteness with let-expressions

  termination plugin
  viperproject/silver#797 · Filter by author marcoeilers opened on May 15, 2024

• Variable scope with nested scopes

  viperproject/silver#789 · Filter by author Aurel300 opened on May 4, 2024

• Carbon axiomatization of Map is better than Silicon

  viperproject/silver#761 · Filter by author tillarnold opened on Dec 17, 2023

• Type safety violation and soundness bug with parameterized domain

  viperproject/silver#759 · Filter by author DebraChait opened on Dec 1, 2023
  2

• Feature request: Add more default types (and use them in examples and tutorials)

  enhancement
  viperproject/silver#741 · Filter by author marcoeilers opened on Sep 18, 2023

• Generic domain function application needs trivial type variable map with uninsightful error message

  viperproject/silver#733 · Filter by author nilscrm opened on Aug 16, 2023

• Missing hashCode definitions

  viperproject/silver#706 · Filter by author fpoli opened on May 26, 2023

• Resources can be used on left of implication in assumes

  viperproject/silver#705 · Filter by author totoyoyo opened on May 25, 2023

• Trigger inference infers invalid triggers

  bugtriggers
  viperproject/silver#687 · Filter by author vakaras opened on May 5, 2023
  4

• The semantics of permission introspection in the body of unfolding expressions is unclear

  viperproject/silver#682 · Filter by author gauravpartha opened on Apr 24, 2023

• Support for special Z3 relations

  enhancement
  viperproject/silver#667 · Filter by author fpoli opened on Apr 7, 2023
  1

• Slow pretty-printer and consistency checks

  enhancement
  viperproject/silver#661 · Filter by author fpoli opened on Mar 16, 2023