about summary refs log tree commit diff
path: root/pkgs/development/compilers/solc
AgeCommit message (Expand)AuthorFilesLines
2023-12-06python3Packages.z3-solver: rename from z3Yifei Sun1-1/+1
2023-09-19solc: 0.8.19 -> 0.8.21kashw22-21/+3
2023-04-04solc: 0.8.13 -> 0.8.19 (#219240)François-René Rideau2-9/+30
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-05-16solc: remove 0.7 releaseLorenzo Manacorda1-78/+0
2021-03-14solc: make linux onlyJonathan Ringer2-2/+2
2021-03-14solc: 0.7.4 -> 0.8.2Jonathan Ringer2-55/+162
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 Manacorda2-82/+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.10mingchuan2-13/+10
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 Manacorda2-6/+5
2018-12-14solc: disable LLL installationLorenzo Manacorda2-16/+2
2018-12-06solc: 0.5.0 -> 0.5.1Lionello Lunesu2-13/+28
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)mingchuan3-40/+20
2018-05-02solc: 0.4.20 -> 0.4.23Alexander Krupenkin3-13/+115
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