J

JavaSMT

Settings | Report Duplicate

0

I Use This!

High Activity

Commits : Listings

Analyzed about 20 hours ago. based on code collected about 20 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Feb 06, 2025 — Feb 06, 2026 Showing page 13 of 188 Search / Filter on:
chore: update project files like gitlab-ci with newer jdk24.	Karlheinz Friedberger	More...				5 months ago
Merge pull request #523 from sosy-lab/yices2-arrays	Karlheinz Friedberger	More...				5 months ago
SolverFormulaIOTest: remove empty statement / unneeded semicolon.	Karlheinz Friedberger	More...				5 months ago
SolverFormulaIOTest: check declared function symbols, also for arrays.	Karlheinz Friedberger	More...				5 months ago
Yices2: rename constant for function-application or array-select.	Karlheinz Friedberger	More...				5 months ago
Yices2: avoid repeated access to map.	Karlheinz Friedberger	More...				5 months ago
fix Docker image description.	Karlheinz Friedberger	More...				5 months ago
Merge pull request #522 from sosy-lab/519-cvc5-fails-while-calculating-an-interpolant-sequence	Karlheinz Friedberger	More...				5 months ago
enable disabled test for interpolation in BV theory with CVC5.	Karlheinz Friedberger	More...				5 months ago
Fix incorrect JavaDoc for FP precision total size API and make the calculation explicit in the code	BaierD	More...				5 months ago
Add FP single/double precision sizes to FloatingPointNumberTest.java, as we don't want to use the deprecated public API	BaierD	More...				5 months ago
Re-add removed FP single/double mantissa size constants and deprecate them so that we can remove them from the public API	BaierD	More...				5 months ago
Enable FP to IEEE BV precision tests for Z3 and Bitwuzla fully by using the solver to check equality instead of equals()	BaierD	More...				5 months ago
Disable parts of FP to IEEE BV tests for Z3, as it returns a query instead of a const BV	BaierD	More...				5 months ago
Remove @InlineMe annotation for deprecated call getMantissaSize(), as there are 2 possible replacements and the user should decide which fits best	BaierD	More...				5 months ago
Remove @InlineMe annotation for deprecated call getMantissaSize(), as there are 2 possible replacements and the user should decide which fits best	BaierD	More...				5 months ago
Merge branch 'master' into use_solver_native_bv_to_ieee-fp_CVC4_CVC5	BaierD	More...				5 months ago
Add tests for FP type (precision) toString(), fromString(), and toSMTLIB2String()	BaierD	More...				5 months ago
Yices: Fix Checkstyle issues	Daniel Raffler	More...				5 months ago
Yices: Add array theory	Daniel Raffler	More...				5 months ago
formatting	Karlheinz Friedberger	More...				5 months ago
fix invalid interpolation query for CVC5.	Karlheinz Friedberger	More...				5 months ago
Princess: Fix the broken test	Daniel Raffler	More...				5 months ago
Princess: Fix imports	Daniel Raffler	More...				5 months ago
Merge pull request #517 from sosy-lab/feat/improve-separation-logic	Karlheinz Friedberger	More...				5 months ago
Tests: Enable tests that were previously disabled, but are now running fine	Daniel Raffler	More...				5 months ago
CVC4: improve implementation of SL.	Karlheinz Friedberger	More...				5 months ago
Princess: Add support for `floor` operation	Daniel Raffler	More...				5 months ago
Improve some JavaDoc in FloatingPointFormulaManager.java in relation to FP sizes and the hidden bit	BaierD	More...				5 months ago
Revert some changes back to sign bit that were accidentally changed	BaierD	More...				5 months ago

←
1
2
…
9
10
11
12
13
14
15
16
17
…
187
188
→