2014-11-10 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
2014-11-07 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
2014-11-07 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
2014-11-07 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
2014-11-05 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
2014-10-17 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
2014-10-16 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
2014-10-11 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
2014-10-10 |
Kshitij Bansal | Merge remote-tracking branch 'origin/1.4.x' |
tree | commitdiff |
2014-10-09 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
2014-10-07 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
2014-10-06 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
2014-10-06 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
2014-10-03 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
2014-10-03 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
2014-10-02 |
Morgan Deters | Merge branch '1.4.x'. |
tree | commitdiff |
2014-09-30 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
2014-09-27 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
2014-09-26 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
2014-09-17 |
Kshitij Bansal | Merge branch '1.4.x' while ignoring commit 8d5eb49. |
tree | commitdiff |
2014-09-17 |
Kshitij Bansal | Merge branch '1.4.x' |
tree | commitdiff |
2014-08-22 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
2014-08-22 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
2014-08-19 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
2014-08-18 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
2014-08-05 |
Morgan Deters | Fix for manpages. |
tree | commitdiff |
2014-07-10 |
Kshitij Bansal | Merge remote-tracking branch 'origin/master' into segfa... |
tree | commitdiff |
2014-06-30 |
Kshitij Bansal | Merge pull request #47 from kbansal/sets |
tree | commitdiff |
2014-06-26 |
Morgan Deters | Merge tag 'smtcomp2014-resubmission' |
tree | commitdiff |
2014-06-25 |
Andrew Reynolds | Merge pull request #34 from mdeters/datatypes-kinds |
tree | commitdiff |
2014-06-25 |
Andrew Reynolds | Merge pull request #37 from mdeters/quants-kinds |
tree | commitdiff |
2014-06-25 |
Andrew Reynolds | Merge pull request #38 from mdeters/uf-kinds |
tree | commitdiff |
2014-06-22 |
Morgan Deters | Better documentation pages. |
tree | commitdiff |
2014-06-22 |
Morgan Deters | Merge tag 'smtcomp2014-application' |
tree | commitdiff |
2014-06-22 |
lianah | Merge pull request #39 from mdeters/bv-warnings |
tree | commitdiff |
2014-06-22 |
lianah | Merge pull request #35 from mdeters/bv-kinds |
tree | commitdiff |
2014-06-22 |
Morgan Deters | API documentation improvements. |
tree | commitdiff |
2014-06-19 |
Morgan Deters | Proper escaping in option documentation. |
tree | commitdiff |
2014-06-19 |
Morgan Deters | Proper escaping in option documentation. |
tree | commitdiff |
2013-09-30 |
Liana Hadarean | merged golden |
tree | commitdiff |
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 |
|