summaryrefslogtreecommitdiff
path: root/src/Makefile.am
AgeCommit message (Expand)Author
2014-11-13Remove two obsolete versions of MBQI.ajreynol
2014-11-07Remove some dead code.Morgan Deters
2014-10-28Initial infrastructure for function definition quantifiers, internal parsing ...ajreynol
2014-10-19Finish sets type enumerator implementation.Kshitij Bansal
2014-10-10Add owner map to better manage QuantifiersModules. Initial infrastructure fo...ajreynol
2014-07-31New module for generating candidate equality conjectures used in inductive pr...ajreynol
2014-06-21fixed build failurelianah
2014-06-19get-glpk-cut-log script, and configure code.Morgan Deters
2014-06-14Evil bitvector preprocessing pass for simplifying powers of two.lianah
2014-06-11Fix an omission in bv sources.Morgan Deters
2014-06-11Some clean-up, post bv-merge.Morgan Deters
2014-06-10Merging Tim's pseudoboolean work from his fmcad14 branch.Tim King
2014-06-10Merging CAV14 paper bit-vector work.lianah
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
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback