2020-02-15 |
Andrew Reynolds | Move proxy variables to InferenceManager in strings... |
blob | commitdiff | raw |
2020-02-08 |
Andrew Reynolds | Split strings finite model finding strategy (#3727) |
blob | commitdiff | raw | diff to current |
2020-02-08 |
Andrew Reynolds | Split core solver from the theory of strings (#3713) |
blob | commitdiff | raw | diff to current |
2020-02-04 |
Andrew Reynolds | Split base solver from the theory of strings (#3680) |
blob | commitdiff | raw | diff to current |
2020-01-30 |
Andrew Reynolds | Move disequality list to solver state in strings (... |
blob | commitdiff | raw | diff to current |
2020-01-30 |
Andrew Reynolds | Modularize more steps in the strings strategy (#3676) |
blob | commitdiff | raw | diff to current |
2020-01-30 |
Andrew Reynolds | Minor updates to string utilities (#3675) |
blob | commitdiff | raw | diff to current |
2019-11-06 |
Andrew Reynolds | Move more string utility functions (#3398) |
blob | commitdiff | raw | diff to current |
2019-11-01 |
Andres Noetzli | Fix and refactor TheoryStrings::checkFlatForms() (... |
blob | commitdiff | raw | diff to current |
2019-10-16 |
Andrew Reynolds | Solver state for theory of strings (#3181) |
blob | commitdiff | raw | diff to current |
2019-08-22 |
Andrew Reynolds | Local substitutions for context-depdendent simplificat... |
blob | commitdiff | raw | diff to current |
2019-07-31 |
Andrew Reynolds | Eager conflict detection in strings based on constant... |
blob | commitdiff | raw | diff to current |
2019-07-25 |
Andrew Reynolds | Split infer info data structure in strings (#3107) |
blob | commitdiff | raw | diff to current |
2019-07-06 |
Andrew Reynolds | Refactor strings to use an inference manager object... |
blob | commitdiff | raw | diff to current |
2019-04-24 |
Mathias Preiner | Do not use __ prefix for header guards. (#2974) |
blob | commitdiff | raw | diff to current |
2019-04-23 |
Andrew Reynolds | Refactor normal forms in strings (#2897) |
blob | commitdiff | raw | diff to current |
2019-03-26 |
Aina Niemetz | Update copyright headers. |
blob | commitdiff | raw | diff to current |
2019-03-24 |
Andrew Reynolds | Split regular expression solver (#2891) |
blob | commitdiff | raw | diff to current |
2019-03-22 |
Andrew Reynolds | Revisit strings extended function decomposition (... |
blob | commitdiff | raw | diff to current |
2019-01-15 |
Andres Noetzli | Strings: Add option to change loop process mode (#2794) |
blob | commitdiff | raw | diff to current |
2018-11-27 |
Andrew Reynolds | Make (T)NodeTrie a general utility (#2489) |
blob | commitdiff | raw | diff to current |
2018-10-16 |
Andrew Reynolds | Improve strings reductions including skolem caching... |
blob | commitdiff | raw | diff to current |
2018-10-11 |
Andres Noetzli | Fix compiler warnings (#2602) |
blob | commitdiff | raw | diff to current |
2018-09-30 |
Andrew Reynolds | Add rewrite for solving stoi (#2532) |
blob | commitdiff | raw | diff to current |
2018-09-19 |
Andrew Reynolds | Refactor strings extended functions inferences (#2480) |
blob | commitdiff | raw | diff to current |
2018-09-18 |
Andrew Reynolds | Decision strategy: incorporate strings fmf. (#2485) |
blob | commitdiff | raw | diff to current |
2018-09-17 |
Andrew Reynolds | Make strings model construction robust to lengths that... |
blob | commitdiff | raw | diff to current |
2018-09-14 |
Andrew Reynolds | Add Skolem cache for strings, refactor length registrat... |
blob | commitdiff | raw | diff to current |
2018-08-30 |
Andrew Reynolds | Add regular expression elimination module (#2400) |
blob | commitdiff | raw | diff to current |
2018-08-26 |
Andres Noetzli | Use uniform length limit for String constants (#2381) |
blob | commitdiff | raw | diff to current |
2018-08-26 |
Andrew Reynolds | Fix unsigned integer type issues in strings (#2380) |
blob | commitdiff | raw | diff to current |
2018-07-05 |
Andrew Reynolds | Make string length lemmas more robust to rewriting... |
blob | commitdiff | raw | diff to current |
2018-07-02 |
Andrew Reynolds | Remove some dead code from theory strings (#2125) |
blob | commitdiff | raw | diff to current |
2018-06-25 |
Aina Niemetz | Updated copyright headers. |
blob | commitdiff | raw | diff to current |
2018-05-22 |
Andrew Reynolds | Infrastructure for strings strategies (#1883) |
blob | commitdiff | raw | diff to current |
2018-05-08 |
Andrew Reynolds | Support for str.<= and str.< (#1882) |
blob | commitdiff | raw | diff to current |
2018-05-07 |
Andrew Reynolds | Add support for str.code (#1821) |
blob | commitdiff | raw | diff to current |
2018-04-16 |
Andrew Reynolds | Make strings fmf apply to all but internally generated... |
blob | commitdiff | raw | diff to current |
2018-03-23 |
Andrew Reynolds | Remove unused code (#1700) |
blob | commitdiff | raw | diff to current |
2018-03-19 |
Andrew Reynolds | Document inferences for strings (#1642) |
blob | commitdiff | raw | diff to current |
2018-03-05 |
Mathias Preiner | Enable -Wsuggest-override by default. (#1643) |
blob | commitdiff | raw | diff to current |
2018-02-06 |
Tim King | Resolving warnings from -Winconsistent-missing-override... |
blob | commitdiff | raw | diff to current |
2018-01-02 |
Andrew Reynolds | Improve rewriter for string equality (#1427) |
blob | commitdiff | raw | diff to current |
2017-12-08 |
Andrew Reynolds | Make collect model info return a Bool (#1421) |
blob | commitdiff | raw | diff to current |
2017-12-06 |
Andres Noetzli | Remove CDChunkList (#1414) |
blob | commitdiff | raw | diff to current |
2017-08-24 |
Andrew Reynolds | Merge pull request #191 from timothy-king/cleanup-regexp |
blob | commitdiff | raw | diff to current |
2017-07-29 |
ajreynol | Add support for charat in native language, minor cleanup. |
blob | commitdiff | raw | diff to current |
2017-07-28 |
ajreynol | Fix cache issues for cyclic string equations. |
blob | commitdiff | raw | diff to current |
2017-07-07 |
Mathias Preiner | Update copyright headers. |
blob | commitdiff | raw | diff to current |
2017-04-04 |
ajreynol | Simplify Theory::collectModelInfo interface to not... |
blob | commitdiff | raw | diff to current |
2017-03-21 |
ajreynol | Improve computeCareGraph functions to check shared... |
blob | commitdiff | raw | diff to current |
2017-01-30 |
ajreynol | Fix regexp cache issue in strings, add regression. |
blob | commitdiff | raw | diff to current |
2016-11-03 |
ajreynol | Add priorities to getNextDecision. Properly handle... |
blob | commitdiff | raw | diff to current |
2016-10-13 |
ajreynol | Merging bv parts of ajr/bvExt branch, minor additions... |
blob | commitdiff | raw | diff to current |
2016-10-11 |
Paul Meng | Merge branch 'origin' of https://github.com/CVC4/CVC4.git |
blob | commitdiff | raw | diff to current |
2016-10-01 |
Tim King | Merge pull request #93 from timothy-king/clang-format |
blob | commitdiff | raw | diff to current |
2016-10-01 |
ajreynol | Incorporate non-bv parts of ajr/bvExt branch |
blob | commitdiff | raw | diff to current |
2016-08-24 |
PaulMeng | Merge remote-tracking branch 'origin/master' |
blob | commitdiff | raw | diff to current |
2016-08-16 |
ajreynol | Initial infrastructure for ExtTheory, generalize extend... |
blob | commitdiff | raw | diff to current |
2016-08-12 |
guykatzz | Merge pull request #90 from 4tXJ7f/fewer_preproc_holes |
blob | commitdiff | raw | diff to current |
2016-08-11 |
ajreynol | Minor change to strings, introduce proxy vars only... |
blob | commitdiff | raw | diff to current |
2016-08-10 |
ajreynol | Improvements to strings: work on propagations for rever... |
blob | commitdiff | raw | diff to current |
2016-08-03 |
barrettcw | Merge pull request #87 from 4tXJ7f/fix_oob_access |
blob | commitdiff | raw | diff to current |
2016-07-30 |
ajreynol | Prioritize inferences when processing normal forms... |
blob | commitdiff | raw | diff to current |
2016-07-26 |
Guy | Merge branch 'master' of https://github.com/CVC4/CVC4 |
blob | commitdiff | raw | diff to current |
2016-07-26 |
ajreynol | Minor improvements to strings related to constant split... |
blob | commitdiff | raw | diff to current |
2016-07-25 |
Guy | Merge branch 'master' of https://github.com/CVC4/CVC4 |
blob | commitdiff | raw | diff to current |
2016-07-21 |
ajreynol | Fixes for strings, explanations for constant split... |
blob | commitdiff | raw | diff to current |
2016-07-20 |
ajreynol | Infer conflicts in strings based on abstracting equalit... |
blob | commitdiff | raw | diff to current |
2016-07-16 |
ajreynol | Refactor strings extf evaluation info. Ensure strings... |
blob | commitdiff | raw | diff to current |
2016-07-15 |
ajreynol | Minor simplification to normal form explanations. |
blob | commitdiff | raw | diff to current |
2016-07-08 |
ajreynol | Simplifications for strings normal forms, fix case... |
blob | commitdiff | raw | diff to current |
2016-07-07 |
ajreynol | Refactoring of strings preprocess module. When enabled... |
blob | commitdiff | raw | diff to current |
2016-07-06 |
ajreynol | Minor cleanup in strings, mostly related to negated... |
blob | commitdiff | raw | diff to current |
2016-07-05 |
PaulMeng | Merge branch 'master' of https://github.com/CVC4/CVC4.git |
blob | commitdiff | raw | diff to current |
2016-06-08 |
Guy | Merge branch 'master' of https://github.com/CVC4/CVC4 |
blob | commitdiff | raw | diff to current |
2016-06-06 |
guykatzz | Merge pull request #85 from CVC4/master_for_proof_merge |
blob | commitdiff | raw | diff to current |
2016-06-03 |
ajreynol | Remove NodeListMap from strings, fixes memory leaks... |
blob | commitdiff | raw | diff to current |
2016-05-20 |
ajreynol | Improvements to theory combination + strings: do not... |
blob | commitdiff | raw | diff to current |
2016-04-20 |
PaulMeng | update from the master |
blob | commitdiff | raw | diff to current |
2016-04-09 |
Guy | Merge branch 'master' of https://github.com/CVC4/CVC4 |
blob | commitdiff | raw | diff to current |
2016-04-04 |
Tim King | Updating the copyright headers and scripts. |
blob | commitdiff | raw | diff to current |
2016-03-01 |
ajreynol | Shorter explanations for strings based on tracking... |
blob | commitdiff | raw | diff to current |
2016-02-26 |
ajreynol | Refactoring of inferences in strings. Add several options. |
blob | commitdiff | raw | diff to current |
2016-01-28 |
Tim King | Adding listeners to Options. |
blob | commitdiff | raw | diff to current |
2016-01-06 |
Tim King | Add SmtGlobals Class |
blob | commitdiff | raw | diff to current |
2015-10-21 |
ajreynol | Minor refactoring in strings related to length. |
blob | commitdiff | raw | diff to current |
2015-10-20 |
ajreynol | Refactor strings, remove old cycle checks in normalize... |
blob | commitdiff | raw | diff to current |
2015-10-19 |
ajreynol | Clean up explanations involving string length. Add... |
blob | commitdiff | raw | diff to current |
2015-10-19 |
ajreynol | Improve stratification of strings extended function... |
blob | commitdiff | raw | diff to current |
2015-10-19 |
ajreynol | Improve regexp rewriter, simplify regexp preprocess... |
blob | commitdiff | raw | diff to current |
2015-10-15 |
ajreynol | Fix congruence check in strings, fixes bug 686. |
blob | commitdiff | raw | diff to current |
2015-10-15 |
ajreynol | Change semantics of str.substr to allow endpoint out... |
blob | commitdiff | raw | diff to current |
2015-10-15 |
ajreynol | Decompose string contains, minor refactoring. |
blob | commitdiff | raw | diff to current |
2015-10-11 |
ajreynol | Fix strings preprocessing + incremental, fixes bug... |
blob | commitdiff | raw | diff to current |
2015-10-08 |
ajreynol | Minor improvements to strings. Refactor rewriter. Enabl... |
blob | commitdiff | raw | diff to current |
2015-10-06 |
ajreynol | More improvements to strings rewriter for regexps,... |
blob | commitdiff | raw | diff to current |
2015-10-02 |
ajreynol | Fixes related to explanations for cycles, sym inference... |
blob | commitdiff | raw | diff to current |
2015-10-01 |
ajreynol | Evaluate extended operators on partially concrete argum... |
blob | commitdiff | raw | diff to current |
2015-10-01 |
ajreynol | More improvements to strings. More aggressive inference... |
blob | commitdiff | raw | diff to current |
next |