| 2011-10-04 |
Morgan Deters | oops, one more fix, hopefully the last |
tree | commitdiff |
| 2011-10-04 |
Morgan Deters | Yet Another Antlr3 Mod---this time, all my fault: for... |
tree | commitdiff |
| 2011-10-04 |
Morgan Deters | more fixes for libantlr3c v3.4 |
tree | commitdiff |
| 2011-10-04 |
Morgan Deters | support for configure-discovery of antlr3-3.4-beta4 |
tree | commitdiff |
| 2011-10-03 |
Morgan Deters | user push/pop support in minisat and simplification... |
tree | commitdiff |
| 2011-09-28 |
Morgan Deters | better fix for #281, also fix issue with command line... |
tree | commitdiff |
| 2011-09-27 |
Morgan Deters | more interface work; adding legacy C interface |
tree | commitdiff |
| 2011-09-21 |
Morgan Deters | Java binding now working. Some interface types still... |
tree | commitdiff |
| 2011-09-20 |
Morgan Deters | Merge from "swig" branch: language binding for Java... |
tree | commitdiff |
| 2011-09-16 |
Morgan Deters | final(?) documentation fixes |
tree | commitdiff |
| 2011-09-16 |
Morgan Deters | new, improved doxygen config file |
tree | commitdiff |
| 2011-09-16 |
Morgan Deters | fix debian build without breaking anything (i hope) |
tree | commitdiff |
| 2011-09-02 |
Morgan Deters | Merge from my post-smtcomp branch. Includes: |
tree | commitdiff |
| 2011-05-23 |
Morgan Deters | fixes for "make dist" and "make doc", minor cleanups |
tree | commitdiff |
| 2011-05-02 |
Morgan Deters | fix for configure |
tree | commitdiff |
| 2011-05-02 |
Morgan Deters | more minor fixes related to last few commits |
tree | commitdiff |
| 2011-05-01 |
Morgan Deters | minor fixes, plus experimental readline support in... |
tree | commitdiff |
| 2011-04-10 |
Morgan Deters | merge from replay branch |
tree | commitdiff |
| 2011-04-04 |
Morgan Deters | Add documentation to Node and TNode (closes bug #201). |
tree | commitdiff |
| 2010-12-17 |
Morgan Deters | tls.h, rational.h, and integer.h are only re-generated... |
tree | commitdiff |
| 2010-11-16 |
Morgan Deters | SmtEngine now fails with a ModalException if --incremen... |
tree | commitdiff |
| 2010-11-15 |
Morgan Deters | Pretty-printer infrastructure created (in src/printer... |
tree | commitdiff |
| 2010-10-29 |
Morgan Deters | portability updates to build system |
tree | commitdiff |
| 2010-10-04 |
Morgan Deters | fix regular expressions in build system |
tree | commitdiff |
| 2010-10-01 |
Morgan Deters | replacement implementation for clock_gettime() on mac... |
tree | commitdiff |
| 2010-09-27 |
ACSYS | add workaround for systems (i.e., Mac OS X) that don... |
tree | commitdiff |
| 2010-09-01 |
Morgan Deters | reflect in build strings that -gmp is now the default... |
tree | commitdiff |
| 2010-07-05 |
Morgan Deters | better exception wording, assertion-handling in multipl... |
tree | commitdiff |
| 2010-07-05 |
Morgan Deters | workaround for strange CIMS installation of automake... |
tree | commitdiff |
| 2010-07-03 |
Morgan Deters | With this commit come a number of changes to build... |
tree | commitdiff |
| 2010-06-18 |
Morgan Deters | "statistics" and "staticbinary" are now tags on the... |
tree | commitdiff |
| 2010-06-03 |
Christopher L. Conway | Changing ANTLR3 detection in configure (Fixes #147) |
tree | commitdiff |
| 2010-06-01 |
Christopher L. Conway | Checking for executable permission on antlr3 script |
tree | commitdiff |
| 2010-04-13 |
Christopher L. Conway | Doxygen fixes |
tree | commitdiff |
| 2010-04-04 |
Morgan Deters | * Node::isAtomic() now looks at an "atomic" attribute... |
tree | commitdiff |
| 2010-04-01 |
Morgan Deters | PARSER STUFF: |
tree | commitdiff |
| 2010-03-30 |
Christopher L. Conway | Merging from branches/antlr3 (r246:354) |
tree | commitdiff |
| 2010-03-05 |
Morgan Deters | * public/private code untangled (smt/smt_engine.h no... |
tree | commitdiff |
| 2010-02-22 |
Morgan Deters | Re-committing revision 232 properly: |
tree | commitdiff |
| 2010-02-22 |
Morgan Deters | undoing improperly-committed revision 232; will re... |
tree | commitdiff |
| 2010-02-22 |
Cesare Tinelli | * Add virtual destructors to CnfStream, Theory, OutputC... |
tree | commitdiff |
| 2010-02-19 |
Morgan Deters | * Attribute infrastructure -- static design. Documenta... |
tree | commitdiff |
| 2010-02-18 |
Christopher L. Conway | Adding doxygen configuration parameters and doxygen... |
tree | commitdiff |
| 2010-02-09 |
Morgan Deters | removing other pieces of autotools stuff to fix bug #24 |
tree | commitdiff |
| 2010-02-03 |
Morgan Deters | Addressed many of the concerns of bug 10 (build system... |
tree | commitdiff |
| 2009-12-17 |
Morgan Deters | making config/mkbuilddir executable |
tree | commitdiff |
| 2009-12-17 |
Morgan Deters | support nonstandard, unconfigured builds (e.g., ".... |
tree | commitdiff |
| 2009-12-16 |
Morgan Deters | + refactoring fixes for expr package based on code... |
tree | commitdiff |
| 2009-12-16 |
Christopher L. Conway | Standardizing configure arguments for ANTLR/CxxTest |
tree | commitdiff |
| 2009-12-16 |
Morgan Deters | Fixes to the build system: |
tree | commitdiff |
| 2009-12-11 |
Morgan Deters | build fixes, configuration simplifications |
tree | commitdiff |
| 2009-12-09 |
Morgan Deters | some fixes and organizational adjustments to assert... |
tree | commitdiff |
| 2009-12-08 |
Morgan Deters | check in automake/libtool/autoconf-generated files... |
tree | commitdiff |
| 2009-12-04 |
Morgan Deters | more build system work |
tree | commitdiff |
| 2009-12-04 |
Dejan Jovanović | Adding support for ANTLR checking in autogen.sh (config... |
tree | commitdiff |
|
projects / cvc5.git / history