Commit message (Expand) | Author | Age | |
---|---|---|---|
* | treewide: stdenv.lib -> lib | Ben Siraphob | 2021-01-16 |
* | treewide: with stdenv.lib; in meta -> with lib; | Profpatsch | 2021-01-11 |
* | btor2tools: fix install_name on darwin | Artur Cygan | 2020-11-29 |
* | btor2tools: enable unix platforms | Artur Cygan | 2020-10-16 |
* | btor2tools: pre55 -> 1.0.0-pre | Symphorien Gibol | 2020-06-08 |
* | btor2tools: correct meta information | Robert Scott | 2019-12-12 |
* | treewide: remove redundant rec | volth | 2019-08-28 |
* | treewide: name -> pname (easy cases) (#66585) | volth | 2019-08-15 |
* | btor2tools: init at pre55_8c150b39 | Austin Seipp | 2018-08-15 |