-
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
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…
ProTip!
What’s not been updated in a month: updated:<2026-03-28.