Austin Seipp
c2e1f9bc07
yosys: 2020.06.11 -> 2020.06.16
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-06-16 11:38:07 -05:00
Austin Seipp
13e52db31e
yosys: 2020.03.24 -> 2020.06.11
...
Also includes a bump to `abc-verifier`.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-06-11 23:14:07 -05:00
Austin Seipp
d35d9a9db2
yosys: 2020.03.16 -> 2020.03.24
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-03-25 06:46:01 -05:00
Austin Seipp
9b43cf3a00
yosys: 2020.02.25 -> 2020.03.16
...
- Bump `abc-verifier` (2020.03.05)
- Install `yosys-abc` symlink for tool compatbility
- Various `yosys` expression cleanups
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-03-17 17:19:37 -05:00
Austin Seipp
d1293a70c7
yosys: 2020.02.07 -> 2020.02.25
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-02-26 18:32:16 -06:00
Emily
397c4cdd75
yosys: 2020.02.01 -> 2020.02.07
2020-02-08 23:00:07 -06:00
Florian Klink
b437fa4c52
yosys: check abc-verifier rev to ensure compatibility
2020-02-01 12:49:45 +01:00
Florian Klink
214cac8b26
yosys: 2019.10.18 -> 2020.02.01
2020-02-01 12:49:45 +01:00
Florian Klink
48085826fa
yosys: use external abc
2020-02-01 12:49:45 +01:00
Florian Klink
e0b28fb806
yosys: don't use srcs array, but single src
2020-02-01 12:40:37 +01:00
Florian Klink
3086338f9d
yosys: user placeholder
2020-02-01 12:40:37 +01:00
Emily
0d026cf62f
yosys: 2019.09.27 -> 2019.10.18
2019-10-19 12:26:49 -05:00
Emily
26d26f77a6
yosys: enable tests
2019-09-28 16:55:21 -05:00
Emily
b819ce615d
yosys: 2019.09.01 -> 2019.09.27
2019-09-28 16:55:21 -05:00
Emily
89ff2c7b9d
yosys: 2019.08.22 -> 2019.09.01
2019-09-01 14:22:49 -05:00
Emily
771b93817d
yosys: update Makefile patches
2019-08-23 02:14:40 -05:00
Emily
cec8795379
yosys: 2019.08.13 -> 2019.08.22
2019-08-23 02:14:40 -05:00
Emily
830801805d
yosys: 2019.04.23 -> 2019.08.13
2019-08-14 00:14:22 -07:00
Austin Seipp
1f86adbdbf
yosys: 2019.04.22 -> 2019.04.23
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2019-04-23 09:34:42 -05:00
Austin Seipp
77be634daa
yosys: 2019.04.08 -> 2019.04.22
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2019-04-22 14:27:44 -05:00
Ben Wolsieffer
44d499644b
yosys: 2019.02.22 -> 2019.04.08
2019-04-14 23:48:14 -05:00
Austin Seipp
0267483ac3
yosys: 2019.01.08 -> 2019.02.22
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2019-02-23 12:08:48 -06:00
Austin Seipp
c60adabfbc
yosys: 2018.10.17 -> 2019.01.08
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2019-01-08 19:15:24 -06:00
Ben Gamari
95e3b53b06
yosys: 2018.09.30 -> 2018.10.17
2018-10-17 00:15:47 -04:00
Austin Seipp
d7393024d1
yosys: 2018.08.08 -> 2018.09.30
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-10-01 22:32:54 -05:00
Austin Seipp
0f25234437
yosys: 2018.05.03 -> 2018.08.08, enable protobuf backend
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-08-08 19:49:41 -05:00
Austin Seipp
f17f686684
yosys: 2018.03.21 -> 2018.05.03
...
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-05-03 20:05:43 -05:00
Vincent Laporte
f13cb56360
yosys: fix build with clang
2018-04-16 11:47:49 +00:00
Austin Seipp
7a00f136e9
yosys: 2018.03.07 -> 2018.03.21
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-03-21 16:05:10 -05:00
Austin Seipp
679dfdb40d
yosys: 2018.02.14 -> 2018.03.07
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-03-08 21:23:20 -06:00
Austin Seipp
c2973f986d
yosys: 2018.02.04 -> 2018.02.14
...
Also fixes 'yosys -V' output to give the correct Git SHA1 revision.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-02-14 00:31:13 -06:00
Austin Seipp
12037a9e79
yosys: 2018.01.10 -> 2018.02.04
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-02-04 11:59:19 -06:00
Austin Seipp
155a2f270f
yosys: 2017.12.06 -> 2018.01.10
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-01-10 14:00:58 -06:00
Austin Seipp
f284f04a74
nixpkgs: yosys 2017.11.05 -> 2017.12.06
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-12-06 22:04:49 -06:00
Austin Seipp
9cb5201d33
yosys/symbiyosys: 2017.10.16 -> 2017.11.05
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-11-05 12:49:38 -06:00
Austin Seipp
35c885dc3d
nixpkgs: yosys 2017.09.01 -> 2017.10.16, enable parallel builds
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-10-16 12:01:17 -05:00
John Ericson
531e4b80c9
misc pkgs: Basic sed to get fix pkgconfig
and autoreconfHook
buildInputs
...
Only acts on one-line dependency lists.
2017-09-21 15:49:53 -04:00
Austin Seipp
cd7b2ec77a
yosys: 2016.11.25 -> 2017.09.01
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-09-02 04:19:11 -05:00
Austin Seipp
a51378c419
nixpkgs: yosys 2016.08.18 -> 2016.11.25
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2016-11-25 23:26:10 +00:00
Austin Seipp
535219895d
nixpkgs: yosys 2016.05.21 -> 2016.08.18
...
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-19 01:55:13 +00:00
Tuomas Tynkkynen
21f17d69f6
treewide: Add lots of meta.platforms
...
Build-tested on x86_64 Linux & Mac.
2016-08-02 21:42:43 +03:00
David Craven
b467283352
yosys: 2015.12.29 -> 2016.05.21
2016-05-22 07:54:05 +02:00
Shell Turner
c485543c7c
yosys: init at 2015.12.29
2015-12-30 16:52:41 +00:00