Pull requests: vprover/vampire
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Ordering check with applied terms + optimised unidirectional comparison for LPO and KBO
#547
opened Apr 19, 2024 by
mezpusz
Loading…
Subsumption and Subsumption Resolution via SAT solving
#546
opened Apr 19, 2024 by
RobCoutel
Loading…
avoid sortedness errors with polymorphically let-bound constants
on hold (don't merge)
#544
opened Apr 10, 2024 by
MichaelRawson
Loading…
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.