about summary refs log tree commit diff
path: root/pkgs/development/compilers/yosys
AgeCommit message (Collapse)AuthorFilesLines
2020-02-01yosys: check abc-verifier rev to ensure compatibilityFlorian Klink1-1/+8
2020-02-01yosys: 2019.10.18 -> 2020.02.01Florian Klink1-3/+3
2020-02-01yosys: use external abcFlorian Klink1-23/+4
2020-02-01yosys: don't use srcs array, but single srcFlorian Klink1-28/+24
2020-02-01yosys: user placeholderFlorian Klink1-6/+12
2019-10-19yosys: 2019.09.27 -> 2019.10.18Emily1-5/+5
2019-09-28yosys: enable testsEmily1-0/+9
2019-09-28yosys: 2019.09.01 -> 2019.09.27Emily1-3/+3
2019-09-01yosys: 2019.08.22 -> 2019.09.01Emily1-3/+3
2019-08-23yosys: update Makefile patchesEmily1-2/+6
2019-08-23yosys: 2019.08.13 -> 2019.08.22Emily1-5/+5
2019-08-14yosys: 2019.04.23 -> 2019.08.13Emily1-8/+8
2019-04-23yosys: 2019.04.22 -> 2019.04.23Austin Seipp1-3/+3
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2019-04-22yosys: 2019.04.08 -> 2019.04.22Austin Seipp1-5/+5
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2019-04-14yosys: 2019.02.22 -> 2019.04.08Ben Wolsieffer1-3/+3
2019-02-23yosys: 2019.01.08 -> 2019.02.22Austin Seipp1-3/+3
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2019-01-08yosys: 2018.10.17 -> 2019.01.08Austin Seipp1-5/+5
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-10-17yosys: 2018.09.30 -> 2018.10.17Ben Gamari1-3/+3
2018-10-01yosys: 2018.08.08 -> 2018.09.30Austin Seipp1-3/+3
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-08-08yosys: 2018.05.03 -> 2018.08.08, enable protobuf backendAustin Seipp1-7/+14
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-05-03yosys: 2018.03.21 -> 2018.05.03Austin Seipp1-8/+8
ABC has now moved to GitHub, so we can eliminate the usage of fetchFromBitbucket now, too. Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-04-16yosys: fix build with clangVincent Laporte1-2/+6
2018-03-21yosys: 2018.03.07 -> 2018.03.21Austin Seipp1-3/+3
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-03-08yosys: 2018.02.14 -> 2018.03.07Austin Seipp1-3/+3
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-02-14yosys: 2018.02.04 -> 2018.02.14Austin Seipp1-3/+15
Also fixes 'yosys -V' output to give the correct Git SHA1 revision. Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-02-04yosys: 2018.01.10 -> 2018.02.04Austin Seipp1-4/+4
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-01-10yosys: 2017.12.06 -> 2018.01.10Austin Seipp1-5/+5
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-12-06nixpkgs: yosys 2017.11.05 -> 2017.12.06Austin Seipp1-11/+11
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-11-05yosys/symbiyosys: 2017.10.16 -> 2017.11.05Austin Seipp1-5/+5
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-10-16nixpkgs: yosys 2017.09.01 -> 2017.10.16, enable parallel buildsAustin Seipp1-10/+13
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-09-21misc pkgs: Basic sed to get fix `pkgconfig` and `autoreconfHook` `buildInputs`John Ericson1-1/+2
Only acts on one-line dependency lists.
2017-09-02yosys: 2016.11.25 -> 2017.09.01Austin Seipp1-5/+5
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2016-11-25nixpkgs: yosys 2016.08.18 -> 2016.11.25Austin Seipp1-5/+5
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2016-08-19nixpkgs: yosys 2016.05.21 -> 2016.08.18Austin Seipp1-8/+8
Also amend the fetched name 'abc' to 'yosys-abc', so that the derivation name looks distinctly different from any other abc install at a glance. Signed-off-by: Austin Seipp <aseipp@pobox.com>
2016-08-02treewide: Add lots of meta.platformsTuomas Tynkkynen1-0/+1
Build-tested on x86_64 Linux & Mac.
2016-05-22yosys: 2015.12.29 -> 2016.05.21David Craven1-6/+5
2015-12-30yosys: init at 2015.12.29Shell Turner1-0/+50