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: eaeb6721d9ad
Choose a base ref
...
head repository: NixOS/nixpkgs
compare: 635fbcbd33e8
Choose a head ref
  • 7 commits
  • 9 files changed
  • 1 contributor

Commits on Oct 16, 2017

  1. nixpkgs: icestorm 2017.08.31 -> 2017.10.16 

    Also add myself to the maintainers list.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
    @thoughtpolice
    thoughtpolice committed Oct 16, 2017
    Copy the full SHA
    11cd2c5 View commit details
    Browse the repository at this point in the history

  2. nixpkgs: simplify arachne-pnr makeFlags, make myself maintainer 

    Signed-off-by: Austin Seipp <aseipp@pobox.com>
    @thoughtpolice
    thoughtpolice committed Oct 16, 2017
    Copy the full SHA
    3b08d97 View commit details
    Browse the repository at this point in the history

  3. nixpkgs: yosys 2017.09.01 -> 2017.10.16, enable parallel builds 

    Signed-off-by: Austin Seipp <aseipp@pobox.com>
    @thoughtpolice
    thoughtpolice committed Oct 16, 2017
    Copy the full SHA
    35c885d View commit details
    Browse the repository at this point in the history

  4. nixpkgs: add symbiyosys, for HDL verification flows 

    Signed-off-by: Austin Seipp <aseipp@pobox.com>
    @thoughtpolice
    thoughtpolice committed Oct 16, 2017
    Copy the full SHA
    740fb16 View commit details
    Browse the repository at this point in the history

  5. nixpkgs: add 'avy' -- property directed AIGER model checking 

    Signed-off-by: Austin Seipp <aseipp@pobox.com>
    @thoughtpolice
    thoughtpolice committed Oct 16, 2017
    Copy the full SHA
    e84cec2 View commit details
    Browse the repository at this point in the history

  6. picosat: install more stuff 

    Projects like the AIGER toolkit want to use the picosat.o object file in order
to do SAT solving. Install this, along with the header and version information,
so a build of the AIGER can use it. This means that picosat does not need to be
built twice.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
    @thoughtpolice
    thoughtpolice committed Oct 16, 2017
    Copy the full SHA
    b72f543 View commit details
    Browse the repository at this point in the history

  7. nixpkgs: add aiger 1.9.9 

    Signed-off-by: Austin Seipp <aseipp@pobox.com>
    @thoughtpolice
    thoughtpolice committed Oct 16, 2017
    Copy the full SHA
    635fbcb View commit details
    Browse the repository at this point in the history