Austin Seipp
56d7883363
yosys: 0.9+3675 -> 0.9+3715
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-12-02 07:18:08 -06:00
Austin Seipp
e80eeae690
yosys: 2020.10.20 -> 0.9+3675 (new version scheme)
...
Yosys now has their own official scheme for tagging unstable builds;
an automation robot appears from the darkness once every few hours,
bumps the version number, and disappears as silently as they came.
While Nix packages use a date-based version format for unstable
packages, many (most!) users of Yosys use an unstable version. And so
synchronizing the version of the Nix package with the repository version
is significantly less confusing to users. This also adds a safeguard to
ensure others don't forget to bump the version number correctly in the
future.
The testsuite also saw an overhaul (now parallel to help build time), so
some tweaks were needed to get it working again.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-11-12 15:23:03 -06:00
Austin Seipp
a7e87bdd58
yosys: 2020.08.22 -> 2020.10.20
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-10-20 09:52:41 -05:00
Austin Seipp
4c5dd4c73b
yosys: 2020.07.07 -> 2020.08.22
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-08-23 11:01:20 -05:00
Austin Seipp
63e55fae00
yosys: 2020.06.19 -> 2020.07.07
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-07-09 09:12:41 -05:00
Austin Seipp
2c91b4358a
yosys: 2020.06.16 -> 2020.06.19
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-06-20 11:34:10 -05:00
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