J

JavaSMT

Settings | Report Duplicate

0

I Use This!

High Activity

Commits : Listings

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

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Feb 16, 2025 — Feb 16, 2026 Showing page 7 of 188 Search / Filter on:
Merge pull request #555 from sosy-lab/547-sigsegvs-in-mathsat5-when-requesting-models	Karlheinz Friedberger	More...				3 months ago
MathSAT: improve version number by replacing certain hash-based versions with a proper version string.	Karlheinz Friedberger	More...				3 months ago
MathSAT: update to version 5.6.14	Karlheinz Friedberger	More...				3 months ago
Enable some interpolation tests again that were disabled for LegacyZ3.	Karlheinz Friedberger	More...				3 months ago
LegacyZ3: fix compiler warning	Karlheinz Friedberger	More...				3 months ago
LegacyZ3: add symlinks for dependencies on Linux	Karlheinz Friedberger	More...				3 months ago
LegacyZ3: add license-info for patch-file and documentation.	Karlheinz Friedberger	More...				3 months ago
LegacyZ3: enable JavaSMT's loading mechanism for LegacyZ3.	Karlheinz Friedberger	More...				3 months ago
LegacyZ3: improve implementation with basic features from upstream Z3.	Karlheinz Friedberger	More...				3 months ago
Extends classpaths for Z3 legacy	BaierD	More...				3 months ago
Add Z3 legacy config to runtime configs	BaierD	More...				3 months ago
Add publish script of Z3 legacy to available publish scripts	BaierD	More...				3 months ago
Extend ivy.xml with dependency and configs for Z3 legacy	BaierD	More...				3 months ago
Merge pull request #541 from sosy-lab/bitwuzla-arrayModelGeneration	Karlheinz Friedberger	More...				3 months ago
Add ivy solver config file for Z3 legacy	BaierD	More...				3 months ago
Implement z3 legacy publish script (only x64 linux, no sources, no JavaDoc for now) + rename z3 legacy publish script	BaierD	More...				3 months ago
Make options of Z3 legacy distinct from normal z3 options	BaierD	More...				3 months ago
BitwuzlaModel: further simplification.	Karlheinz Friedberger	More...				3 months ago
Merge pull request #554 from leventeBajczi/z3-4.5.0-sources-patch	Baier D.	More...				3 months ago
BitwuzlaModel: use proper visitor for fromula inspection, instead of self-written formula-inspection.	Karlheinz Friedberger	More...				3 months ago
BitwuzlaModel: avoid recursive methods.	Karlheinz Friedberger	More...				3 months ago
BitwuzlaModel: avoid recursive methods.	Karlheinz Friedberger	More...				3 months ago
Merge remote-tracking branch 'origin/master' into bitwuzla-arrayModelGeneration	Karlheinz Friedberger	More...				3 months ago
Merge pull request #553 from sosy-lab/fix/avoid-non-consistent-model-usage	Karlheinz Friedberger	More...				3 months ago
more documentation.	Karlheinz Friedberger	More...				3 months ago
fix compiler warning: missing override-annotation	Karlheinz Friedberger	More...				3 months ago
more documentation.	Karlheinz Friedberger	More...				3 months ago
added patch and readme for z3-4.5.0 building	Levente Bajczi	More...				3 months ago
change initial flag-value to require sat-check before accessing model, even on empty stack.	Karlheinz Friedberger	More...				3 months ago
unify error handling and messages for unsupported assumption solving and unsat core.	Karlheinz Friedberger	More...				3 months ago

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