Skip to content

Pull requests: sosy-lab/java-smt

New pull request New
32 Open 155 Closed
32 Open 155 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

Re-enable Z3 4.5.0 for better interpolation
#536 opened Oct 17, 2025 by leventeBajczi Loading…
Fix Z3 bound variable substitution Z3
#535 opened Oct 15, 2025 by baierd Loading…
@baierd
1
Use the partial model for formula evaluation in Princess Princess
#528 opened Sep 24, 2025 by daniel-raffler Loading…
1
Back translation for Princess rewrites
#527 opened Sep 19, 2025 by daniel-raffler Loading…
Update Yices to version 2.7.0 Yices2
#524 opened Sep 11, 2025 by daniel-raffler Loading…
1
5
Re-enable tests that were previously disabled
#521 opened Sep 9, 2025 by daniel-raffler • Draft
Use Solver Native Implementation of Bitvector to IEEE FP for CVC4 and CVC5 CVC4 CVC5 enhancement
#514 opened Sep 2, 2025 by baierd Loading… Release 6.0.0
@baierd
7
Fix Floating-Point Mantissa Not Including Sign Bit
#513 opened Sep 2, 2025 by baierd Loading…
@baierd
83
Add IEEE-754 Floating Point to Bitvector Conversion Fallback
#512 opened Sep 1, 2025 by baierd Loading…
1
@baierd
12
Add more FunctionDeclarationKinds for the visitor enhancement
#509 opened Aug 28, 2025 by daniel-raffler • Draft
1
Allow users to build new rounding mode formulas enhancement
#508 opened Aug 28, 2025 by daniel-raffler Loading…
6
Add support for indexed functions
#507 opened Aug 28, 2025 by daniel-raffler • Draft
3
Update Z3 to v4.15.3 dependencies Pull requests that update a dependency file solver Z3
#506 opened Aug 27, 2025 by kfriedberger • Draft
1
Add a new delegate to allow API tracing enhancement
#505 opened Aug 14, 2025 by daniel-raffler • Draft
5
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 Loading… Release 6.0.0
1
@baierd
15
Draft: Prepare Release 6.0.0
#495 opened Jul 21, 2025 by baierd • Draft
4 tasks
Release 6.0.0
@baierd
2
Add Prover Based ShutdownManager
#489 opened May 30, 2025 by baierd Loading… Release 6.0.0
@baierd
123
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
11
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
30
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
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…
8
Bitwuzla: Fix handling of quoted symbol names while parsing SMTLIB formulas
#417 opened Dec 17, 2024 by daniel-raffler Loading…
14
ProTip! Mix and match filters to narrow down what you’re looking for.