J

JavaSMT

Settings | Report Duplicate

0

I Use This!

High Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Feb 12, 2025 — Feb 12, 2026 Showing page 8 of 188 Search / Filter on:
move some common code upwards in the class hierarchy of AbstractProver.	Karlheinz Friedberger	More...				3 months ago
Merge branch 'master' into use_new_cvc5_parser	BaierD	More...				3 months ago
Add Z3 legacy build publish script	BaierD	More...				3 months ago
simplify code, and remove CachingModel where not required.	Karlheinz Friedberger	More...				3 months ago
fix test: unsat-core access requires an unsat prover-state.	Karlheinz Friedberger	More...				3 months ago
Prover usage: simplify code and avoid redundant checks.	Karlheinz Friedberger	More...				3 months ago
Model usage: improve code.	Karlheinz Friedberger	More...				3 months ago
Model usage: fix usage of model values and model evaluation after changing the underlying context.	Karlheinz Friedberger	More...				3 months ago
Merge pull request #552 from sosy-lab/531-visitor-broken-when-using-optimathsat	daniel-raffler	More...				3 months ago
MathSAT: Disable enumerations when OptiMathSat is used	Daniel Raffler	More...				3 months ago
Merge pull request #551 from sosy-lab/feat/refactor-cvc4-cvc5-model	Karlheinz Friedberger	More...				3 months ago
CVC4/CVC5 Model: restructure and simplify some code.	Karlheinz Friedberger	More...				3 months ago
Make array model tests more permissive and allow solvers to drop an index if it is covered by the default value	Daniel Raffler	More...				3 months ago
Disable broken array model tests	Daniel Raffler	More...				3 months ago
Skip OpenSMT in tests that require constant arrays	Daniel Raffler	More...				3 months ago
Merge branch 'master' into bitwuzla-arrayModelGeneration	Daniel Raffler	More...				3 months ago
CVC4/CVC5/Bitwuzla Model: replace unneeded recursion with simpler while loop.	Karlheinz Friedberger	More...				3 months ago
Merge pull request #550 from sosy-lab/548-add-cvc5-binaries-for-windows-on-arm64	Karlheinz Friedberger	More...				3 months ago
CVC5: update to version 2025-11-13-ef82847.	Karlheinz Friedberger	More...				3 months ago
CVC5: extend publishing scripts for CVC5 on Windows with ARM64.	Karlheinz Friedberger	More...				3 months ago
Merge pull request #539 from sosy-lab/fix_cvc5_array_model	Karlheinz Friedberger	More...				3 months ago
CVC4 Visitor: fix visitation of SEP_NIL.	Karlheinz Friedberger	More...				3 months ago
CVC4 Model: fix model tests.	Karlheinz Friedberger	More...				3 months ago
CVC4 Model: backport latest changes for CVC5 model-handling (including arrays and UFs) towards CVC4.	Karlheinz Friedberger	More...				3 months ago
fix compiler warning in tests.	Karlheinz Friedberger	More...				3 months ago
Z3 Model: reduce internal variables in the model.	Karlheinz Friedberger	More...				3 months ago
CVC5 Model: replace recursive implementation with faster and simpler visitor usage.	Karlheinz Friedberger	More...				3 months ago
Model test: update documentation	Karlheinz Friedberger	More...				3 months ago
CVC5 Model: use common code for retrieving variable names.	Karlheinz Friedberger	More...				3 months ago
CVC5 Model: improve documentation and simplify more code.	Karlheinz Friedberger	More...				3 months ago

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