Age | Commit message (Collapse) | Author | |
---|---|---|---|
2018-09-04 | Remove CVC3 compatibility layer (#2418) | Andres Noetzli | |
2018-06-25 | Bump library version. | Aina Niemetz | |
2017-07-10 | Prerelease versioning for master. | Mathias Preiner | |
2017-07-05 | updated INSTALL for version 1.5 | Mathias Preiner | |
2014-07-13 | Versioning for master. | Morgan Deters | |
2014-07-13 | New versioning for development version. | Morgan Deters | |
2014-06-19 | Versioning preparation. | Morgan Deters | |
2014-06-10 | Some news about API changes. | Morgan Deters | |
2013-12-06 | Initializing master for next version. | Morgan Deters | |
2013-12-06 | Initializing 1.3.x branch. | Morgan Deters | |
2013-11-27 | Some versioning in advance of the 1.3 release. | Morgan Deters | |
2013-05-20 | Merge branch '1.2.x' | Morgan Deters | |
Conflicts: library_versions src/parser/parser.h | |||
2013-05-20 | Detect multiply-defined :named annotations and issue an error. | Morgan Deters | |
Thanks to David Cok for pointing out this issue. Conflicts: library_versions | |||
2013-05-17 | Better error on invalid logic strings. | Morgan Deters | |
Thanks to David Cok for reporting this issue. | |||
2013-05-08 | Prerelease versioning for 1.2.x | Morgan Deters | |
2013-05-08 | Prerelease versioning for master | Morgan Deters | |
2013-05-08 | Cutting release 1.2.1.2 | Morgan Deters | |
2013-04-03 | Prerelease versioning for master. | Morgan Deters | |
2013-04-03 | Pre-release versioning | Morgan Deters | |
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 | |