Open Hub
Open Hub

 Settings |  Report Duplicate

1
I Use This!
High Activity

Commits : Listings

Analyzed about 4 hours ago. based on code collected about 4 hours ago.
Sep 07, 2025 — Oct 07, 2025
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Merge branch 'auto-update-dependencies' into 'main'
🤖 SoSy-Bot 🤖
More... about 8 hours ago
Auto-update dependencies
🤖 SoSy-Bot 🤖
More... about 9 hours ago
Merge remote-tracking branch 'origin/main' into auto-update-dependencies
🤖 SoSy-Bot 🤖
More... about 9 hours ago
Merge branch 'chore/java-smt-update-5.0.1-7xx' into 'main'
Daniel Baier
More... 5 days ago
Merge branch 'update_cmc+pcc_runcollection' into 'main'
Daniel Baier
More... 6 days ago
Replace commented out Apron based analyses defs with ?ignore statements in CMC+PCC run-collection
BaierD
More... 7 days ago
Comment out Apron based analyses in CMC+PCC run-collection
BaierD
More... 7 days ago
Update CMC+PCC run-collection to not collide due to duplicate tasks in run-defs
BaierD
More... 7 days ago
Auto-update dependencies
🤖 SoSy-Bot 🤖
More... 8 days ago
FloatValue: use methods from FP-Sign instead of direct comparison.
kfriedberger
as Karlheinz Friedberger
More... 10 days ago
Merge remote-tracking branch 'origin/main' into auto-update-dependencies
🤖 SoSy-Bot 🤖
More... 11 days ago
fix or disable tests that use newer solver versions.
kfriedberger
as Karlheinz Friedberger
More... 12 days ago
chore: update JavaSMT to v5.0.1-723.
kfriedberger
as Karlheinz Friedberger
More... 12 days ago
Merge branch 'add-documentation-to-dss-classes' into 'main'
Thomas Lemberger
More... 12 days ago
Merge remote-tracking branch 'origin/main' into auto-update-dependencies
🤖 SoSy-Bot 🤖
More... 12 days ago
Merge branch 'formula-to-c-improvements' into 'main'
kfriedberger
as Karlheinz Friedberger
More... 13 days ago
Fix link in javadoc
Thomas Lemberger
More... 14 days ago
Add documentation to some DSS classes
Thomas Lemberger
More... 14 days ago
Auto-update dependencies
🤖 SoSy-Bot 🤖
More... 16 days ago
fix Refaster warning about accessing first list-item.
kfriedberger
as Karlheinz Friedberger
More... 17 days ago
FormulaToCExpressionVisitor: add support for FP operations IS_ZERO, IS_NAN, IS_INF.
kfriedberger
as Karlheinz Friedberger
More... 17 days ago
FormulaToCExpressionVisitor: remove unneeded newline from OR operation.
kfriedberger
as Karlheinz Friedberger
More... 17 days ago
Auto-update dependencies
🤖 SoSy-Bot 🤖
More... 17 days ago
Merge branch 'auto-update-dependencies' into 'main'
Philipp Wendler
More... 19 days ago
Suppress new SpotBugs warning
Philipp Wendler
More... 19 days ago
Use JDK method instead of Guava method as suggested by Error Prone
Philipp Wendler
More... 19 days ago
Auto-update dependencies
🤖 SoSy-Bot 🤖
More... 19 days ago
Merge branch '1319-fix-broken-unchecked-cast-on-cfautils' into 'main'
Thomas Lemberger
More... 20 days ago
Fix case in predicate analysis were wrong equals was used for floats
Philipp Wendler
More... 20 days ago
Merge branch 'atomic-types' into 'main'
Philipp Wendler
More... 20 days ago