| 2016-11-08 |
ajreynol | Minor fixes related to ExtTheory + incremental, fixes...
|
commit | commitdiff | tree |
| 2016-11-08 |
ajreynol | Add a few options to separation logic and sets. Minor...
|
commit | commitdiff | tree |
| 2016-11-04 |
ajreynol | Fix a few more minor memory leaks.
|
commit | commitdiff | tree |
| 2016-11-03 |
ajreynol | Make data points accurate in sep logic models.
|
commit | commitdiff | tree |
| 2016-11-03 |
ajreynol | Add priorities to getNextDecision. Properly handle...
|
commit | commitdiff | tree |
| 2016-11-02 |
ajreynol | Add missing regression.
|
commit | commitdiff | tree |
| 2016-11-02 |
ajreynol | Fix bug in separation logic for finite pto-data types...
|
commit | commitdiff | tree |
| 2016-11-02 |
ajreynol | Fix a few obvious memory leaks in sygus and quantifiers...
|
commit | commitdiff | tree |
| 2016-11-01 |
ajreynol | Minor fix to cvc3_compat.
|
commit | commitdiff | tree |
| 2016-11-01 |
ajreynol | Make tuple and record names unique. Do not print internal...
|
commit | commitdiff | tree |
| 2016-11-01 |
ajreynol | Fix memory leak in TheorySetsRels. Minor cleanup.
|
commit | commitdiff | tree |
| 2016-11-01 |
ajreynol | Revert change to Datatypes API to return vector of...
|
commit | commitdiff | tree |
| 2016-11-01 |
ajreynol | Revert change to datatypes API for passing pointers...
|
commit | commitdiff | tree |
| 2016-11-01 |
ajreynol | Working memory leak free version, changes interface...
|
commit | commitdiff | tree |
| 2016-10-31 |
ajreynol | Minor refactoring in preparation for datatypes node...
|
commit | commitdiff | tree |
| 2016-10-28 |
ajreynol | Add get instantiations utilities to API.
|
commit | commitdiff | tree |
| 2016-10-26 |
ajreynol | Enable bv2nat regressions
|
commit | commitdiff | tree |
| 2016-10-26 |
Andrew Reynolds | Merge pull request #98 from 4tXJ7f/fix_dist_build
|
commit | commitdiff | tree |
| 2016-10-26 |
ajreynol | New implementation of sets+cardinality. Merge Paul...
|
commit | commitdiff | tree |
| 2016-10-21 |
ajreynol | Fix/add missing makefiles.
|
commit | commitdiff | tree |
| 2016-10-21 |
ajreynol | Move slow regress0 benchmarks to regress1, increment...
|
commit | commitdiff | tree |
| 2016-10-13 |
ajreynol | Merging bv parts of ajr/bvExt branch, minor additions...
|
commit | commitdiff | tree |
| 2016-10-01 |
ajreynol | Incorporate non-bv parts of ajr/bvExt branch
|
commit | commitdiff | tree |
| 2016-09-29 |
ajreynol | Address some coverity warnings, add another stat.
|
commit | commitdiff | tree |
| 2016-09-29 |
ajreynol | Minor cleanup and additions to quantifiers statistics.
|
commit | commitdiff | tree |
| 2016-09-21 |
ajreynol | Remove duplicate code from my last commit
|
commit | commitdiff | tree |
| 2016-09-20 |
ajreynol | Refactor, separate theory-specific counterexample-guided...
|
commit | commitdiff | tree |
| 2016-09-20 |
ajreynol | More refactoring of cbqi. Add a few regressions. Add...
|
commit | commitdiff | tree |
| 2016-09-18 |
ajreynol | Minor fix for strings
|
commit | commitdiff | tree |
| 2016-09-17 |
ajreynol | Use matching heuristics for EPR instantiation.
|
commit | commitdiff | tree |
| 2016-09-16 |
ajreynol | More refactoring of cbqi, start developing new interface.
|
commit | commitdiff | tree |
| 2016-09-15 |
ajreynol | Further refactor cbqi.
|
commit | commitdiff | tree |
| 2016-09-15 |
ajreynol | Begin refactoring of cbqi, remove a few dead options...
|
commit | commitdiff | tree |
| 2016-09-15 |
ajreynol | Make sep pto a trigger kind, track in equality engines...
|
commit | commitdiff | tree |
| 2016-09-15 |
ajreynol | Refactor setIncomplete in quantifiers.
|
commit | commitdiff | tree |
| 2016-09-14 |
ajreynol | Support for unique variable generation in node manager.
|
commit | commitdiff | tree |
| 2016-09-14 |
ajreynol | Lemma cache in theory sep. Minor optimization for sets...
|
commit | commitdiff | tree |
| 2016-09-13 |
ajreynol | Minor changes to sep logic, epr, quantifier splitting.
|
commit | commitdiff | tree |
| 2016-09-12 |
ajreynol | Refactor prenex modes.
|
commit | commitdiff | tree |
| 2016-09-12 |
ajreynol | Remove old implementation of cbqi
|
commit | commitdiff | tree |
| 2016-09-12 |
ajreynol | Prefer non-cardinality constants in term models for...
|
commit | commitdiff | tree |
| 2016-09-12 |
ajreynol | Ensure sep.nil is unique per type at NodeManager level...
|
commit | commitdiff | tree |
| 2016-09-09 |
ajreynol | Fix bug in unconstrained simplifier related to sep...
|
commit | commitdiff | tree |
| 2016-09-09 |
ajreynol | Support for separation logic + EPR. Refactor preprocessing...
|
commit | commitdiff | tree |
| 2016-09-08 |
ajreynol | Refactor seplog preprocess. Handle case where sep data...
|
commit | commitdiff | tree |
| 2016-09-03 |
ajreynol | Miniscope top level conjunctions for prenex normal...
|
commit | commitdiff | tree |
| 2016-09-03 |
ajreynol | Option for prenex normal form
|
commit | commitdiff | tree |
| 2016-09-01 |
ajreynol | Fix boolean term issue in invariants from sygus. Minor...
|
commit | commitdiff | tree |
| 2016-09-01 |
ajreynol | Cleanup quantifier elimination in smt engine.
|
commit | commitdiff | tree |
| 2016-09-01 |
ajreynol | Updates to cbqi. New strategy --cbqi-nested-qe to...
|
commit | commitdiff | tree |
| 2016-08-26 |
ajreynol | Basic support for EPR+CBQI. Minor cleanup.
|
commit | commitdiff | tree |
| 2016-08-25 |
ajreynol | Minor cleanup preprocessing, add ppNotifyAssertions.
|
commit | commitdiff | tree |
| 2016-08-25 |
ajreynol | Options for counterexample guided instantiation.
|
commit | commitdiff | tree |
| 2016-08-16 |
ajreynol | Initial infrastructure for ExtTheory, generalize extended...
|
commit | commitdiff | tree |
| 2016-08-15 |
ajreynol | Expression sharing on demand in LFSC (replace definitionally...
|
commit | commitdiff | tree |
| 2016-08-15 |
ajreynol | Enable bounded set membership with --fmf-bound. Map...
|
commit | commitdiff | tree |
| 2016-08-12 |
ajreynol | Add a few more regressions.
|
commit | commitdiff | tree |
| 2016-08-12 |
ajreynol | Minor fixes to model construction to take singleton...
|
commit | commitdiff | tree |
| 2016-08-11 |
ajreynol | Minor change to strings, introduce proxy vars only...
|
commit | commitdiff | tree |
| 2016-08-10 |
ajreynol | Improvements to strings: work on propagations for reverse...
|
commit | commitdiff | tree |
| 2016-08-09 |
ajreynol | Fixes for sep star rewrite.
|
commit | commitdiff | tree |
| 2016-07-30 |
ajreynol | Prioritize inferences when processing normal forms...
|
commit | commitdiff | tree |
| 2016-07-28 |
ajreynol | Fix bug 749.
|
commit | commitdiff | tree |
| 2016-07-26 |
ajreynol | Add option to minimize sygus solutions based on using...
|
commit | commitdiff | tree |
| 2016-07-26 |
ajreynol | Minor improvements to strings related to constant splitting...
|
commit | commitdiff | tree |
| 2016-07-22 |
ajreynol | Minor, error handling for polymorphism + sep logic.
|
commit | commitdiff | tree |
| 2016-07-21 |
ajreynol | Fixes for strings, explanations for constant split...
|
commit | commitdiff | tree |
| 2016-07-20 |
ajreynol | Infrastructure for storing and printing heap models...
|
commit | commitdiff | tree |
| 2016-07-20 |
ajreynol | Print only instantiations that are in the unsat core...
|
commit | commitdiff | tree |
| 2016-07-20 |
ajreynol | Infer conflicts in strings based on abstracting equality...
|
commit | commitdiff | tree |
| 2016-07-19 |
ajreynol | Add infrastructure for tracking instantiation lemmas...
|
commit | commitdiff | tree |
| 2016-07-16 |
ajreynol | Refactor strings extf evaluation info. Ensure strings...
|
commit | commitdiff | tree |
| 2016-07-15 |
ajreynol | Minor simplification to normal form explanations.
|
commit | commitdiff | tree |
| 2016-07-08 |
ajreynol | Minor fix to last commit.
|
commit | commitdiff | tree |
| 2016-07-08 |
ajreynol | Simplifications for strings normal forms, fix case...
|
commit | commitdiff | tree |
| 2016-07-07 |
ajreynol | Ensure heap disjointness in sep refinements.
|
commit | commitdiff | tree |
| 2016-07-07 |
ajreynol | Refactoring of strings preprocess module. When enabled...
|
commit | commitdiff | tree |
| 2016-07-06 |
ajreynol | Minor cleanup in strings, mostly related to negated...
|
commit | commitdiff | tree |
| 2016-07-06 |
ajreynol | Add comment field for model, resolves hack for printing...
|
commit | commitdiff | tree |
| 2016-07-05 |
ajreynol | Refactor last call for theories, only create one model...
|
commit | commitdiff | tree |
| 2016-07-05 |
ajreynol | Add option --trigger-active-sel. Recognize simple triggers...
|
commit | commitdiff | tree |
| 2016-06-20 |
ajreynol | Minor change to sep/kinds
|
commit | commitdiff | tree |
| 2016-06-18 |
ajreynol | Fix unit test.
|
commit | commitdiff | tree |
| 2016-06-17 |
ajreynol | Cleanup from last commit, treat sep.nil as variable...
|
commit | commitdiff | tree |
| 2016-06-17 |
ajreynol | Support for separation logic. Enable cbqi by default...
|
commit | commitdiff | tree |
| 2016-06-17 |
ajreynol | Add syguscomp2016 scripts.
|
commit | commitdiff | tree |
| 2016-06-04 |
ajreynol | Remove NodeListMap from datatypes and equality inference...
|
commit | commitdiff | tree |
| 2016-06-03 |
ajreynol | Remove NodeListMap from strings, fixes memory leaks...
|
commit | commitdiff | tree |
| 2016-06-03 |
ajreynol | Simple memory fixes, minor cleanup in quantifiers.
|
commit | commitdiff | tree |
| 2016-06-03 |
ajreynol | Reduce number of passes in quantifiers rewriter.
|
commit | commitdiff | tree |
| 2016-06-01 |
ajreynol | Fix to ignore a case of triggers with no free variables.
|
commit | commitdiff | tree |
| 2016-06-01 |
ajreynol | Initial infrastructure for bounded set quantification...
|
commit | commitdiff | tree |
| 2016-05-26 |
ajreynol | Use term indexing in TheoryUF::computeCareGraph. Do...
|
commit | commitdiff | tree |
| 2016-05-24 |
ajreynol | Improvements to symmetry breaking in sygus search....
|
commit | commitdiff | tree |
| 2016-05-23 |
ajreynol | Fix related to parametric sorts whose interpretation...
|
commit | commitdiff | tree |
| 2016-05-21 |
ajreynol | Minor fix for strings.
|
commit | commitdiff | tree |
| 2016-05-20 |
ajreynol | Minor fix to strings, cleanup in datatypes.
|
commit | commitdiff | tree |
| 2016-05-20 |
ajreynol | Improvements to theory combination + strings: do not...
|
commit | commitdiff | tree |
| 2016-05-18 |
ajreynol | Refactor modes for sygus+single invocation. Add option...
|
commit | commitdiff | tree |
| 2016-05-17 |
ajreynol | Minor fix cbqi for constant monomials.
|
commit | commitdiff | tree |
| next |
projects / cvc5.git / search