-
Notifications
You must be signed in to change notification settings - Fork 39
Pull requests: viperproject/silicon
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Replaced Dummynodes and fixed ProgramEdits getting turned into strings
#964
opened Mar 31, 2026 by
adidell01
Collaborator
Loading…
Avoid defining let-bound variables on SMT level
#948
opened Nov 12, 2025 by
marcoeilers
Contributor
Loading…
Silicon implementation of new backend-independent counterexample format
#940
opened Sep 1, 2025 by
marcoeilers
Contributor
•
Draft
Fix multiple
apply of magic wands with quantified expressions
#849
opened Jun 12, 2024 by
manud99
Contributor
Loading…
Add test report to the GitHub actions workflow.
#837
opened May 2, 2024 by
manud99
Contributor
Loading…
Discard empty triggers and partially evaluated ones
#815
opened Mar 10, 2024 by
marcoeilers
Contributor
Loading…
Use ordered set to track declared macros, avoid double-declarations
#807
opened Feb 23, 2024 by
marcoeilers
Contributor
Loading…
Optionally skip re-verification of well-definedness
#700
opened Apr 3, 2023 by
marcoeilers
Contributor
Loading…
ProTip!
Mix and match filters to narrow down what you’re looking for.