| 2013-09-13 |
Morgan Deters | Documentation fixes, some code typo fixes, file perms... |
tree | commitdiff |
| 2012-10-06 |
Morgan Deters | * Clean up some options documentation |
tree | commitdiff |
| 2012-09-29 |
Morgan Deters | draft RELEASE-NOTES file, and minor release stuff |
tree | commitdiff |
| 2012-09-28 |
Morgan Deters | Public interface review items: |
tree | commitdiff |
| 2012-09-14 |
Morgan Deters | Fix a few minor issues in options processing, improving... |
tree | commitdiff |
| 2012-07-31 |
Morgan Deters | Options merge. This commit: |
tree | commitdiff |
| 2012-07-09 |
Morgan Deters | minor fix-ups |
tree | commitdiff |
| 2012-07-09 |
Morgan Deters | fix eXecutable bit on a script |
tree | commitdiff |
| 2012-07-08 |
Morgan Deters | Bugs resolved by this commit: #314, #322, #359, #364... |
tree | commitdiff |
| 2012-03-09 |
Morgan Deters | minor fixes: to "make dist" in build directories with... |
tree | commitdiff |
| 2011-09-02 |
Morgan Deters | Merge from my post-smtcomp branch. Includes: |
tree | commitdiff |
| 2010-02-18 |
Christopher L. Conway | Adding doxygen configuration parameters and doxygen... |
tree | commitdiff |
| 2010-01-28 |
Christopher L. Conway | Removing Makefile.in's |
tree | commitdiff |
| 2010-01-26 |
Morgan Deters | fixes to build structure, util classes, lots of fixes... |
tree | commitdiff |
| 2009-12-17 |
Morgan Deters | support nonstandard, unconfigured builds (e.g., ".... |
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-08 |
Morgan Deters | check in automake/libtool/autoconf-generated files... |
tree | commitdiff |
| 2009-11-03 |
Morgan Deters | commit of project structure including autotools support |
tree | commitdiff |
|
projects / cvc5.git / history