J

JavaSMT

Settings | Report Duplicate

0

I Use This!

High Activity

Commits : Listings

Analyzed about 1 hour ago. based on code collected about 1 hour ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Feb 14, 2025 — Feb 14, 2026 Showing page 3 of 188 Search / Filter on:
CVC5: add doc why we switched to using mantissaSizeWithHiddenBit() in IEEE BV to FP method	BaierD	More...				25 days ago
FP number test: add documentation as to why we designed a test with getMantissaSizeWithHiddenBit and with getMantissaSizeWithoutHiddenBit + 1	BaierD	More...				25 days ago
CVC5: switch to using mantissaSizeWithHiddenBit() in IEEE BV to FP method, as CVC5 defines FP sorts to be used with hidden bit and without sign bit	BaierD	More...				25 days ago
Add additional documentation about mantissa size to Z3 FP makeNumberImpl() and add some assertions for it as well	BaierD	More...				26 days ago
Update FP license headers to 2026	BaierD	More...				26 days ago
Add missing sign bit to CVC5 Ieee BV impl	BaierD	More...				26 days ago
Adapt expected mantissa size in FP test checkErrorOnInvalidSize_IeeeBv2FpConversion to what the standard (and the updated toString) contains, essentially incrementing the expected mantissa by 1	BaierD	More...				26 days ago
Adapt Z3Legacy FP to new API that makes a distinction between Mantissa with and without hidden bit	BaierD	More...				26 days ago
Merge branch 'master' into fix_floating-point_mantissa_not_including_sign_bit	BaierD	More...				26 days ago
Merge pull request #581 from sosy-lab/576-crashes-with-overloaded-variable-names-in-cvc-and-princess	daniel-raffler	More...				26 days ago
Bitwuzla: Removed a native test that introduced a race condition	Daniel Raffler	More...				26 days ago
Bitwuzla: Don't extend AutoCloseable for Reference to avoid spurious warnings about possible resource leaks	Daniel Raffler	More...				26 days ago
Bitwuzla: Free memory when closing a ProverEnvironment	Daniel Raffler	More...				26 days ago
Bitwuzla: Use Deque to manage references to reduce memory overhead	Daniel Raffler	More...				26 days ago
Bitwuzla: Also track vectors of Terms/Sorts	Daniel Raffler	More...				28 days ago
Bitwuzla: Add debug info when compiling SWIG generated classes	Daniel Raffler	More...				28 days ago
Bitwuzla: Update tests	Daniel Raffler	More...				28 days ago
Bitwuzla: Use getEnv() from FormulaCreateor to get the TermManager	Daniel Raffler	More...				28 days ago
Bitwuzla: Track solver objects to fix memory leaks	Daniel Raffler	More...				28 days ago
CVC5: Use Context.deletePointers() to avoid memory leaks	Daniel Raffler	More...				about 1 month ago
CVC5: Reuse global Solver in QuantifiedFormulaManager	Daniel Raffler	More...				about 1 month ago
Enable CVC5 on macOS in SolverContextFactoryTest	anaslari23	More...				about 1 month ago
Fix macOS solver support and eliminate CI warnings	anaslari23	More...				about 1 month ago
Fix macOS solver support matrix and native-loader tests	anaslari23	More...				about 1 month ago
Refine CI: Add Ivy caching, use Chocolatey for Windows Ant, and ensure strict error handling	anaslari23	More...				about 1 month ago
Update ci.yml	Karlheinz Friedberger	More...				about 1 month ago
Update ci.yml	Karlheinz Friedberger	More...				about 1 month ago
Refactor CI into OS-specific jobs for clarity and reliability (Maintainer Feedback #384)	anaslari23	More...				about 1 month ago
Refine CI: Revert to single job matrix, fix JDK setup, and improve native library prep (PR Review Feedack)	anaslari23	More...				about 1 month ago
Refactor CI into separate jobs for Ubuntu, macOS, and Windows (Maintainer Feedback #384)	anaslari23	More...				about 1 month ago

←
1
2
3
4
5
6
7
8
9
…
187
188
→