summaryrefslogtreecommitdiff
path: root/src/Makefile.am
AgeCommit message (Expand)Author
2012-10-24Includes many fixes to build system for Solaris (thanks Tim!), and alsoMorgan Deters
2012-10-22fix installation of certain header filesMorgan Deters
2012-09-22Separate public-facing and internal-facing interfaces to Statistics.Morgan Deters
2012-07-31Options merge. This commit:Morgan Deters
2012-07-16now passes "make distcheck", which does important checks for the release (e.g...Morgan Deters
2012-04-17A dummy decision engine. Expected performance impact: none.Kshitij Bansal
2012-02-25Refactored CnfStream to work with the bv theory Bitblaster:Liana Hadarean
2011-11-15Bindings work (ocaml bindings are now sort of working); also minor cleanupMorgan Deters
2011-11-01Improvements to header installation on user machines. Internally, we canMorgan Deters
2011-10-28merged the proofgen3 branch into trunk:Liana Hadarean
2011-09-30interfaces fixes and cleanups...and examples of each interface!Morgan Deters
2011-09-29build system fixesMorgan Deters
2011-09-24Fix to building and linking for unit tests. (This should fix the segfaulting...Morgan Deters
2011-09-20Merge from "swig" branch: language binding for Java is compiling and linking....Morgan Deters
2011-09-17--show-debug-tags and --show-trace-tags now supported by Configuration API; a...Morgan Deters
2011-09-02Merge from my post-smtcomp branch. Includes:Morgan Deters
2011-05-28fix unit test linking issueMorgan Deters
2011-05-28include subversion information used for each build in the --show-config outpu...Morgan Deters
2010-11-19Merge from ufprop branch, including:Morgan Deters
2010-11-15Pretty-printer infrastructure created (in src/printer) and SMT-LIBv2 printerMorgan Deters
2010-11-15minor tweaks to last commit, testing infrastructureMorgan Deters
2010-11-15fix some things with the build system (make dist, make install, make check)Morgan Deters
2010-10-27"make dist" fixes; a distribution tarball can now build and pass tests. "make...Morgan Deters
2010-10-04fix gdb issues (at least for static builds); resolves bug 194Morgan Deters
2010-10-01replacement implementation for clock_gettime() on mac os x, build portability...Morgan Deters
2010-07-04make dist && make distcheck functional, other fixesMorgan Deters
2010-07-03With this commit come a number of changes to build system to supportMorgan Deters
2010-06-15fix last commit gcc options (-wunknown-pragmas ==> -Wno-unknown-pragmas)Morgan Deters
2010-06-15remove warnings about unknown #pragma GCC diagnostic on older compilersMorgan Deters
2010-04-08A handful of build system fixes:Morgan Deters
2010-04-04* Node::isAtomic() now looks at an "atomic" attribute of argumentsMorgan Deters
2010-04-01PARSER STUFF:Morgan Deters
2010-02-25* src/expr/node.h: add a copy constructor. Apparently GCC doesn'tMorgan Deters
2010-02-04src/expr/kind.h is now automatically generated.Morgan Deters
2010-02-03Addressed many of the concerns of bug 10 (build system code review).Morgan Deters
2009-12-17more build system fix-upsMorgan Deters
2009-12-17CvcParserBlack and supporting Makefile changesChristopher L. Conway
2009-12-16Fixes to the build system:Morgan Deters
2009-12-10cleanups, assert work, add a stubbed uf theory, fix driverMorgan Deters
2009-12-08check in automake/libtool/autoconf-generated files; add better file not found...Morgan Deters
2009-12-07big check-in of various fixes and adjustmentsMorgan Deters
2009-12-05more build system workMorgan Deters
2009-12-04more build system workMorgan Deters
2009-12-03parsing/expr/command/result/various other fixesMorgan Deters
2009-11-23fixups, file commentsMorgan Deters
2009-11-20fixes to build/test systemMorgan Deters
2009-11-19testing framework, configure fixes, incorporations from meeting, continued workMorgan Deters
2009-11-17ignored itemsMorgan Deters
2009-11-17fixes/redesign of source layout from meetingMorgan Deters
2009-11-17fixes and additionsMorgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback