projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add priorities to getNextDecision. Properly handle case for finite types + unbounded...
[cvc5.git] / src / theory / sep /
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