2016-11-03 |
ajreynol | Add priorities to getNextDecision. Properly handle... |
tree | commitdiff |
2016-10-13 |
ajreynol | Merging bv parts of ajr/bvExt branch, minor additions... |
tree | commitdiff |
2016-10-11 |
Paul Meng | Merge branch 'origin' of https://github.com/CVC4/CVC4.git |
tree | commitdiff |
2016-10-01 |
Tim King | Merge pull request #93 from timothy-king/clang-format |
tree | commitdiff |
2016-10-01 |
ajreynol | Incorporate non-bv parts of ajr/bvExt branch |
tree | commitdiff |
2016-09-29 |
ajreynol | Address some coverity warnings, add another stat. |
tree | commitdiff |
2016-09-26 |
Tim King | Disambiguating a type issue. Coverity scan reported... |
tree | commitdiff |
2016-09-19 |
Tim King | Merge pull request #92 from timothy-king/travis-cpp11 |
tree | commitdiff |
2016-09-18 |
ajreynol | Minor fix for strings |
tree | commitdiff |
2016-08-26 |
ajreynol | Basic support for EPR+CBQI. Minor cleanup. |
tree | commitdiff |
2016-08-24 |
PaulMeng | Merge remote-tracking branch 'origin/master' |
tree | commitdiff |
2016-08-16 |
ajreynol | Initial infrastructure for ExtTheory, generalize extend... |
tree | commitdiff |
2016-08-12 |
guykatzz | Merge pull request #90 from 4tXJ7f/fewer_preproc_holes |
tree | commitdiff |
2016-08-11 |
ajreynol | Minor change to strings, introduce proxy vars only... |
tree | commitdiff |
2016-08-10 |
ajreynol | Improvements to strings: work on propagations for rever... |
tree | commitdiff |
2016-08-03 |
barrettcw | Merge pull request #87 from 4tXJ7f/fix_oob_access |
tree | commitdiff |
2016-07-30 |
ajreynol | Prioritize inferences when processing normal forms... |
tree | commitdiff |
2016-07-26 |
Guy | Merge branch 'master' of https://github.com/CVC4/CVC4 |
tree | commitdiff |
2016-07-26 |
ajreynol | Minor improvements to strings related to constant split... |
tree | commitdiff |
2016-07-25 |
Guy | Merge branch 'master' of https://github.com/CVC4/CVC4 |
tree | commitdiff |
2016-07-21 |
ajreynol | Fixes for strings, explanations for constant split... |
tree | commitdiff |
2016-07-20 |
ajreynol | Infer conflicts in strings based on abstracting equalit... |
tree | commitdiff |
2016-07-19 |
ajreynol | Add infrastructure for tracking instantiation lemmas... |
tree | commitdiff |
2016-07-16 |
ajreynol | Refactor strings extf evaluation info. Ensure strings... |
tree | commitdiff |
2016-07-15 |
ajreynol | Minor simplification to normal form explanations. |
tree | commitdiff |
2016-07-08 |
ajreynol | Minor fix to last commit. |
tree | commitdiff |
2016-07-08 |
ajreynol | Simplifications for strings normal forms, fix case... |
tree | commitdiff |
2016-07-07 |
ajreynol | Refactoring of strings preprocess module. When enabled... |
tree | commitdiff |
2016-07-06 |
ajreynol | Minor cleanup in strings, mostly related to negated... |
tree | commitdiff |
2016-07-06 |
ajreynol | Add comment field for model, resolves hack for printing... |
tree | commitdiff |
2016-07-05 |
PaulMeng | Merge branch 'master' of https://github.com/CVC4/CVC4.git |
tree | commitdiff |
2016-06-08 |
Guy | Merge branch 'master' of https://github.com/CVC4/CVC4 |
tree | commitdiff |
2016-06-06 |
guykatzz | Merge pull request #85 from CVC4/master_for_proof_merge |
tree | commitdiff |
2016-06-03 |
ajreynol | Remove NodeListMap from strings, fixes memory leaks... |
tree | commitdiff |
2016-06-01 |
ajreynol | Initial infrastructure for bounded set quantification... |
tree | commitdiff |
2016-05-21 |
ajreynol | Minor fix for strings. |
tree | commitdiff |
2016-05-20 |
ajreynol | Minor fix to strings, cleanup in datatypes. |
tree | commitdiff |
2016-05-20 |
ajreynol | Improvements to theory combination + strings: do not... |
tree | commitdiff |
2016-05-06 |
ajreynol | Minor clean up, fixes related to sygus. |
tree | commitdiff |
2016-04-20 |
PaulMeng | update from the master |
tree | commitdiff |
2016-04-14 |
Guy | Merge branch 'master' of https://github.com/CVC4/CVC4 |
tree | commitdiff |
2016-04-14 |
ajreynol | Add missing function for regexp to expr manager. |
tree | commitdiff |
2016-04-09 |
Guy | Merge branch 'master' of https://github.com/CVC4/CVC4 |
tree | commitdiff |
2016-04-04 |
Tim King | Updating the copyright headers and scripts. |
tree | commitdiff |
2016-03-07 |
ajreynol | Minor change to F-Length inference in strings. No inter... |
tree | commitdiff |
2016-03-03 |
ajreynol | Add missing code to track dependencies recursively... |
tree | commitdiff |
2016-03-01 |
ajreynol | Shorter explanations for strings based on tracking... |
tree | commitdiff |
2016-02-26 |
ajreynol | Refactoring of inferences in strings. Add several options. |
tree | commitdiff |
2016-02-25 |
ajreynol | Minor improvement to partial qe. Add options for repres... |
tree | commitdiff |
2016-02-24 |
ajreynol | Add entailment checks between length terms to reduce... |
tree | commitdiff |
2016-02-02 |
Tim King | Moving dump.*, command.*, model.*, and ite_removal... |
tree | commitdiff |
2016-01-28 |
Tim King | Adding listeners to Options. |
tree | commitdiff |
2016-01-15 |
ajreynol | Type enumerators take optional argument indicating... |
tree | commitdiff |
2016-01-13 |
ajreynol | Lemma cache datatypes. Do not send true lemma in quanti... |
tree | commitdiff |
2016-01-09 |
Tim King | Removing StatisticsRegistry's static functions current... |
tree | commitdiff |
2016-01-06 |
Tim King | Add SmtGlobals Class |
tree | commitdiff |
2015-12-15 |
Tim King | Refactoring Options Handler & Library Cycle Breaking |
tree | commitdiff |
2015-11-17 |
ajreynol | Improve relevant domain computation for arithmetic... |
tree | commitdiff |
2015-10-24 |
ajreynol | Fixes related to string contains. |
tree | commitdiff |
2015-10-21 |
ajreynol | Minor refactoring in strings related to length. |
tree | commitdiff |
2015-10-20 |
ajreynol | Refactor strings, remove old cycle checks in normalize... |
tree | commitdiff |
2015-10-19 |
ajreynol | Clean up explanations involving string length. Add... |
tree | commitdiff |
2015-10-19 |
ajreynol | Improve stratification of strings extended function... |
tree | commitdiff |
2015-10-19 |
ajreynol | Improve regexp rewriter, simplify regexp preprocess... |
tree | commitdiff |
2015-10-15 |
ajreynol | Fix congruence check in strings, fixes bug 686. |
tree | commitdiff |
2015-10-15 |
ajreynol | Change semantics of str.substr to allow endpoint out... |
tree | commitdiff |
2015-10-15 |
ajreynol | Decompose string contains, minor refactoring. |
tree | commitdiff |
2015-10-11 |
ajreynol | Fix strings preprocessing + incremental, fixes bug... |
tree | commitdiff |
2015-10-08 |
ajreynol | Minor improvements to strings. Refactor rewriter. Enabl... |
tree | commitdiff |
2015-10-07 |
ajreynol | Minor improvements, add endpoint eq inference to strings. |
tree | commitdiff |
2015-10-06 |
ajreynol | More improvements to strings rewriter for regexps,... |
tree | commitdiff |
2015-10-02 |
ajreynol | Fixes related to explanations for cycles, sym inference... |
tree | commitdiff |
2015-10-02 |
ajreynol | Improvements to rewriter for regexp, contains, indexof... |
tree | commitdiff |
2015-10-01 |
ajreynol | Evaluate extended operators on partially concrete argum... |
tree | commitdiff |
2015-10-01 |
ajreynol | More improvements to strings. More aggressive inference... |
tree | commitdiff |
2015-09-30 |
ajreynol | Refactor strings, bug fix inferences vs lemmas. |
tree | commitdiff |
2015-09-28 |
ajreynol | Minor fix |
tree | commitdiff |
2015-09-28 |
ajreynol | Minor fixes to strings, add regressions. |
tree | commitdiff |
2015-09-28 |
ajreynol | Fix bug for trivial extf inferences in strings. Improve... |
tree | commitdiff |
2015-09-27 |
ajreynol | Improved handling of extended operators. Do preprocess... |
tree | commitdiff |
2015-09-26 |
ajreynol | Lazy preprocessing of extended operators in strings... |
tree | commitdiff |
2015-09-09 |
ajreynol | Fix bug in strings rewriter regarding lengths of substr... |
tree | commitdiff |
2015-09-02 |
Kshitij Bansal | Merge remote-tracking branch 'origin/master' |
tree | commitdiff |
2015-08-27 |
ajreynol | Do ITE term bookkeeping when solving Sygus inputs.... |
tree | commitdiff |
2015-08-18 |
Tianyi Liang | fix for bug663 |
tree | commitdiff |
2015-07-30 |
ajreynol | Implement virtual term substitution for non-nested... |
tree | commitdiff |
2015-07-28 |
Tianyi Liang | minor change to the last fix |
tree | commitdiff |
2015-07-28 |
Tianyi Liang | Merge branch 'master' of https://github.com/CVC4/CVC4 |
tree | commitdiff |
2015-07-28 |
Tianyi Liang | Hotfix for substr function. |
tree | commitdiff |
2015-05-12 |
barrettcw | Merge pull request #74 from finnhaedicke/namespace_minisat |
tree | commitdiff |
2015-04-28 |
Clark Barrett | Merge branch 'master' of https://github.com/CVC4/CVC4 |
tree | commitdiff |
2015-04-28 |
Clark Barrett | Disambiguate namespaces in options, fix permissions |
tree | commitdiff |
2015-04-23 |
Clark Barrett | Merge branch 'master' into google |
tree | commitdiff |
2015-04-22 |
Kshitij Bansal | Merge pull request #73 from kbansal/parser-dont-tokenize |
tree | commitdiff |
2015-04-21 |
Clark Barrett | Changes needed to compile at Google, plus some bug... |
tree | commitdiff |
2015-04-17 |
Tianyi Liang | Patch for Kshitij's fix on requriePhase |
tree | commitdiff |
2015-04-17 |
Kshitij Bansal | Merge pull request #72 from kbansal/decision-requirephase |
tree | commitdiff |
2015-04-09 |
ajreynol | Fix unsat-core issues related to rewrite rules, quantif... |
tree | commitdiff |
2015-04-09 |
ajreynol | Bug fix negative contains cache. |
tree | commitdiff |
2015-04-02 |
Kshitij Bansal | Merge pull request #71 from kbansal/const-are-triggers |
tree | commitdiff |
next |