Open Hub
Open Hub

 Settings |  Report Duplicate

0
I Use This!
High Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.
Feb 28, 2025 — Feb 28, 2026
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Merge pull request #601 from sosy-lab/unify_optimization_solving_getModel_behavior
Baier D.
More... 1 day ago
Add missing model generation checks for Optimization model generating methods lower/upper
BaierD
More... 2 days ago
Extend OptimizationTest with tests for expected exceptions when calling lower/upper after changing the stack and add model generation options
BaierD
More... 2 days ago
Merge pull request #604 from sosy-lab/603-update-to-cvc5-version-133
Karlheinz Friedberger
More... 2 days ago
CVC5: update to latest version 2026-02-26-d22638a
Karlheinz Friedberger
More... 2 days ago
Merge pull request #602: Enable bitvector tests for "Z3 with interpolation"
Baier D.
More... 2 days ago
Z3 interpol: Enable bitvector tests
Daniel Raffler
More... 2 days ago
Add checkGenerateModels to Mathsat5OptimizationProver getModel() so that it behaves as all other getModel() calls
BaierD
More... 3 days ago
Add tests for failing model generation cases (e.g. adding another constraint after SAT) for optimization solving
BaierD
More... 3 days ago
Merge pull request #595 from sosy-lab/feat/support-parse-all
Karlheinz Friedberger
More... 4 days ago
improve documentation, from review comment.
Karlheinz Friedberger
More... 9 days ago
fix test: less special logic for some solvers.
Karlheinz Friedberger
More... 12 days ago
YIces2: revert changes to parseImpl.
Karlheinz Friedberger
More... 12 days ago
fix compiler warnings.
Karlheinz Friedberger
More... 12 days ago
feat: add new method for parsing multiple assertions from SMTLIB input to formulas.
Karlheinz Friedberger
More... 15 days ago
chore: refactor long method for parsing assertions in Bitwuzla.
Karlheinz Friedberger
More... 17 days ago
Changes to the FormulaManager.equal and FormulaManager.distinct API (#584)
daniel-raffler
More... 20 days ago
Merge pull request #591 from sosy-lab/579-optimize-model-generation-in-cvc5
Karlheinz Friedberger
More... 20 days ago
Enable CVC5 in two concurrency tests that require parsing (#593)
daniel-raffler
More... 27 days ago
Refaster
Daniel Raffler
More... 28 days ago
Refaster
Daniel Raffler
More... 28 days ago
CVC4: Optimize model generation
Daniel Raffler
More... 28 days ago
Apply refaster patch
Daniel Raffler
More... about 1 month ago
Intelij: Update the date in the copyright template to always match the current year (#590)
daniel-raffler
More... about 1 month ago
CVC5,Bitwuzla: Optimize model generation
Daniel Raffler
More... about 1 month ago
Fix badge links in README.md
Karlheinz Friedberger
More... about 1 month ago
Merge pull request #577 from anaslari23/contribution/issue-384-macos-windows-ci
Karlheinz Friedberger
More... about 1 month ago
Github-CI: consider JDK version for caching.
Karlheinz Friedberger
More... about 1 month ago
Github-CI: re-add caching based on dependency-file, and consider architecture.
Karlheinz Friedberger
More... about 1 month ago
Github-CI: fix typo
Karlheinz Friedberger
More... about 1 month ago