summaryrefslogtreecommitdiff
path: root/src/include
AgeCommit message (Expand)Author
2014-07-01Update copyrights.Morgan Deters
2013-06-27Remove output.h from public space, to avoid clashes with symbols defined in u...Morgan Deters
2013-06-27Remove macros EXPECT_TRUE / EXPECT_FALSE from cvc4_public.h so that they don'...Morgan Deters
2013-04-02Regenerated copyrights: canonicalized names, no emailsMorgan Deters
2013-04-01update copyrightsMorgan Deters
2013-01-24Add win32 support (merge from mdeters/win32, with some cleanup).Morgan Deters
2012-10-11Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it'sMorgan Deters
2012-09-28some fixes to build systemMorgan Deters
2012-09-22Separate public-facing and internal-facing interfaces to Statistics.Morgan Deters
2012-07-31Options merge. This commit:Morgan Deters
2011-11-22More language bindings work:Morgan Deters
2011-09-30interfaces fixes and cleanups...and examples of each interface!Morgan Deters
2011-09-02Merge from my post-smtcomp branch. Includes:Morgan Deters
2011-05-05Merge from nonclausal-simplification-v2 branch:Morgan Deters
2011-03-27fixes to attribute-internals warnings on 64-bit; also some GCC function attri...Morgan Deters
2011-03-08Clean up Theory base class as per code review bug #60; also fixes to CodeTime...Morgan Deters
2011-02-28minor doxygen build target fixesMorgan Deters
2010-10-29minor fixes as a result of review of Chris's getType() rewrite; also fix some...Morgan Deters
2010-10-24add a CVC4_UNDEFINED keyword, for intentionally undefined functions (like pri...Morgan Deters
2010-10-01replacement implementation for clock_gettime() on mac os x, build portability...Morgan Deters
2010-07-03With this commit come a number of changes to build system to supportMorgan Deters
2010-06-04** Don't fear the files-changed list, almost all changes are in the **Morgan Deters
2010-04-05fix most of the warnings in the parser by (1) quieting unused-function and un...Morgan Deters
2010-04-01minor forgotten things in last commitMorgan Deters
2010-04-01PARSER STUFF:Morgan Deters
2010-03-30Removing unnecessary .gitignoresChristopher L. Conway
2010-03-30Merging from branches/antlr3 (r246:354)Christopher L. Conway
2010-02-26* test/unit/context/context_black.h: Test CDList<>. In particular,Morgan Deters
2010-02-04remove -*- c++ -*- emacs tag from source files (it overrides cvc4-c++-editing...Morgan Deters
2010-02-04minor fix for update-copyright.pl; ran update-copyright.pl on all sources; re...Morgan Deters
2009-12-17update-copyright.pl now retrieves and incorporates author information from re...Morgan Deters
2009-12-16Fixes to the build system:Morgan Deters
2009-12-09some fixes and organizational adjustments to assert code, parsers/lexers, and...Morgan Deters
2009-12-07big check-in of various fixes and adjustmentsMorgan Deters
2009-12-05more build system workMorgan Deters
2009-11-25additional work on parser hookup, configuration + buildMorgan Deters
2009-11-24various fixes and updates to use and support parserMorgan Deters
2009-11-24Partial parser for booleansChristopher L. Conway
2009-11-24configure option adjustments as per 11/24 meeting; various fixes and improvem...Morgan Deters
2009-11-23fixups, file commentsMorgan Deters
2009-11-19testing framework, configure fixes, incorporations from meeting, continued workMorgan Deters
2009-11-18work on exprs, driver, utilMorgan Deters
2009-11-17fixes/redesign of source layout from meetingMorgan Deters
2009-11-17another passMorgan Deters
2009-11-17fixes and additionsMorgan Deters
2009-11-12parser, minisat, other things..Morgan Deters
2009-11-09minor fixes, added contrib directoryMorgan Deters
2009-11-03additional headers and modifications; now passes syntax checkMorgan Deters
2009-11-03additional headersMorgan Deters
2009-11-03commit of project structure including autotools supportMorgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback