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.
Aug 04, 2025 — Aug 04, 2026
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Merge pull request #684 from sosy-lab/682-smt2-parsing-crash-javalangunsupportedoperationexception-bound-variables-are-no-longer-explicitly-visited-in-javasmt-use-a-combination-of-visitquantifier-for-the-whole-quantified-formula-and-visitfreevariable-in-the-body-instead
Baier D.
More... 16 days ago
Throw an exception when the Princess parser return a non-nullary predicate
Daniel Raffler
More... 27 days ago
Remove unused argument
Daniel Raffler
More... about 1 month ago
When parsing in Princess, use the symbols from the solver to extend the variable caches
Daniel Raffler
More... about 1 month ago
Add a test for #682
Daniel Raffler
More... about 1 month ago
Update class paths for building in Ant and Eclipse
Philipp Wendler
More... about 1 month ago
Merge pull request #673 from sosy-lab/handle_model_generation_api_through_impl_delegates
Baier D.
More... about 2 months ago
Merge pull request #671 from sosy-lab/add_common_optimizationProver_delegate2
Baier D.
More... about 2 months ago
Merge branch 'add_common_optimizationProver_delegate2' into handle_model_generation_api_through_impl_delegates
BaierD
More... about 2 months ago
Merge branch 'master' into add_common_optimizationProver_delegate2
BaierD
More... about 2 months ago
Add type check for delegate in InterpolatingProverDelegate
BaierD
More... about 2 months ago
Add type check for delegate in OptimizationProverDelegate
BaierD
More... about 2 months ago
Merge pull request #677 from sosy-lab/remove_experimental_fp_to_bv_impl_from_bitwuzla
Baier D.
More... about 2 months ago
Use proper require method in test using FP-to-BV
BaierD
More... about 2 months ago
Remove experimental FP-to-BV impl from Bitwuzla, as it adds formulas to the solver stack silently and in unexpected circumstances + remove all unused methods from Bitwuzla
BaierD
More... about 2 months ago
Remove another redundant usage of checkGenerateModels() from MathSAT
BaierD
More... about 2 months ago
Reduce visibility of getModelImpl() and getEvaluatorImpl() as they should not be public
BaierD
More... about 2 months ago
Add implementations for getModel() and getEvaluator() in AbstractProver with new abstract methods that implement their behavior, so that the common checks are in a central class and guaranteed to be called in all cases + remove the now redundant checks from the implementations
BaierD
More... about 2 months ago
Remove common checks from Optimization Provers of Z3 and Mathsat
BaierD
More... about 2 months ago
Add new OptimizationProverDelegate that handled common checks of OptimizationProvers
BaierD
More... about 2 months ago
Add common API in AbstractProver to check inheritors for closed status
BaierD
More... about 2 months ago
Merge pull request #666 from sosy-lab/add_smtlib2_tokenizer_iterator
Baier D.
More... about 2 months ago
Merge pull request #626 from sosy-lab/613-feature-request-setting-solver-logic-via-javasmt
Baier D.
More... about 2 months ago
Rename test class only testing Z3 and moving it into the Z3 package
BaierD
More... 2 months ago
Make naming of engine enum in Z3 match our naming schema
BaierD
More... 2 months ago
Remove unused Z3 method for getting options and add more description to other
BaierD
More... 2 months ago
Make next token retrieval end-recursive for empty tokens (if there may be more tokens) in SMTLibTokenizer, simplifying the code
BaierD
More... 2 months ago
Extract loop to find the next non-empty token in the SMTLibTokenizer into method + remove explicit String size variable
BaierD
More... 2 months ago
Extend JavaDoc of constructor method in SMTLibTokenizer + some more info about the toImmutableList() method
BaierD
More... 2 months ago
Rename dequote() method to dequoteSMTLib() to make it clear what type of input is dequoted
BaierD
More... 2 months ago