| 2012-03-09 |
Morgan Deters | Some work on the dump infrastructure to support portfol... |
blob | commitdiff | raw |
| 2012-03-03 |
Morgan Deters | Changing the dependency checking; GMP is required ... |
blob | commitdiff | raw | diff to current |
| 2012-02-23 |
Morgan Deters | pcvc4 only built if --with-portfolio given to the confi... |
blob | commitdiff | raw | diff to current |
| 2012-02-22 |
Morgan Deters | fixes to configure and boost.m4 to make certain boost... |
blob | commitdiff | raw | diff to current |
| 2012-02-22 |
Morgan Deters | another static library unavailability issue |
blob | commitdiff | raw | diff to current |
| 2012-02-22 |
Morgan Deters | Fixes to documentation / fixes for MacOS |
blob | commitdiff | raw | diff to current |
| 2012-02-21 |
Morgan Deters | add a "--with-portfolio" configure option that makes... |
blob | commitdiff | raw | diff to current |
| 2012-02-21 |
Morgan Deters | fix src/util/hash.h to specialize GNU's hash template... |
blob | commitdiff | raw | diff to current |
| 2012-02-21 |
Morgan Deters | don't require libboost_thread (its presence is detected... |
blob | commitdiff | raw | diff to current |
| 2012-02-20 |
Morgan Deters | zlib not required; remove configure's dependency on it |
blob | commitdiff | raw | diff to current |
| 2012-02-20 |
Morgan Deters | portfolio merge |
blob | commitdiff | raw | diff to current |
| 2012-02-12 |
Morgan Deters | separate new-theory components into a "theoryskel"... |
blob | commitdiff | raw | diff to current |
| 2012-02-07 |
Morgan Deters | re-adding comment about available languages |
blob | commitdiff | raw | diff to current |
| 2012-02-03 |
Dejan Jovanović | updating configure to use python-config for building... |
blob | commitdiff | raw | diff to current |
| 2011-10-28 |
Morgan Deters | proof regressions |
blob | commitdiff | raw | diff to current |
| 2011-10-28 |
Liana Hadarean | merged the proofgen3 branch into trunk: |
blob | commitdiff | raw | diff to current |
| 2011-10-21 |
Morgan Deters | add gcc version information to Configuration, and warn... |
blob | commitdiff | raw | diff to current |
| 2011-10-19 |
Morgan Deters | fix configure step on Ubuntu oneiric (11.10)-- related... |
blob | commitdiff | raw | diff to current |
| 2011-10-03 |
Morgan Deters | user push/pop support in minisat and simplification... |
blob | commitdiff | raw | diff to current |
| 2011-09-30 |
Morgan Deters | interfaces fixes and cleanups...and examples of each... |
blob | commitdiff | raw | diff to current |
| 2011-09-28 |
Morgan Deters | better fix for #281, also fix issue with command line... |
blob | commitdiff | raw | diff to current |
| 2011-09-25 |
Morgan Deters | first crack at compatibility java interface (not built... |
blob | commitdiff | raw | diff to current |
| 2011-09-21 |
Morgan Deters | Java binding now working. Some interface types still... |
blob | commitdiff | raw | diff to current |
| 2011-09-21 |
Morgan Deters | considerable bindings interface work, some improvements... |
blob | commitdiff | raw | diff to current |
| 2011-09-18 |
Morgan Deters | cleaned up the mechanism for library versioning |
blob | commitdiff | raw | diff to current |
| 2011-09-16 |
Morgan Deters | fix debian build without breaking anything (i hope) |
blob | commitdiff | raw | diff to current |
| 2011-09-03 |
Morgan Deters | this should fix the build; doxygen documentation now... |
blob | commitdiff | raw | diff to current |
| 2011-09-02 |
Morgan Deters | Merge from my post-smtcomp branch. Includes: |
blob | commitdiff | raw | diff to current |
| 2011-07-07 |
Morgan Deters | cudd-building prefs with --with-cudd / --without-cudd |
blob | commitdiff | raw | diff to current |
| 2011-06-18 |
Morgan Deters | Some fixes inspired by Fedora 15: |
blob | commitdiff | raw | diff to current |
| 2011-05-02 |
Morgan Deters | more minor fixes related to last few commits |
blob | commitdiff | raw | diff to current |
| 2011-05-01 |
Morgan Deters | minor fixes, plus experimental readline support in... |
blob | commitdiff | raw | diff to current |
| 2011-04-10 |
Morgan Deters | merge from replay branch |
blob | commitdiff | raw | diff to current |
| 2011-04-10 |
Morgan Deters | Add -lprofiler when --with-google-perftools is offered... |
blob | commitdiff | raw | diff to current |
| 2011-04-02 |
Morgan Deters | with --with-google-perftools, don't just take it on... |
blob | commitdiff | raw | diff to current |
| 2011-03-25 |
Morgan Deters | This is a merge from the "theoryfixes+cdattrhash" branc... |
blob | commitdiff | raw | diff to current |
| 2011-03-15 |
Morgan Deters | Merge from cudd branch. This mostly just adds support... |
blob | commitdiff | raw | diff to current |
| 2011-03-14 |
Dejan Jovanović | adding support for google performance tools to the... |
blob | commitdiff | raw | diff to current |
| 2010-12-17 |
Morgan Deters | tls.h, rational.h, and integer.h are only re-generated... |
blob | commitdiff | raw | diff to current |
| 2010-11-18 |
Morgan Deters | small changes to documentation; also, '\''make doc... |
blob | commitdiff | raw | diff to current |
| 2010-10-31 |
Morgan Deters | enable dependence graphs in doxygen; fix lots of doxyge... |
blob | commitdiff | raw | diff to current |
| 2010-10-29 |
Morgan Deters | portability updates to build system |
blob | commitdiff | raw | diff to current |
| 2010-10-28 |
Morgan Deters | fix confusing CXXTEST configure message, indicating... |
blob | commitdiff | raw | diff to current |
| 2010-10-12 |
Morgan Deters | Merge from cc-memout branch. Here are the main points |
blob | commitdiff | raw | diff to current |
| 2010-10-10 |
Morgan Deters | additional model gen and SMT-LIBv2 compliance work... |
blob | commitdiff | raw | diff to current |
| 2010-10-07 |
Morgan Deters | type checking for define-fun in production builds;... |
blob | commitdiff | raw | diff to current |
| 2010-10-01 |
Morgan Deters | re-add no-deprecated to C sources; update some file... |
blob | commitdiff | raw | diff to current |
| 2010-10-01 |
Morgan Deters | replacement implementation for clock_gettime() on mac... |
blob | commitdiff | raw | diff to current |
| 2010-09-30 |
Morgan Deters | fixed a number of problems with mac os x builds. build... |
blob | commitdiff | raw | diff to current |
| 2010-09-27 |
ACSYS | add workaround for systems (i.e., Mac OS X) that don... |
blob | commitdiff | raw | diff to current |
| 2010-09-24 |
Morgan Deters | roll back an unintended change with r900 |
blob | commitdiff | raw | diff to current |
| 2010-09-24 |
Morgan Deters | Fix build system for Mac OS X builds (resolves bug... |
blob | commitdiff | raw | diff to current |
| 2010-09-02 |
Morgan Deters | * add TimerStat statistic type |
blob | commitdiff | raw | diff to current |
| 2010-08-24 |
Christopher L. Conway | Making GMP default, CLN opt-in with --with-cln |
blob | commitdiff | raw | diff to current |
| 2010-08-17 |
Morgan Deters | Merge from "cc" branch: |
blob | commitdiff | raw | diff to current |
| 2010-08-16 |
Morgan Deters | add zlib checks to configure (new minisat requires... |
blob | commitdiff | raw | diff to current |
| 2010-07-07 |
Morgan Deters | some build system changes reverted after the CLN build... |
blob | commitdiff | raw | diff to current |
| 2010-07-04 |
Morgan Deters | better detection for static binary building |
blob | commitdiff | raw | diff to current |
| 2010-07-04 |
Morgan Deters | make dist && make distcheck functional, other fixes |
blob | commitdiff | raw | diff to current |
| 2010-07-03 |
Morgan Deters | better config.reconfig script auto-generated |
blob | commitdiff | raw | diff to current |
| 2010-07-03 |
Morgan Deters | With this commit come a number of changes to build... |
blob | commitdiff | raw | diff to current |
| 2010-07-02 |
Tim King | Merges the cln-test branch into the main branch. |
blob | commitdiff | raw | diff to current |
| 2010-06-18 |
Morgan Deters | "statistics" and "staticbinary" are now tags on the... |
blob | commitdiff | raw | diff to current |
| 2010-06-18 |
Tim King | Merging the statistics branch into the main trunk.... |
blob | commitdiff | raw | diff to current |
| 2010-05-27 |
Morgan Deters | Use the newer automake test driver "parallel-tests... |
blob | commitdiff | raw | diff to current |
| 2010-05-27 |
Morgan Deters | fix bug 120; competition mode regression failures for... |
blob | commitdiff | raw | diff to current |
| 2010-05-04 |
Christopher L. Conway | Disabling semantic checks in competition mode. |
blob | commitdiff | raw | diff to current |
| 2010-04-14 |
Morgan Deters | * Better dependency tracking for unit test building... |
blob | commitdiff | raw | diff to current |
| 2010-04-08 |
Morgan Deters | A handful of build system fixes: |
blob | commitdiff | raw | diff to current |
| 2010-04-04 |
Morgan Deters | * Addressed issues brought up in Chris's review of... |
blob | commitdiff | raw | diff to current |
| 2010-04-04 |
Morgan Deters | * Node::isAtomic() now looks at an "atomic" attribute... |
blob | commitdiff | raw | diff to current |
| 2010-04-01 |
Morgan Deters | PARSER STUFF: |
blob | commitdiff | raw | diff to current |
| 2010-04-01 |
Christopher L. Conway | Adding check for --disable-shared on --enable-coverage |
blob | commitdiff | raw | diff to current |
| 2010-03-30 |
Morgan Deters | Highlights of this commit are: |
blob | commitdiff | raw | diff to current |
| 2010-03-26 |
Tim King | Added GMP backed Rational and Integer classes, and... |
blob | commitdiff | raw | diff to current |
| 2010-03-15 |
Morgan Deters | This checkin resolves bug #57. |
blob | commitdiff | raw | diff to current |
| 2010-03-12 |
Morgan Deters | * src/context/cdmap.h: rename orderedIterator to iterat... |
blob | commitdiff | raw | diff to current |
| 2010-03-08 |
Dejan Jovanović | Adding quiet output of make by default. There are two... |
blob | commitdiff | raw | diff to current |
| 2010-03-05 |
Morgan Deters | * public/private code untangled (smt/smt_engine.h no... |
blob | commitdiff | raw | diff to current |
| 2010-02-22 |
Morgan Deters | * configure.ac: Remove doc/ from search path for Makefi... |
blob | commitdiff | raw | diff to current |
| 2010-02-22 |
Morgan Deters | Re-committing revision 232 properly: |
blob | commitdiff | raw | diff to current |
| 2010-02-22 |
Morgan Deters | undoing improperly-committed revision 232; will re... |
blob | commitdiff | raw | diff to current |
| 2010-02-22 |
Cesare Tinelli | * Add virtual destructors to CnfStream, Theory, OutputC... |
blob | commitdiff | raw | diff to current |
| 2010-02-22 |
Morgan Deters | fix bug 33 (statically link the "cvc4" binary); also... |
blob | commitdiff | raw | diff to current |
| 2010-02-22 |
Morgan Deters | fix bug 22 (remove tracing from non-trace builds; remov... |
blob | commitdiff | raw | diff to current |
| 2010-02-18 |
Christopher L. Conway | Adding doxygen configuration parameters and doxygen... |
blob | commitdiff | raw | diff to current |
| 2010-02-17 |
Morgan Deters | fix bug 27: --with-cxxtest-dir=(relative-path) now... |
blob | commitdiff | raw | diff to current |
| 2010-02-06 |
Morgan Deters | force sorting of AC_CONFIG_FILES, otherwise different... |
blob | commitdiff | raw | diff to current |
| 2010-02-05 |
Morgan Deters | auto-generated list of AC_CONFIG_FILES so that you... |
blob | commitdiff | raw | diff to current |
| 2010-02-04 |
Morgan Deters | remove warnings from use of __gnu_cxx::hash_map<>;... |
blob | commitdiff | raw | diff to current |
| 2010-02-04 |
Morgan Deters | test infrastructure updated for multiple-level regressions |
blob | commitdiff | raw | diff to current |
| 2010-02-04 |
Morgan Deters | added bool and arith theory makefiles to AC_CONFIG_FILE... |
blob | commitdiff | raw | diff to current |
| 2010-02-03 |
Morgan Deters | Addressed many of the concerns of bug 10 (build system... |
blob | commitdiff | raw | diff to current |
| 2010-01-26 |
Morgan Deters | fixes to build structure, util classes, lots of fixes... |
blob | commitdiff | raw | diff to current |
| 2010-01-05 |
Christopher L. Conway | Changes to configure.ac from code review |
blob | commitdiff | raw | diff to current |
| 2009-12-17 |
Morgan Deters | add system regression testing infrastructure |
blob | commitdiff | raw | diff to current |
| 2009-12-17 |
Morgan Deters | support nonstandard, unconfigured builds (e.g., ".... |
blob | commitdiff | raw | diff to current |
| 2009-12-16 |
Christopher L. Conway | Standardizing configure arguments for ANTLR/CxxTest |
blob | commitdiff | raw | diff to current |
| 2009-12-16 |
Morgan Deters | Fixes to the build system: |
blob | commitdiff | raw | diff to current |
| 2009-12-11 |
Morgan Deters | build fixes, configuration simplifications |
blob | commitdiff | raw | diff to current |
| next |
projects / cvc5.git / history