Age | Commit message (Collapse) | Author | |
---|---|---|---|
2013-04-01 | Merging some cleanup work: | Morgan Deters | |
* Comment cleanup * Spelling fixes * Fix warnings * Documentation updates * References in docs to cryptominisat removed * Unneeded scope resolutions removed * Old, unused regression removed | |||
2012-12-03 | distribute the find_public_interface.sh script | Morgan Deters | |
2012-12-03 | version numbering | Morgan Deters | |
2012-10-03 | better documentation, allow examples to be installed, etc | Morgan Deters | |
2011-09-29 | compatibility work, documentation | Morgan Deters | |
2011-09-20 | Merge from "swig" branch: language binding for Java is compiling and ↵ | Morgan Deters | |
linking. Enable with --enable-language-bindings=java | |||
2011-09-18 | cleaned up the mechanism for library versioning | Morgan Deters | |