| 2016-01-01 |
Clark Barrett | Added propagation rule for array ext lemmas to aid... |
commit | commitdiff | tree |
| 2015-12-31 |
Clark Barrett | Modified tear-down-incremental option to take an intege... |
commit | commitdiff | tree |
| 2015-12-30 |
Tim King | Shuffling around public vs. private headers |
commit | commitdiff | tree |
| 2015-12-29 |
Tim King | Adding a missing header include for cvc4_assert.h in... |
commit | commitdiff | tree |
| 2015-12-27 |
Clark Barrett | Merged my changes from experimental branch (new array... |
commit | commitdiff | tree |
| 2015-12-24 |
Tim King | Changing the attribute on the forward declaration of... |
commit | commitdiff | tree |
| 2015-12-24 |
Tim King | Adding a missing return on the new ArrayStoreAll::opera... |
commit | commitdiff | tree |
| 2015-12-24 |
Tim King | Miscellaneous fixes |
commit | commitdiff | tree |
| 2015-12-23 |
Clark Barrett | Enabled array propagation during lemma propagation... |
commit | commitdiff | tree |
| 2015-12-23 |
Clark Barrett | Added extract.cpp example |
commit | commitdiff | tree |
| 2015-12-22 |
ajreynol | Bug fix uf-ss-totality. |
commit | commitdiff | tree |
| 2015-12-22 |
ajreynol | Always split on constructor types for datatypes involvi... |
commit | commitdiff | tree |
| 2015-12-22 |
ajreynol | Bug fix for cbqi, do not use model values for terms... |
commit | commitdiff | tree |
| 2015-12-19 |
Tim King | Modifying emptyset.h and sexpr. Adding SetLanguage. |
commit | commitdiff | tree |
| 2015-12-17 |
ajreynol | Minor |
commit | commitdiff | tree |
| 2015-12-16 |
Tim King | Removing the Record iterator from the swig interface... |
commit | commitdiff | tree |
| 2015-12-16 |
ajreynol | Work on purification for quantifiers, minor updates. |
commit | commitdiff | tree |
| 2015-12-15 |
Tim King | Breaking the include cycle between Record and Expr. |
commit | commitdiff | tree |
| 2015-12-15 |
Tim King | Adding destructors for CDO an CDOhash_map in the restor... |
commit | commitdiff | tree |
| 2015-12-15 |
Tim King | Removing the build cycle for predicate. |
commit | commitdiff | tree |
| 2015-12-15 |
Tim King | Moving SExpr(bool) out of the header into sexpr.cpp... |
commit | commitdiff | tree |
| 2015-12-15 |
Tim King | Making logic_info_forward.h a public header for now. |
commit | commitdiff | tree |
| 2015-12-15 |
ajreynol | Add option uf-ss-fair-monotone. Minor cleanup and impro... |
commit | commitdiff | tree |
| 2015-12-15 |
Tim King | Refactoring Options Handler & Library Cycle Breaking |
commit | commitdiff | tree |
| 2015-12-10 |
ajreynol | Add option fmf-empty-sorts. |
commit | commitdiff | tree |
| 2015-12-04 |
Tim King | Reverting a previous change to the options_handlers... |
commit | commitdiff | tree |
| 2015-12-03 |
Tim King | Removing the generated directory from the parsers. |
commit | commitdiff | tree |
| 2015-12-03 |
Tim King | Modifying the src/options/Makefile.am for travis. |
commit | commitdiff | tree |
| 2015-12-03 |
Tim King | Modifying options/Makefile.am to pass distcheck. There... |
commit | commitdiff | tree |
| 2015-12-02 |
Chris Conway | Adds Google, Inc. to the AUTHORS file. |
commit | commitdiff | tree |
| 2015-12-02 |
ajreynol | Minor fixes for cegqi-si-partial. |
commit | commitdiff | tree |
| 2015-12-02 |
Tim King | Separating the steps of the old mkoptions script into... |
commit | commitdiff | tree |
| 2015-12-02 |
Tim King | Guarding the destruction of the a linux specific variab... |
commit | commitdiff | tree |
| 2015-12-02 |
Tim King | Merge pull request #79 from CVC4/fix-mac-build-script |
commit | commitdiff | tree |
| 2015-12-01 |
Chris Conway | Adds attempt to download config.guess to get-antlr... |
commit | commitdiff | tree |
| 2015-12-01 |
Chris Conway | Reverts addition of autogen.sh to mac-build script. |
commit | commitdiff | tree |
| 2015-12-01 |
ajreynol | More work on --cegqi-si-partial, incomplete. |
commit | commitdiff | tree |
| 2015-11-28 |
ajreynol | Initial work on --cegqi-si-partial, refactoring. |
commit | commitdiff | tree |
| 2015-11-26 |
Chris Conway | Adds required steps to contrib/mac-build. |
commit | commitdiff | tree |
| 2015-11-26 |
ajreynol | Update to new implementation of single invocation parti... |
commit | commitdiff | tree |
| 2015-11-26 |
ajreynol | Front-end support for get-value of sort cardinality... |
commit | commitdiff | tree |
| 2015-11-25 |
ajreynol | Infrastructure for partially single invocation properti... |
commit | commitdiff | tree |
| 2015-11-24 |
Tim King | Adding a missing delete to smt2_compliance. |
commit | commitdiff | tree |
| 2015-11-24 |
Tim King | Adding a missing delete to InstStrategyCegqi destructor. |
commit | commitdiff | tree |
| 2015-11-24 |
Tim King | Isolating the dependencies on CVC4_ANTLR3_OLD_INPUT_STR... |
commit | commitdiff | tree |
| 2015-11-24 |
Tim King | Switching travis over to using the containers infrastru... |
commit | commitdiff | tree |
| 2015-11-24 |
Tim King | Freeing memory allocated for signal handling. |
commit | commitdiff | tree |
| 2015-11-18 |
ajreynol | Option for midpoints in cbqi. |
commit | commitdiff | tree |
| 2015-11-17 |
ajreynol | Improve relevant domain computation for arithmetic... |
commit | commitdiff | tree |
| 2015-11-12 |
Tim King | Updating the contrib/new-theory script and travis to... |
commit | commitdiff | tree |
| 2015-11-12 |
Tim King | Updating the contrib/new-theory script and travis to... |
commit | commitdiff | tree |
| 2015-11-12 |
ajreynol | Minor fixes and improvements to purify quant, relationa... |
commit | commitdiff | tree |
| 2015-11-11 |
ajreynol | Minor fixes to cbqi, purify-quant. Better error checkin... |
commit | commitdiff | tree |
| 2015-11-10 |
ajreynol | Fix infinite loop in datatype enumerator. Minor fixes... |
commit | commitdiff | tree |
| 2015-11-09 |
Tim King | Replacing an inefficient use of std::find(...) to use... |
commit | commitdiff | tree |
| 2015-11-07 |
Tim King | Changing file permissions to add or remove executable... |
commit | commitdiff | tree |
| 2015-11-05 |
Tim King | Merging the google branch back into master. |
commit | commitdiff | tree |
| 2015-11-05 |
Tim King | Fixes some initialization and desctruction problems... |
commit | commitdiff | tree |
| 2015-11-05 |
Tim King | This commit slightly generalizes the scripts for genera... |
commit | commitdiff | tree |
| 2015-11-04 |
ajreynol | Better combination of UF with cbqi, refactor quantifier... |
commit | commitdiff | tree |
| 2015-11-04 |
Tim King | Fixing typo. |
commit | commitdiff | tree |
| 2015-11-03 |
Tim King | Adding a test to ensure the <build>/src/theory director... |
commit | commitdiff | tree |
| 2015-10-31 |
ajreynol | Improvements to handling of mixed Int/Real quantifiers. |
commit | commitdiff | tree |
| 2015-10-30 |
Tim King | Removes an extra dollar sign from src/options/mktaghead... |
commit | commitdiff | tree |
| 2015-10-27 |
Tim King | Adding the new mkdirs script to EXTRA_DIST. This should... |
commit | commitdiff | tree |
| 2015-10-26 |
Tim King | This commit fixes a bug related to a public header... |
commit | commitdiff | tree |
| 2015-10-26 |
Tim King | This commit removes using absolute paths in the generat... |
commit | commitdiff | tree |
| 2015-10-26 |
Tim King | This commit moves the scripts for building the Debug_ta... |
commit | commitdiff | tree |
| 2015-10-26 |
Tim King | This fixes a one definition rule violation for reduceDB... |
commit | commitdiff | tree |
| 2015-10-26 |
ajreynol | Promote InstStrategyCbqi to quantifier module. Cleanup... |
commit | commitdiff | tree |
| 2015-10-26 |
ajreynol | Extend counterexample-guided instantiation to extended... |
commit | commitdiff | tree |
| 2015-10-25 |
Kshitij Bansal | Revert "Default builds are now proof enabled." |
commit | commitdiff | tree |
| 2015-10-24 |
ajreynol | Fixes related to string contains. |
commit | commitdiff | tree |
| 2015-10-24 |
Tim King | This removes a bug for reading data that has been poppe... |
commit | commitdiff | tree |
| 2015-10-24 |
Tim King | Specify that the default initialization must always... |
commit | commitdiff | tree |
| 2015-10-24 |
Tim King | Switching Options::current() to return a pointer. This... |
commit | commitdiff | tree |
| 2015-10-24 |
Tim King | Changes configure.ac so that the single recurisve invoc... |
commit | commitdiff | tree |
| 2015-10-24 |
Tim King | This patch slightly generalizes how the std::isfinite... |
commit | commitdiff | tree |
| 2015-10-22 |
ajreynol | Enable counterexample-guided quantifier instantiation... |
commit | commitdiff | tree |
| 2015-10-21 |
ajreynol | Minor refactoring in strings related to length. |
commit | commitdiff | tree |
| 2015-10-20 |
ajreynol | Refactor strings, remove old cycle checks in normalize... |
commit | commitdiff | tree |
| 2015-10-19 |
ajreynol | Clean up explanations involving string length. Add... |
commit | commitdiff | tree |
| 2015-10-19 |
ajreynol | Improve stratification of strings extended function... |
commit | commitdiff | tree |
| 2015-10-19 |
ajreynol | Improve regexp rewriter, simplify regexp preprocess... |
commit | commitdiff | tree |
| 2015-10-18 |
ajreynol | Fix for no condense func values. |
commit | commitdiff | tree |
| 2015-10-16 |
ajreynol | Add option to interleave enumerative instantiation... |
commit | commitdiff | tree |
| 2015-10-16 |
ajreynol | Throw error for recursively defined types involving... |
commit | commitdiff | tree |
| 2015-10-16 |
ajreynol | Fix for codatatype constant rewrite, add regression. |
commit | commitdiff | tree |
| 2015-10-15 |
ajreynol | Fix congruence check in strings, fixes bug 686. |
commit | commitdiff | tree |
| 2015-10-15 |
ajreynol | Change semantics of str.substr to allow endpoint out... |
commit | commitdiff | tree |
| 2015-10-15 |
ajreynol | Decompose string contains, minor refactoring. |
commit | commitdiff | tree |
| 2015-10-14 |
Kshitij Bansal | Merge pull request #77 from kbansal/macsegfault |
commit | commitdiff | tree |
| 2015-10-13 |
Kshitij Bansal | remove options infrastructure code which depended on... |
commit | commitdiff | tree |
| 2015-10-12 |
Kshitij Bansal | Merge pull request #76 from CVC4/proofs |
commit | commitdiff | tree |
| 2015-10-11 |
Kshitij Bansal | fix regression tests, support fallback mode for proofs |
commit | commitdiff | tree |
| 2015-10-11 |
Liana Hadarean | Default builds are now proof enabled. |
commit | commitdiff | tree |
| 2015-10-11 |
ajreynol | Fix strings preprocessing + incremental, fixes bug... |
commit | commitdiff | tree |
| 2015-10-09 |
Liana Hadarean | Temporary reverting commit 477e72b (proofs as default... |
commit | commitdiff | tree |
| 2015-10-08 |
ajreynol | Minor improvements to strings. Refactor rewriter. Enabl... |
commit | commitdiff | tree |
| 2015-10-07 |
Liana Hadarean | Default builds are now proof enabled. |
commit | commitdiff | tree |
| next |
projects / cvc5.git / shortlog