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 12 of 188 Search / Filter on:
Access getBitvectorTypeWithSize() directly from FormulaType instead of BitvectorType in SolverVisitorTest.java	BaierD	More...				4 months ago
Access BitvectorType directly in SolverVisitorTest.java	BaierD	More...				4 months ago
Z3 visitor: reverse order of bound variables in the visitor, as they are instantiated reversed	BaierD	More...				4 months ago
Add tests for quantifier visitation/variable extraction in SolverVisitorTest with more than one bound variable	BaierD	More...				4 months ago
Princess: Disable a test that requires model values for arrays with multiple indices	Daniel Raffler	More...				5 months ago
Princess: Disable a test that requires evaluation of String formulas	Daniel Raffler	More...				5 months ago
Extend the comments in FormulaType fromString() and FP toString() with more info about the reasoning why the mantissa includes the hidden bit	BaierD	More...				5 months ago
Explicitly name sign bit in FloatingPointNumber constructor JavaDoc, as it is used when constructing	Baier D.	More...				5 months ago
Change comment about total FP precision size in fromIeeeBitvectorImpl() for CVC4/5 to reflect what we do in the method better	BaierD	More...				5 months ago
Rename wrongly named variable in CVC4 FP impl	BaierD	More...				5 months ago
Rename wrongly named variable in Mathsat5 FP impl	BaierD	More...				5 months ago
Remove @InlineMe from deprecated method getFloatingPointType() so that users explicitly have to choose one of the 2 successor methods	BaierD	More...				5 months ago
update our javaSMT-internal Yices-bindings to our latest release.	Karlheinz Friedberger	More...				5 months ago
Princess: Simplify formulas before evaluation	Daniel Raffler	More...				5 months ago
Princess: Simplify code for getting the sort of a term in PrincessEnvironment	Daniel Raffler	More...				5 months ago
Princess: Return to using the partial model	Daniel Raffler	More...				5 months ago
Add tests for array and Uf values in the model	Daniel Raffler	More...				5 months ago
Fix Eclipse classpath	Philipp Wendler	More...				5 months ago
Merge pull request #518 from sosy-lab/princess-2025-06-25	Karlheinz Friedberger	More...				5 months ago
Merge remote-tracking branch 'origin/master' into princess-2025-06-25	Karlheinz Friedberger	More...				5 months ago
fix CheckStyle warning	Karlheinz Friedberger	More...				5 months ago
Princess: disable collection of model constraints if model generation is disabled.	Karlheinz Friedberger	More...				5 months ago
Merge pull request #526 from sosy-lab/chore/dependency-update	Karlheinz Friedberger	More...				5 months ago
fix warnings from Refaster	Karlheinz Friedberger	More...				5 months ago
use updated version of Refaster, from "main" branch.	Karlheinz Friedberger	More...				5 months ago
fix warnings from SpotBugs.	Karlheinz Friedberger	More...				5 months ago
update Eclipse settings	Karlheinz Friedberger	More...				5 months ago
fix compiler warning.	Karlheinz Friedberger	More...				5 months ago
chore: update project files like gitlab-ci with newer jdk24.	Karlheinz Friedberger	More...				5 months ago
chore: update dependencies	Karlheinz Friedberger	More...				5 months ago

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