Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly
Appearance settings

Pull requests: sosy-lab/java-smt

New pull request New
17 Open 142 Closed
17 Open 142 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
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

Add Prover Based ShutdownManager
#489 opened May 30, 2025 by baierd Loading…
@baierd
50
Improve optimization API and add fallback implementation
#477 opened Apr 11, 2025 by shivammm21 Loading…
1
8
CVC5: Add parser support CVC5
#474 opened Apr 5, 2025 by daniel-raffler Loading…
@daniel-raffler
5
Add JavaSMT project template for Ivy/Ant Documentation
#467 opened Mar 23, 2025 by daniel-raffler • Draft
1
Add solver independent quantifier elimination with ultimate eliminator
#462 opened Mar 20, 2025 by Anastasia-Gu • Draft
@Anastasia-Gu
28
Develop a common proof format and export proofs
#458 opened Mar 19, 2025 by gcarpio21 • Draft
7 of 10 tasks
@gcarpio21
85
Extend Solver Independent SMTLib2 Parser/Generator
#436 opened Feb 17, 2025 by baierd • Draft
2 of 4 tasks
@DavidGalllob
64
Fix handling of Unicode characters in String theory
#431 opened Jan 16, 2025 by daniel-raffler Loading…
1
13
Blacklist more SMTLIB keywords as variable/uf names and automatically escape all variable names that would be illegal
#424 opened Jan 1, 2025 by daniel-raffler Loading…
5
Bitwuzla: Fix handling of quoted symbol names while parsing SMTLIB formulas
#417 opened Dec 17, 2024 by daniel-raffler Loading…
11
Yices2 MacOS Support enhancement Yices2
#400 opened Sep 25, 2024 by xeren Loading…
2
314 adding the abstract numeric domains of the apron library as smt solver
#346 opened Dec 20, 2023 by winnieros Loading…
1
29
Adding dReal to JavaSMT #313
#328 opened Aug 24, 2023 by juliusbrehme Loading…
1
2
322 feature request clone proverenvironment with stack API solver Z3
#324 opened Jul 31, 2023 by baierd Loading…
1
@baierd
16
Yices2 windows support enhancement Yices2
#215 opened Feb 3, 2021 by baierd Loading…
11
Adding STP solver @GSoC 2019
#163 opened Aug 26, 2019 by refactormyself Loading…
9 tasks
@refactormyself
Simplify n-ary and/or with duplicate operands like and(x, y, x) Basicimpl
#161 opened Aug 14, 2019 by PhilippWendler Loading…
3
ProTip! Follow long discussions with comments:>50.
Morty Proxy This is a proxified and sanitized view of the page, visit original site.