about summary refs log tree commit diff
path: root/pkgs/development/compilers/solc/default.nix
AgeCommit message (Expand)AuthorFilesLines
2023-12-06python3Packages.z3-solver: rename from z3Yifei Sun1-1/+1
2023-09-19solc: 0.8.19 -> 0.8.21kashw21-7/+3
2023-04-04solc: 0.8.13 -> 0.8.19 (#219240)François-René Rideau1-9/+16
2023-02-13treewide: use optionalStringFelix Buehler1-1/+1
2023-01-21treewide: switch to nativeCheckInputsGuillaume Girol1-1/+1
2022-07-04treewide: Remove now-unneeded LD_LIBRARY_PATH in cmake derivationsJosef Kemetmüller1-6/+0
2022-05-03solc: add darwin binary for nowhappysalada1-8/+28
2022-05-02solc: disable z3 strict version checkhappysalada1-3/+6
2022-03-26solc: 0.8.2 -> 0.8.13 (#160957)neirenoir1-2/+11
2021-07-17various: cleanup of "inherit version;"Felix Buehler1-1/+0
2021-05-19solc: make darwin friendlyJonathan Ringer1-2/+1
2021-03-14solc: make linux onlyJonathan Ringer1-1/+1
2021-03-14solc: 0.7.4 -> 0.8.2Jonathan Ringer1-55/+84
2021-01-23pkgs/development/compilers: stdenv.lib -> libBen Siraphob1-10/+9
2020-11-05solc: 0.6.8 -> 0.7.4Francois-Rene Rideau1-7/+12
2020-05-15solc: 0.5.15 -> 0.6.8Francois-Rene Rideau1-11/+5
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-2/+2
2020-01-15treewide: Fix unsafe concatenation of $LD_LIBRARY_PATHAnders Kaseorg1-1/+1
2019-12-26solc: 0.5.12 -> 0.5.15Lorenzo Manacorda1-11/+4
2019-10-08solc: 0.5.11 -> 0.5.12R. RyanTM1-2/+2
2019-08-25Merge branch 'master' into staging-nextVladimír Čunát1-6/+11
2019-08-23solc: build with cvc4 supportLev Livnev1-4/+9
2019-08-23solc: 0.5.10 -> 0.5.11Lev Livnev1-2/+2
2019-08-15treewide: name -> pname (easy cases) (#66585)volth1-1/+1
2019-06-26solc: 0.5.9 -> 0.5.10mingchuan1-11/+8
2019-05-30solc: 0.5.8 -> 0.5.9mingchuan1-3/+3
2019-05-20solc: 0.5.7 -> 0.5.8mingchuan1-14/+36
2019-03-27solc: 0.5.6 -> 0.5.7Atkins1-3/+3
2019-03-14solc: 0.5.5 -> 0.5.6Atkins1-3/+3
2019-03-06solc: 0.5.4 -> 0.5.5Atkins1-5/+5
2019-02-25solc: 0.5.3 -> 0.5.4Lorenzo Manacorda1-3/+4
2019-02-20solc: make z3 dependency optionalLorenzo Manacorda1-2/+9
2019-02-01solc: 0.5.2 -> 0.5.3Lorenzo Manacorda1-3/+3
2018-12-21solc: 0.5.1 -> 0.5.2Lorenzo Manacorda1-3/+3
2018-12-14solc: disable LLL installationLorenzo Manacorda1-3/+1
2018-12-06solc: 0.5.0 -> 0.5.1Lionello Lunesu1-10/+5
2018-11-13solc: 0.4.25 -> 0.5.0Lorenzo Manacorda1-3/+3
2018-10-12solc: 0.4.24 -> 0.4.25Alexander Krupenkin1-3/+3
2018-06-10solc: 0.4.23 -> 0.4.24 (#41631)mingchuan1-10/+14
2018-05-02solc: 0.4.20 -> 0.4.23Alexander Krupenkin1-13/+27
2018-02-20solc: 0.4.19 -> 0.4.20adisbladis1-9/+5
2018-01-15solc: 0.4.17 -> 0.4.19adisbladis1-3/+3
2017-09-22solc: v0.4.16 -> v0.4.17Mikael Brockman1-4/+4
2017-08-30solc: v0.4.13 -> v0.4.16 (#28732)Mikael Brockman1-8/+10
2017-07-12solc: build on both linux and darwinDaniel Brockman1-0/+1
2017-07-12solc: make sure to use dynamic Boost libsMikael Brockman1-0/+3
2017-07-12solc: 0.4.12 -> 0.4.13Daniel Brockman1-3/+3
2017-07-05solc: 0.4.11 -> 0.4.12Daniel Brockman1-12/+14
2017-05-19solc: 0.4.8 -> 0.4.11Daniel Brockman1-4/+7
2017-03-04solc: fix buildVincent Laporte1-2/+11