| Age | Commit message (Expand) | Author |
|---|
| 2012-07-08 | Bugs resolved by this commit: #314, #322, #359, #364, #365. | Morgan Deters |
| 2012-06-13 | Don't use the "inlined" feature of ANTLR 3.2, which causes a buffer overflow ... | Morgan Deters |
| 2012-03-30 | fixing some build systme warnings | Dejan Jovanović |
| 2012-02-22 | fixes to configure and boost.m4 to make certain boost installations nonfatal ... | Morgan Deters |
| 2012-02-22 | make sure to clear out READLINE_LIBS if readline causes problems at configure... | Morgan Deters |
| 2012-02-20 | portfolio merge | Morgan Deters |
| 2012-02-20 | readline links in -ltermcap -ltinfo too (fixes breakage in static-binary builds) | Morgan Deters |
| 2012-02-03 | updating configure to use python-config for building python bindings | Dejan Jovanović |
| 2011-11-16 | Fix "make dist". Fixes to python and ruby bindings; ruby example written. T... | Morgan Deters |
| 2011-11-16 | * Applying Andy's fix for datatypes bug #286; thanks for the quick work, Andy! | Morgan Deters |
| 2011-11-15 | Bindings work (ocaml bindings are now sort of working); also minor cleanup | Morgan Deters |
| 2011-10-28 | merged the proofgen3 branch into trunk: | Liana Hadarean |
| 2011-10-21 | add gcc version information to Configuration, and warn when building with v4.... | Morgan Deters |
| 2011-10-19 | fix bug #264: competition / other static library builds when readline isn't a... | Morgan Deters |
| 2011-10-06 | don't build language bindings unless expressly requested with --enable-langua... | Morgan Deters |
| 2011-10-04 | oops, one more fix, hopefully the last | Morgan Deters |
| 2011-10-04 | Yet Another Antlr3 Mod---this time, all my fault: for configuration auto-dete... | Morgan Deters |
| 2011-10-04 | more fixes for libantlr3c v3.4 | Morgan Deters |
| 2011-10-04 | support for configure-discovery of antlr3-3.4-beta4 | Morgan Deters |
| 2011-10-03 | user push/pop support in minisat and simplification; also bindings work | Morgan Deters |
| 2011-09-28 | better fix for #281, also fix issue with command line options not existing on... | Morgan Deters |
| 2011-09-27 | more interface work; adding legacy C interface | Morgan Deters |
| 2011-09-21 | Java binding now working. Some interface types still need some work (e.g. it... | Morgan Deters |
| 2011-09-20 | Merge from "swig" branch: language binding for Java is compiling and linking.... | Morgan Deters |
| 2011-09-16 | final(?) documentation fixes | Morgan Deters |
| 2011-09-16 | new, improved doxygen config file | Morgan Deters |
| 2011-09-16 | fix debian build without breaking anything (i hope) | Morgan Deters |
| 2011-09-02 | Merge from my post-smtcomp branch. Includes: | Morgan Deters |
| 2011-05-23 | fixes for "make dist" and "make doc", minor cleanups | Morgan Deters |
| 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 |
