-
Notifications
You must be signed in to change notification settings - Fork 75
Pull requests: vprover/vampire
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Ignore Unrecognized Logic in SMTCOMP porfolio mode
#864
opened Jun 10, 2026 by
joe-hauns
Contributor
Loading…
Sort out FOOL paramodulation and Cases[Simp]
on hold (don't merge)
#861
opened Jun 4, 2026 by
mezpusz
Contributor
Loading…
HOL extra changes (don't merge)
on hold (don't merge)
#853
opened May 14, 2026 by
mezpusz
Contributor
Loading…
Separate generalizing term index and use code trees
#848
opened Apr 29, 2026 by
mezpusz
Contributor
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!
Type g i on any issue or pull request to go back to the issue listing page.