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
Jan 30, 2025 — Jan 30, 2026 Showing page 1 of 188 Search / Filter on:
Intelij: Update the date in the copyright template to always match the current year (#590)	daniel-raffler	More...				2 days ago
Fix badge links in README.md	Karlheinz Friedberger	More...				6 days ago
Merge pull request #577 from anaslari23/contribution/issue-384-macos-windows-ci	Karlheinz Friedberger	More...				6 days ago
Github-CI: consider JDK version for caching.	Karlheinz Friedberger	More...				6 days ago
Github-CI: re-add caching based on dependency-file, and consider architecture.	Karlheinz Friedberger	More...				6 days ago
Github-CI: fix typo	Karlheinz Friedberger	More...				6 days ago
Github-CI: fix library paths for ARM64.	Karlheinz Friedberger	More...				6 days ago
Github-CI: exclude some unsupported combinations of architecture and OS.	Karlheinz Friedberger	More...				6 days ago
Github-CI: use x64 and arm64 runners.	Karlheinz Friedberger	More...				6 days ago
Github-CI: add JDK version 24 to matrix.	Karlheinz Friedberger	More...				6 days ago
Github-CI: rename matrix-field.	Karlheinz Friedberger	More...				6 days ago
revert unintended changes to gitignore-file.	Karlheinz Friedberger	More...				6 days ago
Tests: allow more combinations of architectures, and formatting.	Karlheinz Friedberger	More...				6 days ago
Github-CI: update actions to latest versions.	Karlheinz Friedberger	More...				6 days ago
Github-CI: remove "lib/ivy.xml" from cache-key.	Karlheinz Friedberger	More...				6 days ago
Github-CI: try to fix MathSAT execution by preloading a required base-library that is also loaded by Temurin JDK itself.	Karlheinz Friedberger	More...				6 days ago
Github-CI: remove debug logging	Karlheinz Friedberger	More...				6 days ago
Github-CI: print debug info on Linux	Karlheinz Friedberger	More...				7 days ago
Github-CI: switch to faster/smaller test-set.	Karlheinz Friedberger	More...				7 days ago
Github-CI: update the cache in all cases, not only for successful runs.	Karlheinz Friedberger	More...				7 days ago
Merge remote-tracking branch 'origin/master' into contribution/issue-384-macos-windows-ci	Karlheinz Friedberger	More...				7 days ago
Merge pull request #588 from sosy-lab/fix_z3Legacy_floatingpoints	Karlheinz Friedberger	More...				7 days ago
Merge pull request #585 from sosy-lab/578-memory-leaks-on-cvc45-and-bitwuzla	Karlheinz Friedberger	More...				7 days ago
Merge remote-tracking branch 'origin/master' into 578-memory-leaks-on-cvc45-and-bitwuzla	Karlheinz Friedberger	More...				7 days ago
Fix and ignore compiler/SpotBugs warning.	Karlheinz Friedberger	More...				7 days ago
Fix and ignore compiler/SpotBugs warning.	Karlheinz Friedberger	More...				7 days ago
Merge branch 'master' into fix_z3Legacy_floatingpoints	BaierD	More...				7 days ago
Merge pull request #513 from sosy-lab/fix_floating-point_mantissa_not_including_sign_bit	Baier D.	More...				7 days ago
Merge pull request #589 from sosy-lab/chore/update-cvc5-to-version-2026-01-21	Karlheinz Friedberger	More...				7 days ago
update Bitwuzla to version 0.8.2-108	Karlheinz Friedberger	More...				7 days ago

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