| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | treewide: name -> pname (easy cases) (#66585) | volth | 2019-08-15 |
| * | treewide: remove unused variables (#63177) | volth | 2019-06-16 |
| * | cryptominisat: 5.6.6 -> 5.6.8 | R. RyanTM | 2019-03-01 |
| * | cryptominisat: switch to python3 | Jörg Thalheim | 2019-01-05 |
| * | cryptominisat: 5.0.1 -> 5.6.6 | Jörg Thalheim | 2019-01-05 |
| * | cryptominisat: use new xxd package instead of vim | Peter Hoeg | 2017-07-24 |
| * | cryptominisat: init at 5.0.1 | Jörg Thalheim | 2017-05-22 |