Commit Graph

1170 Commits

Author SHA1 Message Date
Catherine e9a11dd088 Update ABC for WASI support. 2023-09-13 11:39:30 +00:00
github-actions[bot] 9e004426e0 Bump version 2023-09-13 00:14:55 +00:00
Miodrag Milanovic bef7ffccc1 Update ABC to latest 2023-09-11 16:25:58 +02:00
github-actions[bot] 41b34a1935 Bump version 2023-09-07 00:14:30 +00:00
github-actions[bot] 83b1a57eed Bump version 2023-09-06 00:14:34 +00:00
Miodrag Milanovic 11a2de815a Next dev cycle 2023-09-05 08:11:03 +02:00
Miodrag Milanovic 2584903a06 Release version 0.33 2023-09-05 08:08:51 +02:00
github-actions[bot] b75959f1f2 Bump version 2023-09-05 00:14:21 +00:00
github-actions[bot] 73cb4977b2 Bump version 2023-09-02 00:14:04 +00:00
github-actions[bot] b739213d9f Bump version 2023-08-30 00:14:38 +00:00
github-actions[bot] 572ad341b7 Bump version 2023-08-29 00:14:35 +00:00
github-actions[bot] 2f901a8297 Bump version 2023-08-28 00:15:18 +00:00
github-actions[bot] de54cf1a0c Bump version 2023-08-26 00:13:58 +00:00
github-actions[bot] 6405bbab1e Bump version 2023-08-18 00:14:07 +00:00
github-actions[bot] cbd3ff2d3a Bump version 2023-08-15 00:14:23 +00:00
github-actions[bot] 008b725c1d Bump version 2023-08-13 00:15:02 +00:00
github-actions[bot] 40978971f4 Bump version 2023-08-12 00:13:32 +00:00
whitequark 67052f62ec fmt: add tests for Yosys evaluation of format expressions. 2023-08-11 04:46:52 +02:00
whitequark 9ea241711e kernel: add format string helpers, `fmt`. 2023-08-11 04:46:52 +02:00
github-actions[bot] 389b8d0f94 Bump version 2023-08-08 00:16:52 +00:00
Miodrag Milanovic 105c447010 Next dev cycle 2023-08-07 08:25:37 +02:00
Miodrag Milanovic fbab08acf1 Release version 0.32 2023-08-07 08:22:52 +02:00
github-actions[bot] e0ba07aed3 Bump version 2023-08-05 00:16:43 +00:00
github-actions[bot] f37ce5c839 Bump version 2023-08-02 00:16:17 +00:00
Jannis Harder b9751ef0b0 Install yw.h and json.h 2023-08-01 13:51:04 +01:00
github-actions[bot] 6bf6e3307c Bump version 2023-08-01 00:19:43 +00:00
N. Engelhardt b04d0e09e8
Merge pull request #3830 from povik/cellaigs-header 2023-07-24 16:33:11 +02:00
github-actions[bot] c7670b36d4 Bump version 2023-07-24 00:17:45 +00:00
github-actions[bot] c023b9485a Bump version 2023-07-22 00:17:24 +00:00
github-actions[bot] 0b8f728590 Bump version 2023-07-21 00:17:07 +00:00
github-actions[bot] 83c9261d6c Bump version 2023-07-19 00:31:56 +00:00
Miodrag Milanovic 4fff228b0c Next dev cycle 2023-07-18 08:47:52 +02:00
Miodrag Milanovic f3c6b41050 Release version 0.31 2023-07-18 08:45:00 +02:00
github-actions[bot] 25d4b3a5dc Bump version 2023-07-18 00:26:17 +00:00
Martin Povišer 991bff00f1 Makefile: install cellaigs.h header 2023-07-04 00:50:38 +02:00
github-actions[bot] b5b0b7e839 Bump version 2023-06-29 00:18:55 +00:00
Jannis Harder a7bccdfe8d Update ABC version 2023-06-28 11:20:44 +02:00
github-actions[bot] 2310a0ea9a Bump version 2023-06-25 00:21:16 +00:00
github-actions[bot] 8f7a9a0b66 Bump version 2023-06-22 00:17:44 +00:00
github-actions[bot] 104edb4587 Bump version 2023-06-21 00:17:27 +00:00
github-actions[bot] 25954715f0 Bump version 2023-06-20 00:16:06 +00:00
github-actions[bot] 8b2a001021 Bump version 2023-06-13 00:17:19 +00:00
Miodrag Milanović a310bd2d23
Merge pull request #3802 from YosysHQ/micko/build_full
Improve Verific usage in plugins
2023-06-12 16:07:06 +02:00
Miodrag Milanović 8b74e8ad3a
Merge pull request #3796 from YosysHQ/micko/update_abc
Update ABC to latest
2023-06-12 16:06:56 +02:00
Miodrag Milanovic 34a6bef768 link verific where appropriate and link full archives 2023-06-12 10:01:35 +02:00
github-actions[bot] 5813809ad9 Bump version 2023-06-07 00:17:31 +00:00
Miodrag Milanovic 0d4a670267 Update ABC 2023-06-06 14:37:14 +02:00
Miodrag Milanovic b623888f6a Update ABC to latest 2023-06-06 11:57:20 +02:00
Miodrag Milanovic c5e4eec3ba Next dev cycle 2023-06-06 09:41:26 +02:00
Miodrag Milanovic f7a8284c7b Release version 0.30 2023-06-06 09:38:46 +02:00
github-actions[bot] 73badeccef Bump version 2023-06-06 00:17:35 +00:00
Miodrag Milanović 62fc118548
Merge pull request #3790 from zeldin/makefile-posix-test
Fix use of non-POSIX test expressions in Makefile
2023-06-05 16:21:11 +02:00
github-actions[bot] 88c849d112 Bump version 2023-06-04 00:19:27 +00:00
github-actions[bot] 43b807fe6f Bump version 2023-05-30 00:17:12 +00:00
Marcus Comstedt 1cd1e57e3c Fix use of non-POSIX test expressions in Makefile
POSIX test only allows "=" for string comparison.  Accepting "==" as
an alias is a bashism.  Even the bash manpage discourages its use.
2023-05-29 16:53:50 +02:00
github-actions[bot] 8596c5ce49 Bump version 2023-05-26 00:15:52 +00:00
github-actions[bot] 57c9eb70fe Bump version 2023-05-24 00:15:32 +00:00
github-actions[bot] cdeef5481c Bump version 2023-05-22 00:16:53 +00:00
github-actions[bot] 147cceb516 Bump version 2023-05-18 00:15:34 +00:00
github-actions[bot] d82bae32be Bump version 2023-05-10 00:15:03 +00:00
Miodrag Milanovic f790e00478 Next dev cycle 2023-05-09 08:00:06 +02:00
Miodrag Milanovic 9c5a60eb20 Release version 0.29 2023-05-09 07:57:55 +02:00
github-actions[bot] 0469405abf Bump version 2023-05-09 00:15:34 +00:00
github-actions[bot] f93671eb85 Bump version 2023-05-05 00:15:06 +00:00
github-actions[bot] 51dd029024 Bump version 2023-04-23 00:17:11 +00:00
github-actions[bot] 7efc50367e Bump version 2023-04-19 00:16:35 +00:00
github-actions[bot] a9c792dcee Bump version 2023-04-15 00:16:41 +00:00
Miodrag Milanovic d0855576ae Next dev cycle 2023-04-14 09:54:46 +02:00
Miodrag Milanovic 0d6f4b0683 Release version 0.28 2023-04-14 09:52:15 +02:00
github-actions[bot] a2655a4b70 Bump version 2023-04-13 00:14:37 +00:00
github-actions[bot] 101075611f Bump version 2023-04-07 00:14:38 +00:00
github-actions[bot] 53c0a6b780 Bump version 2023-03-24 00:16:02 +00:00
github-actions[bot] 23826e5152 Bump version 2023-03-21 00:15:46 +00:00
github-actions[bot] ceef00c35e Bump version 2023-03-16 00:17:57 +00:00
github-actions[bot] 101d19bb6a Bump version 2023-03-11 00:15:30 +00:00
github-actions[bot] b58664d441 Bump version 2023-03-07 00:18:51 +00:00
N. Engelhardt 7c5ae560a8
Merge pull request #3684 from YosysHQ/fix-GIT_REV 2023-03-06 16:12:36 +01:00
Miodrag Milanovic 368f2984cd Next dev cycle 2023-03-06 08:50:14 +01:00
Miodrag Milanovic 5f88c218b5 Release version 0.27 2023-03-06 08:47:51 +01:00
github-actions[bot] 9747e55d95 Bump version 2023-03-02 00:18:47 +00:00
Catherine 3f173c2180 Makefile: fix GIT_REV extraction if Yosys is built as submodule. 2023-03-01 21:17:19 +00:00
github-actions[bot] 71c59d9fab Bump version 2023-02-28 00:17:33 +00:00
Miodrag Milanovic 28c4aac234 run verific tests in test target 2023-02-27 09:27:04 +01:00
github-actions[bot] 8216b23fb7 Bump version 2023-02-24 00:16:59 +00:00
Catherine 5d9bd0af92 Update abc. 2023-02-23 01:48:21 +00:00
github-actions[bot] 0f2d226ae9 Bump version 2023-02-21 00:17:40 +00:00
github-actions[bot] f0116330bc Bump version 2023-02-18 00:17:33 +00:00
github-actions[bot] 1cfedc90ce Bump version 2023-02-17 00:18:18 +00:00
github-actions[bot] a20804c6ed Bump version 2023-02-16 00:17:37 +00:00
github-actions[bot] 59de4a0e7f Bump version 2023-02-15 00:17:48 +00:00
github-actions[bot] e0bc25f1af Bump version 2023-02-14 00:17:45 +00:00
github-actions[bot] 4c334b905f Bump version 2023-02-13 00:17:46 +00:00
github-actions[bot] 5ea2c290a5 Bump version 2023-02-11 00:14:42 +00:00
github-actions[bot] b1a011138c Bump version 2023-02-09 01:17:36 +00:00
Miodrag Milanovic a7099b0a72 Next dev cycle 2023-02-08 12:34:19 +01:00
Miodrag Milanovic 7e588664e7 Release version 0.26 2023-02-08 12:32:43 +01:00
github-actions[bot] 45edc8eb98 Bump version 2023-02-05 00:18:39 +00:00
Catherine 3af3cc15b5 Bump ABCREV to fix WASM build. 2023-02-04 03:35:53 +00:00
github-actions[bot] 54bf15a5b8 Bump version 2023-02-04 00:16:33 +00:00
github-actions[bot] 221036c5b6 Bump version 2023-02-02 00:17:21 +00:00
github-actions[bot] f7c1e4aadf Bump version 2023-01-31 00:17:36 +00:00
github-actions[bot] d11cb6901f Bump version 2023-01-30 00:14:47 +00:00
github-actions[bot] 541fdffff2 Bump version 2023-01-26 00:16:37 +00:00
github-actions[bot] 755b753e1a Bump version 2023-01-24 00:16:28 +00:00
Miodrag Milanović 8180cc4325
Merge pull request #3624 from jix/sim_yw
Changes to support SBY trace generation with the sim command
2023-01-23 16:55:17 +01:00
github-actions[bot] 29e7756b0c Bump version 2023-01-18 00:17:17 +00:00
github-actions[bot] 956c4e485a Bump version 2023-01-12 01:17:55 +00:00
Jannis Harder 29461ade17 Add json.{h,cc} for pretty printing JSON
Avoids errors in trailing comma handling, broken indentation and
improper escaping that is common when building JSON by manually
concatenating strings.
2023-01-11 18:07:16 +01:00
Jannis Harder 1494cfff00 New kernel/yw.{h,cc} to support reading Yosys witness files
This contains parsing code as well as generic routines to associate the
hierarchical signals paths within a Yosys witness file to a loaded RTLIL
design, including support for memories.
2023-01-11 18:07:16 +01:00
Jannis Harder 5abaa59080
Merge pull request #3537 from jix/xprop
New xprop pass
2023-01-11 16:26:04 +01:00
Miodrag Milanovic 5801152779 Deprecate gcc-4.8 2023-01-11 09:54:19 +01:00
github-actions[bot] 7b476996df Bump version 2023-01-11 01:16:47 +00:00
github-actions[bot] f2c689403a Bump version 2023-01-05 00:16:46 +00:00
github-actions[bot] d3216593da Bump version 2023-01-04 00:16:03 +00:00
Miodrag Milanovic c34d308bbd Next dev cycle 2023-01-03 09:36:13 +01:00
Miodrag Milanovic e02b7f64bc Release version 0.25 2023-01-03 09:34:45 +01:00
github-actions[bot] a27a297ebc Bump version 2023-01-03 00:15:41 +00:00
Miodrag Milanović 257b41cd1f
Merge pull request #3577 from KrystalDelusion/deprecate_manual
Deprecate manual
2023-01-02 16:07:36 +01:00
KrystalDelusion f33a21eea4 Removed manual from make clean 2022-12-19 10:10:34 +13:00
KrystalDelusion aeb40d4ddf Remove make targets for manual
Leaves the clean, since presentation source is still directly buildable and cleanable.
2022-12-19 10:08:40 +13:00
github-actions[bot] 69cbef9666 Bump version 2022-12-16 00:16:00 +00:00
github-actions[bot] 5d893c4b03 Bump version 2022-12-13 00:17:31 +00:00
github-actions[bot] 1f6ac926a4 Bump version 2022-12-06 01:16:03 +00:00
Miodrag Milanovic f1da4b0204 Next dev cycle 2022-12-05 17:21:20 +01:00
Miodrag Milanovic 313b7997b5 Release version 0.24 2022-12-05 17:11:03 +01:00
github-actions[bot] dcc1cb7ddd Bump version 2022-12-01 00:20:32 +00:00
Jannis Harder ce708122a5 New xprop pass to encode 3-valued x-propagation using 2-valued logic 2022-11-30 19:01:28 +01:00
github-actions[bot] f9db7c0599 Bump version 2022-11-29 00:18:02 +00:00
github-actions[bot] 23e26ff661 Bump version 2022-11-26 00:16:21 +00:00
github-actions[bot] c55c514cdb Bump version 2022-11-25 00:16:25 +00:00
KrystalDelusion b9b5899cce
Remove docs dependency on yosys repo (#3558)
* Copies guidelines files into docs/ for website

* Copying manual/CHAPTER_Prog for new docs

* Copying manual/APPNOTE_011... for new docs

Also adding faketime to list of packages for website build.

Co-authored-by: KrystalDelusion <krystinedawn@yosyshq.com>
2022-11-24 15:56:44 +01:00
github-actions[bot] 13e4f343b9 Bump version 2022-11-22 00:18:29 +00:00
github-actions[bot] e56c689962 Bump version 2022-11-18 00:20:31 +00:00
github-actions[bot] 0516fd751c Bump version 2022-11-17 00:19:18 +00:00
github-actions[bot] 388611aac4 Bump version 2022-11-16 00:19:25 +00:00
KrystalDelusion a14dec79eb
Rst docs conversion (#3496)
Rst docs conversion
2022-11-15 12:55:22 +01:00
Miodrag Milanović 853f4bb3c6
Merge pull request #3547 from YosysHQ/update_abc
Update ABC
2022-11-14 16:53:29 +01:00
github-actions[bot] 553eb6ac1e Bump version 2022-11-10 00:19:39 +00:00
Miodrag Milanovic 6403bfbd9f Update ABC 2022-11-09 08:48:31 +01:00
github-actions[bot] faa1c2e7fe Bump version 2022-11-09 00:20:01 +00:00
Miodrag Milanovic cb7299c3dc Next dev cycle 2022-11-08 07:57:48 +01:00
Miodrag Milanovic 7ce5011c24 Release version 0.23 2022-11-08 07:55:31 +01:00
github-actions[bot] 2cdbb85da6 Bump version 2022-11-08 00:20:00 +00:00
github-actions[bot] 14aa485176 Bump version 2022-11-05 00:20:11 +00:00
github-actions[bot] d8ea5ef6e2 Bump version 2022-11-01 00:23:48 +00:00
Miodrag Milanović 8d69220be7
Merge pull request #3533 from YosysHQ/micko/liberty
Liberty file support using verific library
2022-10-31 18:04:53 +01:00
Miodrag Milanović 499390e9ce
Merge pull request #3534 from mmicko/win32_plugins
Plugin support for mingw windows builds
2022-10-31 18:01:30 +01:00
Miodrag Milanovic e702f2894a Support for reading liberty files using verific 2022-10-31 10:15:05 +01:00
Miodrag Milanovic d1b3a250db Windows plugin build support 2022-10-31 09:10:46 +01:00
github-actions[bot] 5f209f8be5 Bump version 2022-10-31 00:22:50 +00:00
github-actions[bot] c0ad6b3bc6 Bump version 2022-10-30 00:23:01 +00:00
github-actions[bot] 518194fac1 Bump version 2022-10-25 00:30:03 +00:00
github-actions[bot] 713d42d25d Bump version 2022-10-22 00:26:01 +00:00
github-actions[bot] 4f4cff0080 Bump version 2022-10-21 00:23:12 +00:00
github-actions[bot] 6781746872 Bump version 2022-10-20 00:25:10 +00:00
github-actions[bot] d02ae8f2fc Bump version 2022-10-15 00:24:26 +00:00
github-actions[bot] 2e837956dc Bump version 2022-10-13 00:25:23 +00:00
github-actions[bot] 5c7a1eda92 Bump version 2022-10-11 00:24:29 +00:00
Aki Van Ness 7a73133c9f
backends: protobuf: removed protobuf backend 2022-10-10 10:41:11 -04:00
github-actions[bot] 0e13d7e4c7 Bump version 2022-10-08 00:22:25 +00:00
github-actions[bot] c4a52b1b02 Bump version 2022-10-06 00:24:43 +00:00
Miodrag Milanovic a5172df9e9 Next dev cycle 2022-10-05 11:32:11 +02:00
Miodrag Milanovic f109fa3d4c Release version 0.22 2022-10-05 11:30:38 +02:00
Miodrag Milanović b5d3920bf5
Merge pull request #3499 from YosysHQ/micko/verific_edif
Add support for EDIF file reading using Verific
2022-10-05 08:20:03 +02:00
github-actions[bot] 620af8b663 Bump version 2022-10-05 00:26:07 +00:00
Miodrag Milanovic 1a6f10e8ba Add support for EDIF file reading using Verific 2022-10-04 09:18:44 +02:00
github-actions[bot] a9795c4fce Bump version 2022-09-27 00:25:00 +00:00
github-actions[bot] 0ab726e204 Bump version 2022-09-23 00:23:22 +00:00
github-actions[bot] 50e267eace Bump version 2022-09-22 00:20:20 +00:00
github-actions[bot] a217450524 Bump version 2022-09-14 00:21:12 +00:00
github-actions[bot] d98738db5c Bump version 2022-09-09 00:21:22 +00:00
Miodrag Milanovic 5ccc941f25 Update to latest ABC changes 2022-09-08 16:08:55 +02:00
github-actions[bot] 406e12d859 Bump version 2022-09-08 00:20:56 +00:00
Miodrag Milanovic b7bf685010 Update to latest abc 2022-09-07 11:48:30 +02:00
github-actions[bot] 4fa4161aa6 Bump version 2022-09-07 00:53:15 +00:00
Miodrag Milanovic 07d9924a1b Next dev cycle 2022-09-06 08:26:44 +02:00
Miodrag Milanovic e6d2a900a9 Release version 0.21 2022-09-06 08:23:30 +02:00
github-actions[bot] 9313549cdd Bump version 2022-09-06 00:19:31 +00:00
github-actions[bot] 6e907acf86 Bump version 2022-09-01 00:18:29 +00:00
github-actions[bot] 7117817dbe Bump version 2022-08-30 00:21:44 +00:00
github-actions[bot] 060cbd3e9e Bump version 2022-08-26 00:19:20 +00:00
github-actions[bot] 029c2785e8 Bump version 2022-08-19 00:19:27 +00:00
github-actions[bot] 1c36f4cc2c Bump version 2022-08-17 00:18:21 +00:00
Jannis Harder 927af914f1 Update CEX minimization patches for abc 2022-08-16 13:37:30 +02:00
github-actions[bot] c26b2bf543 Bump version 2022-08-12 00:16:29 +00:00
github-actions[bot] 91010449ff Bump version 2022-08-11 00:19:11 +00:00
github-actions[bot] 035d99f3a8 Bump version 2022-08-10 00:16:23 +00:00
github-actions[bot] d2b4246a6d Bump version 2022-08-09 00:19:53 +00:00
github-actions[bot] 60a787fa50 Bump version 2022-08-04 00:18:16 +00:00
Miodrag Milanovic 733902c81e Next dev cycle 2022-08-03 13:57:14 +02:00
Miodrag Milanovic 4fcb95ed08 Release version 0.20 2022-08-03 13:53:41 +02:00
github-actions[bot] e989313317 Bump version 2022-08-03 00:20:46 +00:00
github-actions[bot] 7d4f87d69f Bump version 2022-08-02 00:19:48 +00:00
github-actions[bot] 30a4218f53 Bump version 2022-07-29 00:17:18 +00:00
github-actions[bot] 23a39d707e Bump version 2022-07-28 00:18:37 +00:00
Miodrag Milanović 29a5947bf8
Make all compile under OpenBSD (#3423)
Co-authored-by: Josuah Demangeon <me@josuah.net>
2022-07-27 14:16:46 +02:00
Miodrag Milanovic bc012995b4 Support using ABC source tarball distribution 2022-07-27 14:13:45 +02:00
Miodrag Milanović d4875ceae6
Merge pull request #3406 from josuah/master
Better compatibility for OpenBSD
2022-07-25 16:10:29 +02:00
github-actions[bot] 358e656e21 Bump version 2022-07-24 00:21:02 +00:00
github-actions[bot] 7e02b6a70b Bump version 2022-07-23 00:18:40 +00:00