projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Updates to theory preprocess equality (#5776)
[cvc5.git] / src / theory / sep /
2020-12-23 Andrew ReynoldsRemove quant EPR option (#5716) tree | commitdiff
2020-12-10 Gereon KremerFixed a bunch of clang warnings. (#5637) tree | commitdiff
2020-12-03 Aina NiemetzUpdate copyright headers. tree | commitdiff
2020-11-11 Andrew ReynoldsFix preregistration in TheorySep before declare-heap... tree | commitdiff
2020-11-10 Andrew ReynoldsAdd proper support for the declare-heap command for... tree | commitdiff
2020-10-06 Andrew Reynolds(proof-new) Add interface for trusted substitution... tree | commitdiff
2020-10-04 mudathirmahgoubRemove subtyping for sets theory (#5179) tree | commitdiff
2020-09-22 Mathias PreinerUpdate copyright header script to support CMake and... tree | commitdiff
2020-09-16 Andrew ReynoldsAdd buffered inference manager to TheorySep (#5038) tree | commitdiff
2020-09-14 Andrew ReynoldsRefactoring the rewriter of sets (#4856) tree | commitdiff
2020-09-08 Andrew ReynoldsEliminate a custom use of TheorySep in quantifiers... tree | commitdiff
2020-08-28 Andrew Reynolds(new theory) Update TheorySep to new interface (#4947) tree | commitdiff
2020-08-24 Andrew ReynoldsExtend the standard Theory template based on equality... tree | commitdiff
2020-08-21 Andrew ReynoldsRemove spurious theory methods calls (#4931) tree | commitdiff
2020-08-20 Andrew ReynoldsAdd TheoryState objects to each Theory (#4920) tree | commitdiff
2020-08-20 Andrew ReynoldsSimplify trigger notifications in equality engine ... tree | commitdiff
2020-08-17 Andrew ReynoldsDynamic allocation of equality engine in Theory (#4890) tree | commitdiff
2020-08-14 Andrew ReynoldsSimplify equality engine notifications (#4896) tree | commitdiff
2020-07-14 Andres NoetzliUse TypeNode in EmptySet (#4740) tree | commitdiff
2020-07-11 Andrew Reynolds(proof-new) Update Theory interface for proof-new ... tree | commitdiff
2020-06-16 Aina NiemetzUpdate copyright headers. tree | commitdiff
2020-04-03 Andres NoetzliUpdate theory rewriter ownership, add stats to strings... tree | commitdiff
2020-04-02 Andres NoetzliInitialize theory rewriters in theories (#4197) tree | commitdiff
2020-02-27 Andrew ReynoldsInitial work towards -Wshadow (#3817) tree | commitdiff
2020-02-20 Mathias Preinerresource manager: Add statistic for every resource... tree | commitdiff
2019-12-09 Andres NoetzliMake theory rewriters non-static (#3547) tree | commitdiff
2019-10-30 Mathias PreinerUnify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. ... tree | commitdiff
2019-04-24 Mathias PreinerDo not use __ prefix for header guards. (#2974) tree | commitdiff
2019-03-26 Aina NiemetzUpdate copyright headers. tree | commitdiff
2018-09-22 Mathias Preinercmake: Remove unused CMakeLists.txt tree | commitdiff
2018-09-22 Aina Niemetzcmake: Added initial build infrastructure. tree | commitdiff
2018-09-19 Andrew ReynoldsDecision strategy: incorporate separation logic. (... tree | commitdiff
2018-08-22 Andrew ReynoldsFix invalid iterator comparisons (#2349) tree | commitdiff
2018-08-17 Tim KingRemoving coverity warnings from theory_sep.cpp (#2320) tree | commitdiff
2018-07-17 yoni206Refactor sep-pre-skolem-emp preprocessing pass tree | commitdiff
2018-06-25 Aina NiemetzUpdated copyright headers. tree | commitdiff
2018-03-07 Mathias PreinerMake statistics output consistent. (#1647) tree | commitdiff
2018-03-05 Mathias PreinerEnable -Wsuggest-override by default. (#1643) tree | commitdiff
2018-02-06 Tim KingResolving warnings from -Winconsistent-missing-override... tree | commitdiff
2018-01-10 Tim KingRemoving throw specifiers for TypeRules. (#1501) tree | commitdiff
2017-12-08 Andrew ReynoldsMake collect model info return a Bool (#1421) tree | commitdiff
2017-12-06 Andres NoetzliRemove CDChunkList (#1414) tree | commitdiff
2017-11-02 Andrew Reynolds(Move-only) Split quant util (#1306) tree | commitdiff
2017-10-31 Andrew ReynoldsRemove include (#1298) tree | commitdiff
2017-10-10 Andrew ReynoldsSplit term database (#1206) tree | commitdiff
2017-07-07 Mathias PreinerUpdate copyright headers. tree | commitdiff
2017-07-07 Mathias PreinerUse new copyright header format. tree | commitdiff
2017-04-14 ajreynolFix nullary operator printers, minor. tree | commitdiff
2017-04-12 ajreynolAdd nullary operator metakind. tree | commitdiff
2017-04-04 ajreynolSimplify Theory::collectModelInfo interface to not... tree | commitdiff
2017-03-27 Clark BarrettMerge pull request #137 from 4tXJ7f/throw_quals tree | commitdiff
2017-03-27 Tim KingMaking ppNotifyAssertions take a const vector. tree | commitdiff
2017-03-22 ajreynolFix more cases of rewritten explanations in strings... tree | commitdiff
2017-03-06 ajreynolSupport for set compliment and universe set. Simplify... tree | commitdiff
2017-03-03 ajreynolFix for collectModelInfo related to finite types +... tree | commitdiff
2017-03-02 ajreynolEliminate Boolean term conversion. Generalizes removeIT... tree | commitdiff
2016-12-06 ajreynolImprove bounds for global heap in sep, refactor preproc... tree | commitdiff
2016-12-02 Clark BarrettMerge pull request #113 from 4tXJ7f/remove_extract_rule tree | commitdiff
2016-12-01 ajreynolImprovement and bug fix for str.indexof reduction,... tree | commitdiff
2016-11-09 Tim KingMerge branch 'master' into uniq-ptr tree | commitdiff
2016-11-08 ajreynolAdd a few options to separation logic and sets. Minor... tree | commitdiff
2016-11-03 ajreynolMake data points accurate in sep logic models. tree | commitdiff
2016-11-03 ajreynolAdd priorities to getNextDecision. Properly handle... tree | commitdiff
2016-11-02 ajreynolFix bug in separation logic for finite pto-data types... tree | commitdiff
2016-11-02 ajreynolFix a few obvious memory leaks in sygus and quantifiers... tree | commitdiff
2016-10-11 Paul MengMerge branch 'origin' of https://github.com/CVC4/CVC4.git tree | commitdiff
2016-09-15 ajreynolMake sep pto a trigger kind, track in equality engines... tree | commitdiff
2016-09-14 ajreynolSupport for unique variable generation in node manager. tree | commitdiff
2016-09-14 ajreynolLemma cache in theory sep. Minor optimization for sets... tree | commitdiff
2016-09-13 ajreynolMinor changes to sep logic, epr, quantifier splitting. tree | commitdiff
2016-09-12 ajreynolPrefer non-cardinality constants in term models for... tree | commitdiff
2016-09-12 ajreynolEnsure sep.nil is unique per type at NodeManager level... tree | commitdiff
2016-09-09 ajreynolSupport for separation logic + EPR. Refactor preprocess... tree | commitdiff
2016-09-08 ajreynolRefactor seplog preprocess. Handle case where sep data... tree | commitdiff
2016-08-25 ajreynolMinor cleanup preprocessing, add ppNotifyAssertions. tree | commitdiff
2016-08-24 PaulMengMerge remote-tracking branch 'origin/master' tree | commitdiff
2016-08-09 guykatzzMerge pull request #89 from 4tXJ7f/fix_proof_spaces tree | commitdiff
2016-08-09 ajreynolFixes for sep star rewrite. tree | commitdiff
2016-07-25 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2016-07-22 ajreynolMinor, error handling for polymorphism + sep logic. tree | commitdiff
2016-07-20 ajreynolInfrastructure for storing and printing heap models... tree | commitdiff
2016-07-20 ajreynolInfer conflicts in strings based on abstracting equalit... tree | commitdiff
2016-07-07 ajreynolEnsure heap disjointness in sep refinements. tree | commitdiff
2016-07-07 ajreynolRefactoring of strings preprocess module. When enabled... tree | commitdiff
2016-07-06 ajreynolAdd comment field for model, resolves hack for printing... tree | commitdiff
2016-07-05 ajreynolRefactor last call for theories, only create one model... tree | commitdiff
2016-07-05 PaulMengMerge branch 'master' of https://github.com/CVC4/CVC4.git tree | commitdiff
2016-06-20 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2016-06-20 ajreynolMinor change to sep/kinds tree | commitdiff
2016-06-20 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2016-06-17 ajreynolCleanup from last commit, treat sep.nil as variable... tree | commitdiff
2016-06-17 ajreynolSupport for separation logic. Enable cbqi by default... tree | commitdiff