Skip to content

Pull requests: sosy-lab/java-smt

New pull request New
21 Open 224 Closed
21 Open 224 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

git: ignore jvm crash error logs
#656 opened Apr 27, 2026 by Bixilon Collaborator Loading…
boolean formular manager: horn api
#655 opened Apr 27, 2026 by Bixilon Collaborator Loading…
Update SMTInterpol and add new theories SMTInterpol
#648 opened Apr 13, 2026 by daniel-raffler Contributor Loading…
1
@daniel-raffler
10
#385: Support for Maven Upload via Sonatype
#637 opened Mar 30, 2026 by kfriedberger Member Loading…
1
4
Yices: Add an option to set the logic enhancement Yices2
#636 opened Mar 30, 2026 by daniel-raffler Contributor Loading…
Add an option to reject/log Smtlib inputs with illegal commands API enhancement
#630 opened Mar 27, 2026 by daniel-raffler Contributor • Draft
1
Add a build script for Yices on macOS Yices2
#628 opened Mar 25, 2026 by daniel-raffler Contributor Loading…
5
Add logic, engine and further options for Z3 enhancement Z3
#626 opened Mar 24, 2026 by baierd Contributor Loading…
1
@baierd
13
620 smtlib2 parser tokenizer wrongly rejects set logic commands and has a non helpful error message for parse for 1 items
#621 opened Mar 20, 2026 by baierd Contributor Loading…
1
23
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
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
69
Add support for indexed functions
#507 opened Aug 28, 2025 by daniel-raffler Contributor Loading…
4
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
Add JavaSMT project template for Ivy/Ant Documentation
#467 opened Mar 23, 2025 by daniel-raffler Contributor • Draft
1
Add solver independent quantifier elimination with ultimate eliminator
#462 opened Mar 20, 2025 by Anastasia-Gu • Draft
@Anastasia-Gu
30
Develop a common proof format and export proofs
#458 opened Mar 19, 2025 by gcarpio21 Member • Draft
8 of 10 tasks
@gcarpio21
85
Extend Solver Independent SMTLib2 Parser/Generator
#436 opened Feb 17, 2025 by baierd Contributor • Draft
2 of 4 tasks
@DavidGalllob
64
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 Contributor Loading…
9
ProTip! What’s not been updated in a month: updated:<2026-03-29.