Skip to content

Pull requests: SMT-COMP/smt-comp.github.io

New pull request New
Clear current search query, filters, and sorts
28 Open 159 Closed
28 Open 159 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

OpenSMT (min-ucore) submission 2025 submission Submissions for SMT-COMP
#176 opened Jun 12, 2025 by Tomaqa Loading…
3
[Submission] colibri2 submission Submissions for SMT-COMP
#162 opened Jun 2, 2025 by bobot Loading…
3
COLIBRI submission submission Submissions for SMT-COMP
#163 opened Jun 5, 2025 by christophejunke Loading…
3
SMT-RAT submission submission Submissions for SMT-COMP
#164 opened Jun 6, 2025 by ValentinPromies Loading…
2
Amaya 2025 submission Submissions for SMT-COMP
#165 opened Jun 9, 2025 by ondrik Loading…
2
Bump requests from 2.32.3 to 2.32.4 dependencies Pull requests that update a dependency file python Pull requests that update Python code
#166 opened Jun 10, 2025 by dependabot bot Loading…
OpenSMT submission 2025 submission Submissions for SMT-COMP
#167 opened Jun 10, 2025 by Tomaqa Loading…
5
SMTInterpol submission 2025 submission Submissions for SMT-COMP
#168 opened Jun 10, 2025 by jhoenicke Loading…
7
STP-Parti-Bitwuzla Submission for SMT-COMP 2025 submission Submissions for SMT-COMP
#169 opened Jun 11, 2025 by zmylinxi99 Loading…
8
Z3-Parti-Z3++ Submission for SMT-COMP 2025 submission Submissions for SMT-COMP
#170 opened Jun 11, 2025 by zmylinxi99 Loading…
9
Bitwuzla-MachBV Submission for SMT-COMP 2025 submission Submissions for SMT-COMP
#171 opened Jun 11, 2025 by Andeviking Loading…
4
SMTS submission 2025 submission Submissions for SMT-COMP
#172 opened Jun 12, 2025 by Tomaqa Loading…
6
a version with a bugfix of unsoundness
#102 opened Jul 2, 2024 by ondrik Loading…
1
Z3-Noodler submission 2025 submission Submissions for SMT-COMP
#175 opened Jun 12, 2025 by jurajsic Loading…
3
bv_decide submission 2025 submission Submissions for SMT-COMP
#177 opened Jun 13, 2025 by abdoo8080 Loading…
3
Z3-Noodler-Mocha Submission for SMT-COMP 2025 submission Submissions for SMT-COMP
#178 opened Jun 13, 2025 by Bazoka13 Loading…
4
Z3-alpha SMT-COMP 2025 submission Submissions for SMT-COMP
#179 opened Jun 13, 2025 by JohnLyu2 Loading…
5
Z3-Owl Submission 2025 submission Submissions for SMT-COMP
#181 opened Jun 13, 2025 by Zahrinas Loading…
3
Create iProver submission Submissions for SMT-COMP
#182 opened Jun 13, 2025 by konstantin-korovin Loading…
8
cvc5 for SMT-COMP 2025 submission Submissions for SMT-COMP
#183 opened Jun 13, 2025 by hansjoergschurr Loading…
2
Yices2 Submission SMTCOMP 2025 submission Submissions for SMT-COMP
#184 opened Jun 13, 2025 by ahmed-irfan Loading…
7
Bitwuzla 2025 submission. submission Submissions for SMT-COMP
#185 opened Jun 13, 2025 by mpreiner Loading…
4
yicesQS submission to the 2025 SMT comp submission Submissions for SMT-COMP
#186 opened Jun 13, 2025 by disteph Loading…
6
OSTRICH version 2 submission Submissions for SMT-COMP
#187 opened Jun 14, 2025 by pruemmer Loading…
2
Bump urllib3 from 2.2.2 to 2.5.0 dependencies Pull requests that update a dependency file python Pull requests that update Python code
#191 opened Jun 19, 2025 by dependabot bot Loading…
ProTip! Type g i on any issue or pull request to go back to the issue listing page.