Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2024-05-24 | pkgs/development: remove unused fetchpatch arguments | Sigmanificient | 1 | -1/+0 |
2023-12-06 | python3Packages.z3-solver: rename from z3 | Yifei Sun | 1 | -1/+1 |
2023-09-19 | solc: 0.8.19 -> 0.8.21 | kashw2 | 1 | -7/+3 |
2023-04-04 | solc: 0.8.13 -> 0.8.19 (#219240) | François-René Rideau | 1 | -9/+16 |
2023-02-13 | treewide: use optionalString | Felix Buehler | 1 | -1/+1 |
2023-01-21 | treewide: switch to nativeCheckInputs | Guillaume Girol | 1 | -1/+1 |
2022-07-04 | treewide: Remove now-unneeded LD_LIBRARY_PATH in cmake derivations | Josef Kemetmüller | 1 | -6/+0 |
2022-05-03 | solc: add darwin binary for now | happysalada | 1 | -8/+28 |
2022-05-02 | solc: disable z3 strict version check | happysalada | 1 | -3/+6 |
2022-03-26 | solc: 0.8.2 -> 0.8.13 (#160957) | neirenoir | 1 | -2/+11 |
2021-07-17 | various: cleanup of "inherit version;" | Felix Buehler | 1 | -1/+0 |
2021-05-19 | solc: make darwin friendly | Jonathan Ringer | 1 | -2/+1 |
2021-03-14 | solc: make linux only | Jonathan Ringer | 1 | -1/+1 |
2021-03-14 | solc: 0.7.4 -> 0.8.2 | Jonathan Ringer | 1 | -55/+84 |
2021-01-23 | pkgs/development/compilers: stdenv.lib -> lib | Ben Siraphob | 1 | -10/+9 |
2020-11-05 | solc: 0.6.8 -> 0.7.4 | Francois-Rene Rideau | 1 | -7/+12 |
2020-05-15 | solc: 0.5.15 -> 0.6.8 | Francois-Rene Rideau | 1 | -11/+5 |
2020-04-10 | treewide: Per RFC45, remove all unquoted URLs | Michael Reilly | 1 | -2/+2 |
2020-01-15 | treewide: Fix unsafe concatenation of $LD_LIBRARY_PATH | Anders Kaseorg | 1 | -1/+1 |
2019-12-26 | solc: 0.5.12 -> 0.5.15 | Lorenzo Manacorda | 1 | -11/+4 |
2019-10-08 | solc: 0.5.11 -> 0.5.12 | R. RyanTM | 1 | -2/+2 |
2019-08-25 | Merge branch 'master' into staging-next | Vladimír Čunát | 1 | -6/+11 |
2019-08-23 | solc: build with cvc4 support | Lev Livnev | 1 | -4/+9 |
2019-08-23 | solc: 0.5.10 -> 0.5.11 | Lev Livnev | 1 | -2/+2 |
2019-08-15 | treewide: name -> pname (easy cases) (#66585) | volth | 1 | -1/+1 |
2019-06-26 | solc: 0.5.9 -> 0.5.10 | mingchuan | 1 | -11/+8 |
2019-05-30 | solc: 0.5.8 -> 0.5.9 | mingchuan | 1 | -3/+3 |
2019-05-20 | solc: 0.5.7 -> 0.5.8 | mingchuan | 1 | -14/+36 |
2019-03-27 | solc: 0.5.6 -> 0.5.7 | Atkins | 1 | -3/+3 |
2019-03-14 | solc: 0.5.5 -> 0.5.6 | Atkins | 1 | -3/+3 |
2019-03-06 | solc: 0.5.4 -> 0.5.5 | Atkins | 1 | -5/+5 |
2019-02-25 | solc: 0.5.3 -> 0.5.4 | Lorenzo Manacorda | 1 | -3/+4 |
2019-02-20 | solc: make z3 dependency optional | Lorenzo Manacorda | 1 | -2/+9 |
2019-02-01 | solc: 0.5.2 -> 0.5.3 | Lorenzo Manacorda | 1 | -3/+3 |
2018-12-21 | solc: 0.5.1 -> 0.5.2 | Lorenzo Manacorda | 1 | -3/+3 |
2018-12-14 | solc: disable LLL installation | Lorenzo Manacorda | 1 | -3/+1 |
2018-12-06 | solc: 0.5.0 -> 0.5.1 | Lionello Lunesu | 1 | -10/+5 |
2018-11-13 | solc: 0.4.25 -> 0.5.0 | Lorenzo Manacorda | 1 | -3/+3 |
2018-10-12 | solc: 0.4.24 -> 0.4.25 | Alexander Krupenkin | 1 | -3/+3 |
2018-06-10 | solc: 0.4.23 -> 0.4.24 (#41631) | mingchuan | 1 | -10/+14 |
2018-05-02 | solc: 0.4.20 -> 0.4.23 | Alexander Krupenkin | 1 | -13/+27 |
2018-02-20 | solc: 0.4.19 -> 0.4.20 | adisbladis | 1 | -9/+5 |
2018-01-15 | solc: 0.4.17 -> 0.4.19 | adisbladis | 1 | -3/+3 |
2017-09-22 | solc: v0.4.16 -> v0.4.17 | Mikael Brockman | 1 | -4/+4 |
2017-08-30 | solc: v0.4.13 -> v0.4.16 (#28732) | Mikael Brockman | 1 | -8/+10 |
2017-07-12 | solc: build on both linux and darwin | Daniel Brockman | 1 | -0/+1 |
2017-07-12 | solc: make sure to use dynamic Boost libs | Mikael Brockman | 1 | -0/+3 |
2017-07-12 | solc: 0.4.12 -> 0.4.13 | Daniel Brockman | 1 | -3/+3 |
2017-07-05 | solc: 0.4.11 -> 0.4.12 | Daniel Brockman | 1 | -12/+14 |
2017-05-19 | solc: 0.4.8 -> 0.4.11 | Daniel Brockman | 1 | -4/+7 |