summaryrefslogtreecommitdiff
path: root/src/Makefile.am
AgeCommit message (Expand)Author
2014-05-26Separating an implicit inclusion of smt_engine.h from theory.h.Tim King
2014-05-11More preparation for CASC proofs. Minor fix for sort inference (rewrite new ...Andrew Reynolds
2014-05-06First draft of ambqi_builder (new implementation of MBQI based on disjoint se...Andrew Reynolds
2014-04-30T-entailment work, and QCF (quant conflict find) work that uses it.Tim King
2014-04-09some debugging changesKshitij Bansal
2014-03-19Refactor the theory specific parts of definition expansion into the theory so...Martin Brain
2014-03-11Fix for rewriterules build breakage.Morgan Deters
2014-03-11Initial refactor of rewrite rules, make theory_rewriterules empty theory. Pu...Andrew Reynolds
2014-03-07Merging a squash of the branch timothy-king/CVC4/glpknecfix c95bf7d4f1 into m...Tim King
2014-02-21disable test cvc3_main, attempt to fix dist_checkKshitij Bansal
2014-02-21add new theory (sets)Kshitij Bansal
2014-02-14Make QCF more incremental. Fix bug in QCF handling of ITE formulas, add supp...Andrew Reynolds
2014-01-10Add new method --quant-cf for finding conflicts eagerly for quantified formul...Andrew Reynolds
2014-01-03Added support for proof production in Equality Engine. Cleaned up existing p...Andrew Reynolds
2013-12-23Proof-checking code; fixups of segfaults and missing functionality in proof g...Morgan Deters
2013-12-16First attempt at incorporating LFSC proof checker into CVC4.Morgan Deters
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
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback