Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Remove # $FreeBSD$ from Makefiles. | Mathieu Arnold | 2021-04-06 | 1 | -1/+0 |
* | Downgrade C++03 to C++98, actual default for GCC < 6 | Jan Beich | 2018-10-28 | 1 | -1/+1 |
* | - Fix build with clang 6 | Vsevolod Stakhov | 2018-01-25 | 1 | -1/+1 |
* | - Fix compatibility with c++11 | Dmitry Marakasov | 2015-06-26 | 1 | -1/+9 |
* | Remove indefinite articles and trailing periods from COMMENT, plus minor | Jimmy Olgeni | 2014-07-07 | 1 | -1/+1 |
* | - Unbreak with clang 3.4 (not bumping revision). | Vsevolod Stakhov | 2014-03-31 | 1 | -1/+1 |
* | - Stage support | Martin Wilke | 2014-02-02 | 1 | -1/+0 |
* | Add NO_STAGE all over the place in preparation for the staging support (cat: ... | Baptiste Daroussin | 2013-09-20 | 1 | -0/+1 |
* | Add minisat port - a lightweight SAT solver. | Vsevolod Stakhov | 2013-09-18 | 1 | -0/+16 |