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 14 of 188 Search / Filter on:
Update all names referencing the hidden bit in Floating-Point precisions as sign bit to "hidden" bit	BaierD	More...				5 months ago
Princess: Handle all constant values for the visitor in isValue()	Daniel Raffler	More...				5 months ago
Princess: Use variables to make the test for zero division more general	Daniel Raffler	More...				5 months ago
Split BV to FP to BV tests and remove solverSupportsNativeFPToBitvector() method	BaierD	More...				5 months ago
SL: test visitor.	Karlheinz Friedberger	More...				5 months ago
Princess: Update a test in FormulaClassifierTest	Daniel Raffler	More...				5 months ago
Princess: Enable one of the tests for codepoints in string theory	Daniel Raffler	More...				5 months ago
fix Checkstyle warnings about JavaDoc, hidden fields, etc.	Karlheinz Friedberger	More...				5 months ago
Princess: Add another case to the testDivisionByZero to check that (/ a 0) is still a function	Daniel Raffler	More...				5 months ago
Princess: Remove Princess from the blacklist in the testDivisionByZero test	Daniel Raffler	More...				5 months ago
Princess: Add a comment about divWithSpecialZero	Daniel Raffler	More...				5 months ago
Princess: Remove extra parentheses	Daniel Raffler	More...				5 months ago
Tests: provide separation logic as slmgr for tests.	Karlheinz Friedberger	More...				5 months ago
Tests: allow additional options to be given to prover in TestSubject.	Karlheinz Friedberger	More...				5 months ago
Separation Logic: add initial test.	Karlheinz Friedberger	More...				5 months ago
CVC5: fix repeated usage of non-incremental mode in solver, i.e., just create a new solver whenever needed.	Karlheinz Friedberger	More...				5 months ago
CVC5: set default logic ALL for CVC5.	Karlheinz Friedberger	More...				5 months ago
CVC5: improve handling of separation logic.	Karlheinz Friedberger	More...				5 months ago
CVC4: add info about broken method.	Karlheinz Friedberger	More...				5 months ago
Separation logic: improve documentation.	Karlheinz Friedberger	More...				5 months ago
Use the correct getter for mantissas in Z3FormulaCreator for FPs	BaierD	More...				5 months ago
Remove accidentally added class	BaierD	More...				5 months ago
Refactor some FP/precision sizes/mantissa code in CVC4	BaierD	More...				5 months ago
Simplify calculation of total size of FP type	BaierD	More...				5 months ago
Princess: Use total definition for division where a/0 is allowed	Daniel Raffler	More...				5 months ago
Princess: Update Princess to version 2025-06-25 and Ostrich to 2.0	Daniel Raffler	More...				5 months ago
Make exception thrown by CVC5 in fromIeeeBitvectorImpl() a IllegalArgumentException, as it fits better	BaierD	More...				5 months ago
Improve default type sizes check error msg for fromIeeeBitvector() and add more info about CVC5 exception for the same method	BaierD	More...				5 months ago
Add default type sizes check for fromIeeeBitvector()	BaierD	More...				5 months ago
Merge pull request #515 from sosy-lab/feat/immutable-lists	Karlheinz Friedberger	More...				5 months ago

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