Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: NixOS/nixpkgs
base: 3516b2dad23c
Choose a base ref
...
head repository: NixOS/nixpkgs
compare: 218f12db701f
Choose a head ref
  • 3 commits
  • 2 files changed
  • 3 contributors

Commits on Nov 13, 2018

  1. solc: 0.4.25 -> 0.5.0

    @asymmetric
    asymmetric committed Nov 13, 2018
    Copy the full SHA
    4905157 View commit details
    Browse the repository at this point in the history

Commits on Nov 15, 2018

  1. z3: restrict to x86_64 

    it uses x86-only header:

include <immintrin.h>
          ^~~~~~~~~~~~~
compilation terminated.
src/sat/sat_probing.cpp
make: *** [Makefile:182: util/mpz.o] Error 1
make: *** Waiting for unfinished jobs....
src/sat/sat_parallel.cpp
builder for '/nix/store/vd2wkhic8g77izxv659ackh6hcaamic3-z3-4.8.1.drv' failed with exit code 2
cannot build derivation '/nix/store/h5imnjsf31c45l558gw66vyzb0ickc1m-solc-0.5.0.drv': 1 dependencies couldn't be built
error: build of '/nix/store/h5imnjsf31c45l558gw66vyzb0ickc1m-solc-0.5.0.drv' failed
    @Mic92
    Mic92 committed Nov 15, 2018
    Copy the full SHA
    abb0c81 View commit details
    Browse the repository at this point in the history

  2. Merge pull request #50324 from asymmetric/solc 

    solc: 0.4.25 -> 0.5.0
    @Mic92
    Mic92 committed Nov 15, 2018
    Copy the full SHA
    218f12d View commit details
    Browse the repository at this point in the history