Commit message (Expand) | Author | Age | |
---|---|---|---|
* | treewide: remove platform assertions | Matthew Bauer | 2018-05-03 |
* | verifast: 14.5 -> 18.02 (#39480) | Michiel Derhaeg | 2018-04-25 |
* | treewide: explicitly specify gtk and related package versions | Kirill Boltaev | 2016-09-12 |
* | replace ${stdenv.cc.cc}/lib occurences | Nikolay Amiantov | 2016-05-01 |
* | rename all occurrences of stdenv.cc.gcc to stdenv.cc.cc | Eric Seidel | 2015-01-14 |
* | Change occurrences of gcc to the more general cc | John Wiegley | 2014-12-26 |
* | Fix various evaluation problems | Eelco Dolstra | 2014-08-22 |
* | verifast: 14.5, x86_64 linux only | Austin Seipp | 2014-06-10 |
* | z3/verifast: update license | Austin Seipp | 2014-05-01 |
* | nixpkgs: verifast 13.11.14 | Austin Seipp | 2014-04-28 |