Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2017-05-22 | stp: 2014.01.07 -> 2.2.0 | Jörg Thalheim | 1 | -17/+26 |
2015-05-28 | Don't use "with licenses;" for single licences | Tobias Geerinckx-Rice | 1 | -1/+1 |
2014-11-02 | boost: Remove boost.lib | William A. Kennington III | 1 | -1/+1 |
2014-09-21 | boost: Update depdendent packages | William A. Kennington III | 1 | -1/+1 |
2014-01-25 | STP: Simple Theorem Prover (a SMT solver for bitvectors & arrays). | Petr Rockai | 1 | -0/+23 |