Age | Commit message (Expand) | Author |
2011-05-02 | fix for configure | Morgan Deters |
2011-05-02 | more minor fixes related to last few commits | Morgan Deters |
2011-05-01 | minor fixes, plus experimental readline support in InteractiveShell | Morgan Deters |
2011-04-10 | merge from replay branch | Morgan Deters |
2011-04-04 | Add documentation to Node and TNode (closes bug #201). | Morgan Deters |
2010-12-17 | tls.h, rational.h, and integer.h are only re-generated if changed. this obvi... | Morgan Deters |
2010-11-16 | SmtEngine now fails with a ModalException if --incremental is not enabled | Morgan Deters |
2010-11-15 | Pretty-printer infrastructure created (in src/printer) and SMT-LIBv2 printer | Morgan Deters |
2010-10-29 | portability updates to build system | Morgan Deters |
2010-10-04 | fix regular expressions in build system | Morgan Deters |
2010-10-01 | replacement implementation for clock_gettime() on mac os x, build portability... | Morgan Deters |
2010-09-27 | add workaround for systems (i.e., Mac OS X) that don't support __thread; also... | ACSYS |
2010-09-01 | reflect in build strings that -gmp is now the default and -cln is an option | Morgan Deters |
2010-07-05 | better exception wording, assertion-handling in multiple-exception case; reso... | Morgan Deters |
2010-07-05 | workaround for strange CIMS installation of automake; resolves bug 172: autog... | Morgan Deters |
2010-07-03 | With this commit come a number of changes to build system to support | Morgan Deters |
2010-06-18 | "statistics" and "staticbinary" are now tags on the build (so you get build d... | Morgan Deters |
2010-06-03 | Changing ANTLR3 detection in configure (Fixes #147) | Christopher L. Conway |
2010-06-01 | Checking for executable permission on antlr3 script | Christopher L. Conway |
2010-04-13 | Doxygen fixes | Christopher L. Conway |
2010-04-04 | * Node::isAtomic() now looks at an "atomic" attribute of arguments | Morgan Deters |
2010-04-01 | PARSER STUFF: | Morgan Deters |
2010-03-30 | Merging from branches/antlr3 (r246:354) | Christopher L. Conway |
2010-03-05 | * public/private code untangled (smt/smt_engine.h no longer #includes | Morgan Deters |
2010-02-22 | Re-committing revision 232 properly: | Morgan Deters |
2010-02-22 | undoing improperly-committed revision 232; will re-commit to get "svn blame" ... | Morgan Deters |
2010-02-22 | * Add virtual destructors to CnfStream, Theory, OutputChannel, and | Cesare Tinelli |
2010-02-19 | * Attribute infrastructure -- static design. Documentation is coming. | Morgan Deters |
2010-02-18 | Adding doxygen configuration parameters and doxygen-doc Makefile target | Christopher L. Conway |
2010-02-09 | removing other pieces of autotools stuff to fix bug #24 | Morgan Deters |
2010-02-03 | Addressed many of the concerns of bug 10 (build system code review). | Morgan Deters |
2009-12-17 | making config/mkbuilddir executable | Morgan Deters |
2009-12-17 | support nonstandard, unconfigured builds (e.g., "./configure debug" followed ... | Morgan Deters |
2009-12-16 | + refactoring fixes for expr package based on code review (see bug #4) | Morgan Deters |
2009-12-16 | Standardizing configure arguments for ANTLR/CxxTest | Christopher L. Conway |
2009-12-16 | Fixes to the build system: | Morgan Deters |
2009-12-11 | build fixes, configuration simplifications | Morgan Deters |
2009-12-09 | some fixes and organizational adjustments to assert code, parsers/lexers, and... | Morgan Deters |
2009-12-08 | check in automake/libtool/autoconf-generated files; add better file not found... | Morgan Deters |
2009-12-04 | more build system work | Morgan Deters |
2009-12-04 | Adding support for ANTLR checking in autogen.sh (config/antlr.m4). Commiting ... | Dejan Jovanović |