-
Notifications
You must be signed in to change notification settings - Fork 80
Pull requests: vprover/vampire
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Record instructions retired alongside time in TIME_TRACE (depends on #928)
#929
opened Sep 3, 2026 by
quickbeam123
Collaborator
Loading…
Fix VTIME_PROFILING-only part of the code so that TimeTrace::printPretty() does not crash in the timer thread when something else is happening in the main thread
#928
opened Sep 3, 2026 by
quickbeam123
Collaborator
Loading…
coroutines for clause generation
on hold (don't merge)
#920
opened Aug 31, 2026 by
quickbeam123
Collaborator
Loading…
name the hash explicitly at containers keyed on a defaultHash() type
#919
opened Aug 29, 2026 by
shalashaska117
Contributor
•
Draft
Allows FMB output to hold symbolic definitions and FMB's model_check mode to read a use them
on hold (don't merge)
#914
opened Aug 28, 2026 by
quickbeam123
Collaborator
Loading…
fix newcnf crash on a Boolean let bound to another let
#910
opened Aug 17, 2026 by
shalashaska117
Contributor
Loading…
Optimization: Share opposite-polarity literals in clause code trees
#880
opened Jul 16, 2026 by
Synrom
Loading…
Add unit tests for Property BSR and x=y detection
#837
opened Apr 11, 2026 by
EpsilonPhoenix
Contributor
Loading…
Optimize SAT assumption handling and Saturation queue
#827
opened Mar 18, 2026 by
EpsilonPhoenix
Contributor
Loading…
PR to track HOL changes, don't merge
on hold (don't merge)
#822
opened Mar 13, 2026 by
mezpusz
Contributor
Loading…
Will add unit tests for Properties such as hasXEqualsY and onlyExistsForallPrefix (a draft for now)
on hold (don't merge)
#779
opened Nov 10, 2025 by
quickbeam123
Collaborator
Loading…
prevent FMB crashes on FOOLish inputs
on hold (don't merge)
#724
opened Jun 27, 2025 by
MichaelRawson
Contributor
Loading…
ProTip!
no:milestone will show everything without a milestone.