projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Rename getAntecedent to getPremises (#5754)
[cvc5.git] / src / theory / strings / theory_strings.h
2020-09-22 Mathias PreinerUpdate copyright header script to support CMake and... blob | commitdiff | raw
2020-09-03 Andrew ReynoldsMake ExtTheory independent of Theory (#5010) blob | commitdiff | raw | diff to current
2020-08-31 Andrew Reynolds(new theory) Update TheoryStrings to new standard ... blob | commitdiff | raw | diff to current
2020-08-24 Andrew ReynoldsExtend the standard Theory template based on equality... blob | commitdiff | raw | diff to current
2020-08-21 Andrew ReynoldsRemove spurious theory methods calls (#4931) blob | commitdiff | raw | diff to current
2020-08-20 Andrew ReynoldsSimplify trigger notifications in equality engine ... blob | commitdiff | raw | diff to current
2020-08-17 Andrew ReynoldsDynamic allocation of equality engine in Theory (#4890) blob | commitdiff | raw | diff to current
2020-08-15 Andrew Reynolds(proof-new) Add the strings proof checker (#4858) blob | commitdiff | raw | diff to current
2020-08-14 Andrew ReynoldsSimplify equality engine notifications (#4896) blob | commitdiff | raw | diff to current
2020-07-16 Andrew ReynoldsMake ExtTheory a utility and not a member of Theory... blob | commitdiff | raw | diff to current
2020-07-11 Andrew Reynolds(proof-new) Update Theory interface for proof-new ... blob | commitdiff | raw | diff to current
2020-06-19 Andrew ReynoldsClean the header file of TheoryStrings (#4272) blob | commitdiff | raw | diff to current
2020-06-16 Aina NiemetzUpdate copyright headers. blob | commitdiff | raw | diff to current
2020-06-12 Andrew ReynoldsCardinality-related inferences per type in theory of... blob | commitdiff | raw | diff to current
2020-05-20 Andrew ReynoldsDo not eliminate variables that are equal to unevaluata... blob | commitdiff | raw | diff to current
2020-04-16 Andrew ReynoldsEliminate remaining references to parent TheoryStrings... blob | commitdiff | raw | diff to current
2020-04-15 Andrew ReynoldsSplit TermRegistry object from TheoryStrings (#4312) blob | commitdiff | raw | diff to current
2020-04-08 Andres NoetzliPerform theory widening eagerly (#4044) blob | commitdiff | raw | diff to current
2020-04-05 Andrew ReynoldsType-independent preregistration of empty word (#4205) blob | commitdiff | raw | diff to current
2020-04-03 Andres NoetzliUpdate theory rewriter ownership, add stats to strings... blob | commitdiff | raw | diff to current
2020-04-02 Andres NoetzliInitialize theory rewriters in theories (#4197) blob | commitdiff | raw | diff to current
2020-03-23 Andres NoetzliCollect statistics about normal form inferences (#4127) blob | commitdiff | raw | diff to current
2020-03-02 Andrew Reynolds Split collect model info by types in strings (#3847) blob | commitdiff | raw | diff to current
2020-02-23 Andrew ReynoldsMinor refactoring of equality notifications (#3798) blob | commitdiff | raw | diff to current
2020-02-22 Andrew Reynolds Move check memberships to reg exp solver (#3793) blob | commitdiff | raw | diff to current
2020-02-22 Andrew ReynoldsMove cardinality inference scheme to base solver in... blob | commitdiff | raw | diff to current
2020-02-21 Andrew ReynoldsSplit extended functions solver in strings (#3768) blob | commitdiff | raw | diff to current
2020-02-15 Andrew ReynoldsMove proxy variables to InferenceManager in strings... blob | commitdiff | raw | diff to current
2020-02-08 Andrew ReynoldsSplit strings finite model finding strategy (#3727) blob | commitdiff | raw | diff to current
2020-02-08 Andrew ReynoldsSplit core solver from the theory of strings (#3713) blob | commitdiff | raw | diff to current
2020-02-04 Andrew ReynoldsSplit base solver from the theory of strings (#3680) blob | commitdiff | raw | diff to current
2020-01-30 Andrew ReynoldsMove disequality list to solver state in strings (... blob | commitdiff | raw | diff to current
2020-01-30 Andrew ReynoldsModularize more steps in the strings strategy (#3676) blob | commitdiff | raw | diff to current
2020-01-30 Andrew ReynoldsMinor updates to string utilities (#3675) blob | commitdiff | raw | diff to current
2019-11-06 Andrew ReynoldsMove more string utility functions (#3398) blob | commitdiff | raw | diff to current
2019-11-01 Andres NoetzliFix and refactor TheoryStrings::checkFlatForms() (... blob | commitdiff | raw | diff to current
2019-10-16 Andrew ReynoldsSolver 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 ReynoldsEager conflict detection in strings based on constant... blob | commitdiff | raw | diff to current
2019-07-25 Andrew ReynoldsSplit infer info data structure in strings (#3107) blob | commitdiff | raw | diff to current
2019-07-06 Andrew ReynoldsRefactor strings to use an inference manager object... blob | commitdiff | raw | diff to current
2019-04-24 Mathias PreinerDo not use __ prefix for header guards. (#2974) blob | commitdiff | raw | diff to current
2019-04-23 Andrew ReynoldsRefactor normal forms in strings (#2897) blob | commitdiff | raw | diff to current
2019-03-26 Aina NiemetzUpdate 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 ReynoldsRevisit strings extended function decomposition (... blob | commitdiff | raw | diff to current
2019-01-15 Andres NoetzliStrings: Add option to change loop process mode (#2794) blob | commitdiff | raw | diff to current
2018-11-27 Andrew ReynoldsMake (T)NodeTrie a general utility (#2489) blob | commitdiff | raw | diff to current
2018-10-16 Andrew ReynoldsImprove strings reductions including skolem caching... blob | commitdiff | raw | diff to current
2018-10-11 Andres NoetzliFix compiler warnings (#2602) blob | commitdiff | raw | diff to current
2018-09-30 Andrew ReynoldsAdd 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 ReynoldsDecision strategy: incorporate strings fmf. (#2485) blob | commitdiff | raw | diff to current
2018-09-17 Andrew ReynoldsMake strings model construction robust to lengths that... blob | commitdiff | raw | diff to current
2018-09-14 Andrew ReynoldsAdd Skolem cache for strings, refactor length registrat... blob | commitdiff | raw | diff to current
2018-08-30 Andrew ReynoldsAdd regular expression elimination module (#2400) blob | commitdiff | raw | diff to current
2018-08-26 Andres NoetzliUse uniform length limit for String constants (#2381) blob | commitdiff | raw | diff to current
2018-08-26 Andrew ReynoldsFix 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 ReynoldsRemove some dead code from theory strings (#2125) blob | commitdiff | raw | diff to current
2018-06-25 Aina NiemetzUpdated copyright headers. blob | commitdiff | raw | diff to current
2018-05-22 Andrew ReynoldsInfrastructure for strings strategies (#1883) blob | commitdiff | raw | diff to current
2018-05-08 Andrew ReynoldsSupport for str.<= and str.< (#1882) blob | commitdiff | raw | diff to current
2018-05-07 Andrew ReynoldsAdd support for str.code (#1821) blob | commitdiff | raw | diff to current
2018-04-16 Andrew ReynoldsMake strings fmf apply to all but internally generated... blob | commitdiff | raw | diff to current
2018-03-23 Andrew ReynoldsRemove unused code (#1700) blob | commitdiff | raw | diff to current
2018-03-19 Andrew ReynoldsDocument inferences for strings (#1642) blob | commitdiff | raw | diff to current
2018-03-05 Mathias PreinerEnable -Wsuggest-override by default. (#1643) blob | commitdiff | raw | diff to current
2018-02-06 Tim KingResolving warnings from -Winconsistent-missing-override... blob | commitdiff | raw | diff to current
2018-01-02 Andrew ReynoldsImprove rewriter for string equality (#1427) blob | commitdiff | raw | diff to current
2017-12-08 Andrew ReynoldsMake collect model info return a Bool (#1421) blob | commitdiff | raw | diff to current
2017-12-06 Andres NoetzliRemove CDChunkList (#1414) blob | commitdiff | raw | diff to current
2017-08-24 Andrew ReynoldsMerge pull request #191 from timothy-king/cleanup-regexp blob | commitdiff | raw | diff to current
2017-07-29 ajreynolAdd support for charat in native language, minor cleanup. blob | commitdiff | raw | diff to current
2017-07-28 ajreynolFix cache issues for cyclic string equations. blob | commitdiff | raw | diff to current
2017-07-07 Mathias PreinerUpdate copyright headers. blob | commitdiff | raw | diff to current
2017-04-04 ajreynolSimplify Theory::collectModelInfo interface to not... blob | commitdiff | raw | diff to current
2017-03-21 ajreynolImprove computeCareGraph functions to check shared... blob | commitdiff | raw | diff to current
2017-01-30 ajreynolFix regexp cache issue in strings, add regression. blob | commitdiff | raw | diff to current
2016-11-03 ajreynolAdd priorities to getNextDecision. Properly handle... blob | commitdiff | raw | diff to current
2016-10-13 ajreynolMerging bv parts of ajr/bvExt branch, minor additions... blob | commitdiff | raw | diff to current
2016-10-11 Paul MengMerge branch 'origin' of https://github.com/CVC4/CVC4.git blob | commitdiff | raw | diff to current
2016-10-01 Tim KingMerge pull request #93 from timothy-king/clang-format blob | commitdiff | raw | diff to current
2016-10-01 ajreynolIncorporate non-bv parts of ajr/bvExt branch blob | commitdiff | raw | diff to current
2016-08-24 PaulMengMerge remote-tracking branch 'origin/master' blob | commitdiff | raw | diff to current
2016-08-16 ajreynolInitial infrastructure for ExtTheory, generalize extend... blob | commitdiff | raw | diff to current
2016-08-12 guykatzzMerge pull request #90 from 4tXJ7f/fewer_preproc_holes blob | commitdiff | raw | diff to current
2016-08-11 ajreynolMinor change to strings, introduce proxy vars only... blob | commitdiff | raw | diff to current
2016-08-10 ajreynolImprovements to strings: work on propagations for rever... blob | commitdiff | raw | diff to current
2016-08-03 barrettcwMerge pull request #87 from 4tXJ7f/fix_oob_access blob | commitdiff | raw | diff to current
2016-07-30 ajreynolPrioritize inferences when processing normal forms... blob | commitdiff | raw | diff to current
2016-07-26 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 blob | commitdiff | raw | diff to current
2016-07-26 ajreynolMinor improvements to strings related to constant split... blob | commitdiff | raw | diff to current
2016-07-25 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 blob | commitdiff | raw | diff to current
2016-07-21 ajreynolFixes for strings, explanations for constant split... blob | commitdiff | raw | diff to current
2016-07-20 ajreynolInfer conflicts in strings based on abstracting equalit... blob | commitdiff | raw | diff to current
2016-07-16 ajreynolRefactor strings extf evaluation info. Ensure strings... blob | commitdiff | raw | diff to current
2016-07-15 ajreynolMinor simplification to normal form explanations. blob | commitdiff | raw | diff to current
2016-07-08 ajreynolSimplifications for strings normal forms, fix case... blob | commitdiff | raw | diff to current
2016-07-07 ajreynolRefactoring of strings preprocess module. When enabled... blob | commitdiff | raw | diff to current
next