2012-07-07 |
Morgan Deters | Various fixes to documentation---typos, some incomplete... |
tree | commitdiff |
2012-06-22 |
François Bobot | Parser: add the possibility to bind at level 0. |
tree | commitdiff |
2012-06-11 |
Morgan Deters | Merge from quantifiers2-trunkmerge branch. |
tree | commitdiff |
2012-05-18 |
Tim King | Removing long unsigned operator+ from CDList's const_it... |
tree | commitdiff |
2012-05-09 |
Dejan Jovanović | * simplifying equality engine interface |
tree | commitdiff |
2012-04-27 |
Tim King | This merges in the branch cvc4/branches/arithmetic... |
tree | commitdiff |
2012-04-24 |
Tim King | This commit merges in the branch branches/arithmetic... |
tree | commitdiff |
2012-04-17 |
Tim King | Merges branches/arithmetic/atom-database r2979 through... |
tree | commitdiff |
2012-04-03 |
Tim King | Fix for make dist. |
tree | commitdiff |
2012-04-02 |
Tim King | - Merged in the branch cdlist-cleanup. |
tree | commitdiff |
2012-03-07 |
François Bobot | cdqueue : fix size(). Thank you Clark for spotting... |
tree | commitdiff |
2012-03-02 |
Tim King | This commit merges in the changes from branches/arithme... |
tree | commitdiff |
2012-03-02 |
Dejan Jovanović | CDMap -> CDHashMap |
tree | commitdiff |
2012-03-02 |
Tim King | Renamed CDQueue to CDTrailQueue and CDQueue2 to CDQueue... |
tree | commitdiff |
2012-03-01 |
Morgan Deters | Partial merge from kind-backend branch, including Minis... |
tree | commitdiff |
2012-03-01 |
François Bobot | cdqueue2 : cdlist that can be used like queue and can... |
tree | commitdiff |
2012-02-28 |
Tim King | Adds the CDQueue class. This is a wrapper for combinin... |
tree | commitdiff |
2011-11-05 |
Morgan Deters | Context::ScopedPush implemented (in support of theory... |
tree | commitdiff |
2011-09-29 |
Morgan Deters | Some base infrastructure for user push/pop; a few bugfi... |
tree | commitdiff |
2011-09-02 |
Morgan Deters | Merge from my post-smtcomp branch. Includes: |
tree | commitdiff |
2011-09-02 |
Morgan Deters | Ensure that assignment gestures through CDMap iterators... |
tree | commitdiff |
2011-06-18 |
Morgan Deters | Some fixes inspired by Fedora 15: |
tree | commitdiff |
2011-06-06 |
Morgan Deters | compilation fix for x86 (from previous commit) |
tree | commitdiff |
2011-06-06 |
Morgan Deters | Fix for Mac OS breakage (x86 didn't crash, but probably... |
tree | commitdiff |
2011-03-25 |
Morgan Deters | This is a merge from the "theoryfixes+cdattrhash" branc... |
tree | commitdiff |
2011-03-25 |
Morgan Deters | Fix for a bug Andrew Reynolds found for iterators that... |
tree | commitdiff |
2010-10-24 |
Morgan Deters | add a CVC4_UNDEFINED keyword, for intentionally undefin... |
tree | commitdiff |
2010-10-12 |
Morgan Deters | Merge from cc-memout branch. Here are the main points |
tree | commitdiff |
2010-10-12 |
Morgan Deters | check last result in (get-assignment); some context... |
tree | commitdiff |
2010-10-10 |
Morgan Deters | additional model gen and SMT-LIBv2 compliance work... |
tree | commitdiff |
2010-10-06 |
Morgan Deters | declare-sort, define-sort working but not thoroughly... |
tree | commitdiff |
2010-10-05 |
Morgan Deters | parser and core support for SMT-LIBv2 commands get... |
tree | commitdiff |
2010-10-03 |
Morgan Deters | file header documentation regenerated with contributors... |
tree | commitdiff |
2010-10-02 |
Morgan Deters | revert a workaround fix to CDMap that was committed... |
tree | commitdiff |
2010-10-02 |
Tim King | branches/arith-indexed-variables merged into the main... |
tree | commitdiff |
2010-10-01 |
Morgan Deters | re-add no-deprecated to C sources; update some file... |
tree | commitdiff |
2010-09-27 |
Tim King | - This update adds DynamicArray<T>. This is a bare... |
tree | commitdiff |
2010-09-01 |
Morgan Deters | added documentation, closes bug 97 |
tree | commitdiff |
2010-08-19 |
Morgan Deters | UF theory bug fixes, code cleanup, and extra debugging... |
tree | commitdiff |
2010-08-17 |
Morgan Deters | Merge from "cc" branch: |
tree | commitdiff |
2010-08-17 |
Morgan Deters | Add "no trash" CDMap elements, so that CDMap elements... |
tree | commitdiff |
2010-07-08 |
Morgan Deters | context work to support cdmaps with elements allocated... |
tree | commitdiff |
2010-07-07 |
Morgan Deters | minor changes to cdmap/cdset interface for detection... |
tree | commitdiff |
2010-07-04 |
Morgan Deters | Considerably simplified the way output streams are... |
tree | commitdiff |
2010-07-03 |
Morgan Deters | With this commit come a number of changes to build... |
tree | commitdiff |
2010-06-29 |
Morgan Deters | * Add CDMap<>::insertAtContextLevelZero(k, d) for inser... |
tree | commitdiff |
2010-06-15 |
Morgan Deters | fix last commit gcc options (-wunknown-pragmas ==>... |
tree | commitdiff |
2010-06-15 |
Morgan Deters | remove warnings about unknown #pragma GCC diagnostic... |
tree | commitdiff |
2010-06-04 |
Morgan Deters | ** Don't fear the files-changed list, almost all change... |
tree | commitdiff |
2010-06-02 |
Morgan Deters | added a handful of debugTagIsOn("context") checks to... |
tree | commitdiff |
2010-05-26 |
Morgan Deters | CDMap<> and CDOmap<> fixes to resolve bug 123 |
tree | commitdiff |
2010-05-26 |
Morgan Deters | CDMap: fix bug 130 |
tree | commitdiff |
2010-05-04 |
Christopher L. Conway | Disabling semantic checks in competition mode. |
tree | commitdiff |
2010-04-17 |
Christopher L. Conway | Fixing compiler error for optimized builds |
tree | commitdiff |
2010-04-15 |
Christopher L. Conway | Moving debug output in ~ContextObj under a conditional... |
tree | commitdiff |
2010-04-14 |
Dejan Jovanović | Marging from types 404:415, changes: Massive |
tree | commitdiff |
2010-04-09 |
Morgan Deters | added experimental "make lcov" target (it runs only... |
tree | commitdiff |
2010-04-06 |
Morgan Deters | * Add some protected ContextObj accessors for ContextOb... |
tree | commitdiff |
2010-04-04 |
Morgan Deters | * Node::isAtomic() now looks at an "atomic" attribute... |
tree | commitdiff |
2010-04-01 |
Morgan Deters | reran update-copyright.pl to get new contributors and... |
tree | commitdiff |
2010-04-01 |
Morgan Deters | PARSER STUFF: |
tree | commitdiff |
2010-03-30 |
Christopher L. Conway | Removing unnecessary .gitignores |
tree | commitdiff |
2010-03-30 |
Christopher L. Conway | Merging from branches/antlr3 (r246:354) |
tree | commitdiff |
2010-03-30 |
Morgan Deters | I think this finishes off the CDMap<>/Attribute leaks |
tree | commitdiff |
2010-03-23 |
Clark Barrett | Documented that ContextObj::destroy() only restores... |
tree | commitdiff |
2010-03-23 |
Tim King | Fixed some memory cleanup and destruction issues with... |
tree | commitdiff |
2010-03-13 |
Clark Barrett | Fix for bug 45 |
tree | commitdiff |
2010-03-12 |
Morgan Deters | * src/context/cdmap.h: rename orderedIterator to iterat... |
tree | commitdiff |
2010-03-08 |
Morgan Deters | This fixes regressions at levels >= 1 which were failing |
tree | commitdiff |
2010-03-05 |
Morgan Deters | * public/private code untangled (smt/smt_engine.h no... |
tree | commitdiff |
2010-02-28 |
Dejan Jovanović | * context.h - Changed cdlist::push_back to use a new... |
tree | commitdiff |
2010-02-26 |
Morgan Deters | * test/unit/context/context_black.h: Test CDList<>... |
tree | commitdiff |
2010-02-26 |
Tim King | Fixed a bug in CDList reallocation. (Also corrected... |
tree | commitdiff |
2010-02-22 |
Morgan Deters | * configure.ac: Remove doc/ from search path for Makefi... |
tree | commitdiff |
2010-02-17 |
Tim King | Initial draft of TheoryUF. Should compile without probl... |
tree | commitdiff |
2010-02-10 |
Clark Barrett | Added calls to destructor in CDList plus optional flag... |
tree | commitdiff |
2010-02-08 |
Dejan Jovanović | Moving the template stuff back into the header in order... |
tree | commitdiff |
2010-02-04 |
Morgan Deters | remove -*- c++ -*- emacs tag from source files (it... |
tree | commitdiff |
2010-02-04 |
Morgan Deters | minor fix for update-copyright.pl; ran update-copyright... |
tree | commitdiff |
2010-02-02 |
Clark Barrett | Fixed bug in context code |
tree | commitdiff |
2010-02-02 |
Dejan Jovanović | beginings of test for CDO. one fail |
tree | commitdiff |
2010-02-02 |
Clark Barrett | Fixed compile errors |
tree | commitdiff |
2010-02-02 |
Clark Barrett | Updates to context: |
tree | commitdiff |
2010-02-01 |
Dejan Jovanović | Fixing the CVC grammar for parsing Boolean expressions... |
tree | commitdiff |
2010-01-29 |
Dejan Jovanović | fixing the last context build problem, it compiles now |
tree | commitdiff |
2010-01-29 |
Clark Barrett | one more bug |
tree | commitdiff |
2010-01-29 |
Clark Barrett | Fixed compile errors |
tree | commitdiff |
2010-01-29 |
Clark Barrett | Update of context module |
tree | commitdiff |
2010-01-28 |
Christopher L. Conway | Removing Makefile.in's |
tree | commitdiff |
2010-01-26 |
Morgan Deters | fixes to build structure, util classes, lots of fixes... |
tree | commitdiff |
2009-12-17 |
Morgan Deters | update-copyright.pl now retrieves and incorporates... |
tree | commitdiff |
2009-12-17 |
Morgan Deters | build system cleanup; test system separation into white... |
tree | commitdiff |
2009-12-17 |
Morgan Deters | support nonstandard, unconfigured builds (e.g., ".... |
tree | commitdiff |
2009-12-16 |
Morgan Deters | Fixes to the build system: |
tree | commitdiff |
2009-12-15 |
Clark Barrett | Added context_mm (haven't tested compilation yet...) |
tree | commitdiff |
2009-12-11 |
Morgan Deters | build fixes, configuration simplifications |
tree | commitdiff |
2009-12-10 |
Morgan Deters | cleanups, assert work, add a stubbed uf theory, fix... |
tree | commitdiff |
2009-12-08 |
Morgan Deters | check in automake/libtool/autoconf-generated files... |
tree | commitdiff |
2009-12-07 |
Morgan Deters | big check-in of various fixes and adjustments |
tree | commitdiff |
2009-12-04 |
Morgan Deters | more build system work |
tree | commitdiff |
next |