Skip to content

Pull requests: vprover/vampire

New pull request New
9 Open 655 Closed
9 Open 655 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Accept define-const from SMTLIB2.7
#855 opened May 14, 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…
Skolemization format update enhancement
#849 opened Apr 29, 2026 by i-am-a-teapot Loading…
15
Separate generalizing term index and use code trees
#848 opened Apr 29, 2026 by mezpusz Contributor Loading…
3
Add unit tests for Property BSR and x=y detection
#837 opened Apr 11, 2026 by EpsilonPhoenix Contributor Loading…
1
Optimize SAT assumption handling and Saturation queue
#827 opened Mar 18, 2026 by EpsilonPhoenix Contributor Loading…
11
PR to track HOL changes, don't merge on hold (don't merge)
#822 opened Mar 13, 2026 by mezpusz Contributor Loading…
7
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…
2
prevent FMB crashes on FOOLish inputs on hold (don't merge)
#724 opened Jun 27, 2025 by MichaelRawson Contributor Loading…
1
ProTip! What’s not been updated in a month: updated:<2026-04-14.