summaryrefslogtreecommitdiff
path: root/src/Makefile.am
AgeCommit message (Expand)Author
2013-11-27General pre-release cleanup commitMorgan Deters
2013-11-25Substantial Changes:Tim King
2013-11-12Minor build system cleanupMorgan Deters
2013-11-11Some fixes to build system with dependency-tracking is off; should fix RPM/De...Morgan Deters
2013-11-08Fix "make distclean", which should fix some of the build issues from last nightMorgan Deters
2013-11-07Flatten libcvc4 build structure; remove some #include interdependencesMorgan Deters
2013-08-09Clean up "make install"-produced intermediate files (resolves bug 526)Morgan Deters
2013-04-26FCSimplex branch mergeTim King
2013-03-25Fix for SCM detectionMorgan Deters
2013-03-20Better reporting of detached git state in --version and --show-configMorgan Deters
2013-03-14Merge branch '1.0.x'Morgan Deters
2013-03-14fix to build system: #include the proper file when they are in both builds an...Morgan Deters
2013-02-18Fix for gitinfo (resolves bug 399).Morgan Deters
2013-02-16Merge branch '1.0.x'Kshitij Bansal
2013-02-16gitinfo modifications fixKshitij Bansal
2013-02-16Fix version identification for new git repository.Morgan Deters
2013-02-07Do not install the "private-library" headerMorgan Deters
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
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback