projects
/
cvc5.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
cvc5.git
2018-09-22
Mathias Preiner
cmake: Fix some includes.
commit
|
commitdiff
|
tree
2018-09-22
Aina Niemetz
cmake: Added support for coverage and profiling.
commit
|
commitdiff
|
tree
2018-09-22
Aina Niemetz
cmake: Added 3-valued option handling (to enable detect...
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Add module finder for readline.
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Generate token headers.
commit
|
commitdiff
|
tree
2018-09-22
Aina Niemetz
cmake: Added licensing options and warnings/errors.
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Cleanup CMakeLists.txt files, remove SHARED.
commit
|
commitdiff
|
tree
2018-09-22
Aina Niemetz
cmake: Add build configurations.
commit
|
commitdiff
|
tree
2018-09-22
Aina Niemetz
cmake: Fixed compiler flag macros.
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Add module finder for LFSC.
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Add module finder for CaDiCaL.
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Add module finder for CryptoMiniSat.
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Add module finder for SymFPU.
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Add module finder for CLN.
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Add libsignatures for proofs.
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Remove unused CMakeLists.txt
commit
|
commitdiff
|
tree
2018-09-22
Aina Niemetz
cmake: Generate cvc4autoconfig.h (options currently...
commit
|
commitdiff
|
tree
2018-09-22
Aina Niemetz
cmake: Added missing dependency for src/util
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Working build infrastructure.
commit
|
commitdiff
|
tree
2018-09-22
Mathias Preiner
cmake: Antlr parser generation done.
commit
|
commitdiff
|
tree
2018-09-22
Aina Niemetz
cmake: Generate trace and debug tags
commit
|
commitdiff
|
tree
2018-09-22
Aina Niemetz
cmake: .cpp generation done, .h generation not yet...
commit
|
commitdiff
|
tree
2018-09-22
Aina Niemetz
cmake: Added initial build infrastructure.
commit
|
commitdiff
|
tree
2018-09-19
Andrew Reynolds
Decision strategy: incorporate arrays. (#2495)
commit
|
commitdiff
|
tree
2018-09-19
Andres Noetzli
Add rewrites for str.contains + str.replace/substr...
commit
|
commitdiff
|
tree
2018-09-19
Andrew Reynolds
Decision strategy: incorporate separation logic. (...
commit
|
commitdiff
|
tree
2018-09-19
Andrew Reynolds
Add two rewrites for string contains character (#2492)
commit
|
commitdiff
|
tree
2018-09-19
Andrew Reynolds
Refactor strings extended functions inferences (#2480)
commit
|
commitdiff
|
tree
2018-09-19
Aina Niemetz
New C++ API: Introduce new macro and exception for...
commit
|
commitdiff
|
tree
2018-09-18
Andres Noetzli
Fix issue with str.idof in evaluator (#2493)
commit
|
commitdiff
|
tree
2018-09-18
Andrew Reynolds
Decision strategy: incorporate strings fmf. (#2485)
commit
|
commitdiff
|
tree
2018-09-18
Andrew Reynolds
More aggressive caching of string skolems. (#2491)
commit
|
commitdiff
|
tree
2018-09-18
Andrew Reynolds
Move and rename sygus solver classes (#2488)
commit
|
commitdiff
|
tree
2018-09-18
Haniel Barbosa
fix assertion error (#2487)
commit
|
commitdiff
|
tree
2018-09-18
Andrew Reynolds
Clean remaining references to getNextDecisionRequest...
commit
|
commitdiff
|
tree
2018-09-18
Andrew Reynolds
Improvements and fixes for symmetry detection and break...
commit
|
commitdiff
|
tree
2018-09-17
Andrew Reynolds
Move inst_strategy_cbqi to inst_strategy_cegqi (#2477)
commit
|
commitdiff
|
tree
2018-09-17
Andrew Reynolds
Decision strategy: incorporate cegis unif (#2482)
commit
|
commitdiff
|
tree
2018-09-17
Andrew Reynolds
Decision strategy: incorporate bounded integers (...
commit
|
commitdiff
|
tree
2018-09-17
Andrew Reynolds
Decision strategy: incorporate datatypes sygus solver...
commit
|
commitdiff
|
tree
2018-09-17
Andrew Reynolds
More aggressive skolem caching for strings, document...
commit
|
commitdiff
|
tree
2018-09-17
Andrew Reynolds
Make strings model construction robust to lengths that...
commit
|
commitdiff
|
tree
2018-09-17
Andres Noetzli
Follow redirects with cURL in contrib/get* scripts...
commit
|
commitdiff
|
tree
2018-09-17
Andres Noetzli
Remove broken dumping support from portfolio build...
commit
|
commitdiff
|
tree
2018-09-17
Andres Noetzli
Remove unnecessary tracing from preprocessing (#2472)
commit
|
commitdiff
|
tree
2018-09-17
Andrew Reynolds
Decision strategy: incorporate UF with cardinality...
commit
|
commitdiff
|
tree
2018-09-17
Andrew Reynolds
Decision strategy: incorporate sygus feasible and sygus...
commit
|
commitdiff
|
tree
2018-09-15
Andres Noetzli
Refactor how assertions are added to decision engine...
commit
|
commitdiff
|
tree
2018-09-14
Andrew Reynolds
Add Skolem cache for strings, refactor length registrat...
commit
|
commitdiff
|
tree
2018-09-14
Andrew Reynolds
Generalize CandidateRewriteDatabase to ExprMiner (...
commit
|
commitdiff
|
tree
2018-09-13
Mathias Preiner
Fix #include for minisat headers in bvminisat. (#2463)
commit
|
commitdiff
|
tree
2018-09-13
Haniel Barbosa
Uses information gain heuristic for building better...
commit
|
commitdiff
|
tree
2018-09-13
Andrew Reynolds
Simplify storing of transcendental function application...
commit
|
commitdiff
|
tree
2018-09-13
Andrew Reynolds
Decision strategy: incorporate CEGQI (#2460)
commit
|
commitdiff
|
tree
2018-09-12
Aina Niemetz
New C++ API: Try to fix (false positive) Coverity warni...
commit
|
commitdiff
|
tree
2018-09-12
Aina Niemetz
Examples: Remove obsolete flag CVC4_MAKE_EXAMPLES....
commit
|
commitdiff
|
tree
2018-09-12
Andrew Reynolds
Initial infrastructure for theory decision manager...
commit
|
commitdiff
|
tree
2018-09-12
Andrew Reynolds
Fix for when strings process loop is disabled. (#2456)
commit
|
commitdiff
|
tree
2018-09-11
Aina Niemetz
Fixe compiler warning in line_buffer.cpp. (#2453)
commit
|
commitdiff
|
tree
2018-09-11
Andrew Reynolds
Support model cores via option --produce-model-cores...
commit
|
commitdiff
|
tree
2018-09-11
yoni206
Avoid calling size() every iteration (#2450)
commit
|
commitdiff
|
tree
2018-09-11
Andrew Reynolds
Fix global negate (#2449)
commit
|
commitdiff
|
tree
2018-09-11
Haniel Barbosa
fix (#2446)
commit
|
commitdiff
|
tree
2018-09-11
Andres Noetzli
Set NodeManager to nullptr when exporting vars (#2445)
commit
|
commitdiff
|
tree
2018-09-11
Haniel Barbosa
Using a single condition enumerator in sygus-unif ...
commit
|
commitdiff
|
tree
2018-09-11
Aina Niemetz
Refactor non-clausal simplify preprocessing pass. ...
commit
|
commitdiff
|
tree
2018-09-10
Andrew Reynolds
Squash implementation of counterexample-guided instanti...
commit
|
commitdiff
|
tree
2018-09-10
Andres Noetzli
Add (str.replace (str.replace y w y) y z) rewrite ...
commit
|
commitdiff
|
tree
2018-09-07
Mathias Preiner
Replace boost::integer_traits with std::numeric_limits...
commit
|
commitdiff
|
tree
2018-09-07
Mathias Preiner
Remove clock_gettime() replacement for macOS. (#2436)
commit
|
commitdiff
|
tree
2018-09-07
Andrew Reynolds
Make isClosedEnumerable a member of TypeNode (#2434)
commit
|
commitdiff
|
tree
2018-09-06
Andrew Reynolds
Further simplify and fix initialization of ce guided...
commit
|
commitdiff
|
tree
2018-09-06
Andrew Reynolds
Refactor and document quantifiers variable elimination...
commit
|
commitdiff
|
tree
2018-09-06
Andrew Reynolds
Minor improvements to interface for rep set. (#2435)
commit
|
commitdiff
|
tree
2018-09-05
Andrew Reynolds
More extended rewrites for strings equality (#2431)
commit
|
commitdiff
|
tree
2018-09-05
Andrew Reynolds
Eliminate select over store in quantifier bodies ...
commit
|
commitdiff
|
tree
2018-09-05
Mathias Preiner
Use std::uniqe_ptr for d_eq_infer to make Coverity...
commit
|
commitdiff
|
tree
2018-09-05
Andrew Reynolds
Remove printing support for sygus enumeration types...
commit
|
commitdiff
|
tree
2018-09-05
Andrew Reynolds
Finer-grained inference of substitutions in incremental...
commit
|
commitdiff
|
tree
2018-09-05
Andres Noetzli
Add regex grammar to rewriter verification tests (...
commit
|
commitdiff
|
tree
2018-09-05
Andrew Reynolds
Extended rewriter for string equalities (#2427)
commit
|
commitdiff
|
tree
2018-09-05
Mathias Preiner
Add HAVE_CLOCK_GETTIME guard to clock_gettime.c (#2428)
commit
|
commitdiff
|
tree
2018-09-04
Andrew Reynolds
Remove redundant strings rewrite. (#2422)
commit
|
commitdiff
|
tree
2018-09-04
Andres Noetzli
Update INSTALL instructions (#2420)
commit
|
commitdiff
|
tree
2018-09-04
Andres Noetzli
Remove CVC3 compatibility layer (#2418)
commit
|
commitdiff
|
tree
2018-09-04
Andres Noetzli
Remove unused options file (#2413)
commit
|
commitdiff
|
tree
2018-09-04
Andrew Reynolds
Minor improvements to theory model builder interface...
commit
|
commitdiff
|
tree
2018-09-04
Andrew Reynolds
Make quantifiers strategies exit immediately when in...
commit
|
commitdiff
|
tree
2018-09-04
Aina Niemetz
Transfer ownership of learned literals from SMT engine...
commit
|
commitdiff
|
tree
2018-09-04
Aina Niemetz
Fix merge mishap of #2359.
commit
|
commitdiff
|
tree
2018-09-04
Andrew Reynolds
Refactor ceg conjecture initialization (#2411)
commit
|
commitdiff
|
tree
2018-08-31
Haniel Barbosa
Allows SAT checks of repair const to have different...
commit
|
commitdiff
|
tree
2018-08-31
Andrew Reynolds
Refactor and document alpha equivalence. (#2402)
commit
|
commitdiff
|
tree
2018-08-31
Haniel Barbosa
Fix export of bound variables (#2409)
commit
|
commitdiff
|
tree
2018-08-30
Mathias Preiner
Refactor theory preprocess into preprocessing pass...
commit
|
commitdiff
|
tree
2018-08-30
Andres Noetzli
Use useBland option in FCSimplexDecisionProcedure ...
commit
|
commitdiff
|
tree
2018-08-30
Andrew Reynolds
Add regular expression elimination module (#2400)
commit
|
commitdiff
|
tree
2018-08-29
Mathias Preiner
Refactor MipLibTrick preprocessing pass. (#2359)
commit
|
commitdiff
|
tree
2018-08-29
Tim King
Forcing attribute_internals.h to use uint64_t's for...
commit
|
commitdiff
|
tree
2018-08-29
Haniel Barbosa
fix bv total ops printing (#2365)
commit
|
commitdiff
|
tree
next