J

JavaSMT

Settings | Report Duplicate

0

I Use This!

Moderate Activity

Commits : Listings

Analyzed about 11 hours ago. based on code collected 1 day ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Sep 29, 2025 — Sep 29, 2026 Showing page 1 of 216 Search / Filter on:
Merge pull request #701 from sosy-lab/solver-exceptions	daniel-raffler	More...				about 2 months ago
Put creation of interpolation-vector in Bitwuzla outside of the try-catch block, so that we don't catch exceptions from the vector creation accidentally	BaierD	More...				about 2 months ago
Improve name of set of accepted interpolation errors for Bitwuzla and Yices2	BaierD	More...				about 2 months ago
Fix format	Daniel Raffler	More...				about 2 months ago
OpenSMT: Print a better error message when model generation fails	Daniel Raffler	More...				2 months ago
Make error message lists `static final`	Daniel Raffler	More...				2 months ago
Bitwuzla: Explicitly list error messages for interpolation errors	Daniel Raffler	More...				2 months ago
Yices: Add a constant to list interpolation error messages	Daniel Raffler	More...				2 months ago
Bitwuzla: Inline exception handling	Daniel Raffler	More...				2 months ago
OpenSMT: Extract logic check before interpolation	Daniel Raffler	More...				2 months ago
Checkstyle	Daniel Raffler	More...				2 months ago
OpenSMT: Throw a SolverException when interpolation is not supported for the selected logic	Daniel Raffler	More...				2 months ago
OpenSMT: Throw a SolverException when model is not available	Daniel Raffler	More...				2 months ago
Yices: Throw an IllegalStateException when trying to interpolate and the solver state is SAT	Daniel Raffler	More...				2 months ago
Yices: Throw a SolverException when interpolation fails	Daniel Raffler	More...				2 months ago
Merge pull request #684 from sosy-lab/682-smt2-parsing-crash-javalangunsupportedoperationexception-bound-variables-are-no-longer-explicitly-visited-in-javasmt-use-a-combination-of-visitquantifier-for-the-whole-quantified-formula-and-visitfreevariable-in-the-body-instead	Baier D.	More...				2 months ago
Throw an exception when the Princess parser return a non-nullary predicate	Daniel Raffler	More...				3 months ago
Remove unused argument	Daniel Raffler	More...				3 months ago
When parsing in Princess, use the symbols from the solver to extend the variable caches	Daniel Raffler	More...				3 months ago
Add a test for #682	Daniel Raffler	More...				3 months ago
Update class paths for building in Ant and Eclipse	Philipp Wendler	More...				3 months ago
Merge pull request #673 from sosy-lab/handle_model_generation_api_through_impl_delegates	Baier D.	More...				4 months ago
Merge pull request #671 from sosy-lab/add_common_optimizationProver_delegate2	Baier D.	More...				4 months ago
Merge branch 'add_common_optimizationProver_delegate2' into handle_model_generation_api_through_impl_delegates	BaierD	More...				4 months ago
Merge branch 'master' into add_common_optimizationProver_delegate2	BaierD	More...				4 months ago
Add type check for delegate in InterpolatingProverDelegate	BaierD	More...				4 months ago
Add type check for delegate in OptimizationProverDelegate	BaierD	More...				4 months ago
Merge pull request #677 from sosy-lab/remove_experimental_fp_to_bv_impl_from_bitwuzla	Baier D.	More...				4 months ago
Use proper require method in test using FP-to-BV	BaierD	More...				4 months ago
Remove experimental FP-to-BV impl from Bitwuzla, as it adds formulas to the solver stack silently and in unexpected circumstances + remove all unused methods from Bitwuzla	BaierD	More...				4 months ago

←
1
2
3
4
5
6
7
8
9
…
215
216
→