Skip to content

Pull requests: sosy-lab/java-smt

New pull request New
36 Open 246 Closed
36 Open 246 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

Override default methods in BasicProverEnvironment for all delegates enhancement
#685 opened Jul 7, 2026 by daniel-raffler Contributor Loading…
1
@daniel-raffler
21
Princess: Add work-around for parsing issues bug Princess
#684 opened Jul 7, 2026 by daniel-raffler Contributor Loading…
1
@daniel-raffler
7
Add support for eldarica horn solver API Eldarica Princess solver
#683 opened Jun 29, 2026 by Bixilon Collaborator Loading…
8 of 10 tasks
@Bixilon
16
Migrate to JUnit6 tests
#681 opened Jun 19, 2026 by daniel-raffler Contributor • Draft
6
Refactor AbstractProver flags
#679 opened Jun 15, 2026 by baierd Contributor • Draft
@baierd
Add solver and interrupted exceptions to all prover methods
#676 opened Jun 10, 2026 by baierd Contributor • Draft
@baierd
Add common precondition checks for unsat core and allSat Basicimpl
#674 opened Jun 9, 2026 by baierd Contributor Loading…
@baierd
8
Add MathSAT5 logic selection via option MathSAT
#670 opened Jun 8, 2026 by baierd Contributor Loading…
@baierd
1
Add CI for example projects
#667 opened May 30, 2026 by daniel-raffler Contributor Loading…
1
@daniel-raffler
19
Update solvers in our example projects Documentation
#662 opened May 22, 2026 by daniel-raffler Contributor Loading…
@daniel-raffler
9
Yices: Use official repository for building the Java bindings Yices2
#660 opened May 10, 2026 by daniel-raffler Contributor Loading…
@daniel-raffler
5
Update SMTInterpol and add new theories SMTInterpol
#648 opened Apr 13, 2026 by daniel-raffler Contributor Loading…
1
@daniel-raffler
10
Yices: Add an option to set the logic enhancement Yices2
#636 opened Mar 30, 2026 by daniel-raffler Contributor Loading…
6
Add an option to reject/log Smtlib inputs with illegal commands API enhancement
#630 opened Mar 27, 2026 by daniel-raffler Contributor • Draft
2
Add a build script for Yices on macOS Yices2
#628 opened Mar 25, 2026 by daniel-raffler Contributor Loading…
5
Draft: Extend Truth based Solver/Prover Assertions
#625 opened Mar 24, 2026 by baierd Contributor Loading…
@baierd
5
558 add general proof api
#583 opened Jan 16, 2026 by gcarpio21 Member Loading…
@gcarpio21
17
Tests: more tests for dumping SMTLIB for quantified formulas.
#573 opened Jan 1, 2026 by kfriedberger Member Loading…
1
2
Solver independent interpolation
#560 opened Dec 20, 2025 by juliusbrehme Collaborator Loading…
20
Back translation for Princess rewrites
#527 opened Sep 19, 2025 by daniel-raffler Contributor Loading…
Add IEEE-754 Floating Point to Bitvector Conversion Fallback API enhancement
#512 opened Sep 1, 2025 by baierd Contributor Loading… Release after 6.0.0
1
@baierd
113
Add support for indexed functions
#507 opened Aug 28, 2025 by daniel-raffler Contributor Loading…
4
Add SolverException for Model and Prover due to MathSAT5/Z3 Model Problem (Including a Sneaky Throw for API not Supporting Changes) Documentation MathSAT
#501 opened Jul 29, 2025 by baierd Contributor Loading… Release 6.0.0
1
@baierd
16
Add Prover Based ShutdownManager
#489 opened May 30, 2025 by baierd Contributor Loading… Release 6.0.0
@baierd
123
Improve optimization API and add fallback implementation
#477 opened Apr 11, 2025 by shivammm21 Contributor Loading…
1
8
ProTip! Type g i on any issue or pull request to go back to the issue listing page.