Commit Graph

1265 Commits

Author SHA1 Message Date
github-actions[bot] 91685355a0 Bump version 2024-02-14 00:15:26 +00:00
github-actions[bot] 606bbef30c Bump version 2024-02-13 00:16:18 +00:00
Miodrag Milanović edb95c69a9
Merge pull request #4084 from jix/scopeinfo
$scopeinfo support
2024-02-12 09:51:22 +01:00
github-actions[bot] cd8e6cbc64 Bump version 2024-02-12 00:16:18 +00:00
github-actions[bot] 0b835f28ca Bump version 2024-02-11 00:17:25 +00:00
github-actions[bot] 31dbd915ca Bump version 2024-02-10 00:15:13 +00:00
Miodrag Milanovic 46838172c2 Next dev cycle 2024-02-09 08:19:14 +01:00
Miodrag Milanovic 543faed9c8 Release version 0.38 2024-02-09 08:16:24 +01:00
github-actions[bot] 8e3a718e30 Bump version 2024-02-09 00:15:19 +00:00
github-actions[bot] 16ff3e0a30 Bump version 2024-02-07 00:14:46 +00:00
Jannis Harder 0d5b48de98 Add scopeinfo index/lookup utils 2024-02-06 18:01:26 +01:00
github-actions[bot] 1df2a209e5 Bump version 2024-02-06 00:15:26 +00:00
github-actions[bot] f5420d720c Bump version 2024-02-04 00:17:08 +00:00
github-actions[bot] bbb8ad5997 Bump version 2024-02-01 00:16:28 +00:00
github-actions[bot] 3bc83c6533 Bump version 2024-01-31 00:15:44 +00:00
github-actions[bot] 112bcb0907 Bump version 2024-01-30 00:15:11 +00:00
N. Engelhardt a9fe85c2d0
Merge pull request #4141 from YosysHQ/small_build
Make small build links, and support Verific small build
2024-01-29 15:17:39 +01:00
github-actions[bot] 4585d60b8a Bump version 2024-01-28 00:17:09 +00:00
github-actions[bot] 80511ced71 Bump version 2024-01-25 00:16:42 +00:00
Krystine Sherwin 6e38848b92
Docs: updating makefiles 2024-01-25 12:35:03 +13:00
github-actions[bot] 3c3788ee28 Bump version 2024-01-24 00:16:36 +00:00
Krystine Sherwin 95849edbba
Docs: changes from JF
`yosys-witness` prereq `click`.
Yosys environment vars & `yosys --help` output.
Removing Ubuntu/macOS version numbers/names.
Hide `troubleshooting` page.
2024-01-23 17:35:06 +13:00
Krystine Sherwin e63f1f5367
Docs: merge CI fix 2024-01-23 16:39:04 +13:00
github-actions[bot] 2f9fcc2e50 Bump version 2024-01-23 00:16:43 +00:00
Krystine Sherwin 65bb0d3059
Docs: updating to current 'master'
Pulling for #4133 and removing related TODO.
2024-01-22 11:18:07 +13:00
github-actions[bot] 8649e30668 Bump version 2024-01-20 00:16:07 +00:00
Miodrag Milanovic b11449badb Make small build links, and support verific small build 2024-01-19 16:30:35 +01:00
github-actions[bot] 7580821834 Bump version 2024-01-19 00:16:38 +00:00
github-actions[bot] 37a6c9a097 Bump version 2024-01-17 00:16:14 +00:00
Miodrag Milanovic bd956d76ba Next dev cycle 2024-01-16 08:16:07 +01:00
Miodrag Milanovic a5c7f69ed8 Release version 0.37 2024-01-16 08:13:21 +01:00
github-actions[bot] 740265bfbd Bump version 2024-01-16 00:16:26 +00:00
github-actions[bot] fac843f480 Bump version 2024-01-15 00:17:14 +00:00
github-actions[bot] 1eb823bd0e Bump version 2024-01-12 00:16:23 +00:00
github-actions[bot] f26495e54d Bump version 2024-01-11 00:16:28 +00:00
github-actions[bot] e131a7895a Bump version 2024-01-10 00:16:19 +00:00
github-actions[bot] 22370ad21e Bump version 2024-01-09 00:16:54 +00:00
github-actions[bot] 30b795601c Bump version 2024-01-06 00:16:22 +00:00
github-actions[bot] df65634e07 Bump version 2023-12-30 00:15:15 +00:00
github-actions[bot] ea7818d31b Bump version 2023-12-22 00:15:54 +00:00
github-actions[bot] 70d35314db Bump version 2023-12-15 00:16:38 +00:00
github-actions[bot] 39fdde87a7 Bump version 2023-12-14 00:16:03 +00:00
Merry ff53f3d2b6 cxxrtl: Fix value::shl 2023-12-13 12:02:30 +00:00
github-actions[bot] 3ea6bca23e Bump version 2023-12-13 00:16:10 +00:00
Krystine Sherwin afe8eff790
Merge updated master into krys/docs 2023-12-13 10:17:25 +13:00
github-actions[bot] 373b651d5b Bump version 2023-12-10 00:17:47 +00:00
github-actions[bot] fb4cbfa735 Bump version 2023-12-07 00:16:21 +00:00
github-actions[bot] a530321042 Bump version 2023-12-06 00:16:15 +00:00
Miodrag Milanovic 0ccff57062 Next dev cycle 2023-12-05 08:58:28 +01:00
Miodrag Milanovic 8f07a0d840 Release version 0.36 2023-12-05 08:55:12 +01:00
github-actions[bot] 2ffea67b04 Bump version 2023-12-05 00:16:14 +00:00
Martin Povišer 554d8caef7 quicklogic: Add basic k6n10f tests 2023-12-04 15:52:03 +01:00
Martin Povišer 6672b6c1b3 quicklogic: Move pp3 tests one level down 2023-12-04 15:52:02 +01:00
github-actions[bot] 8bd681acfc Bump version 2023-12-04 00:16:38 +00:00
github-actions[bot] 8614d9b32f Bump version 2023-11-29 00:16:09 +00:00
Catherine 62bbd086b1 cxxrtl: reorganize runtime component files.
In preparation for substantial expansion of CXXRTL's runtime, this commit
reorganizes the files used by the implementation. Only minimal changes are
required in a consumer.

First, change:
  -I$(yosys-config --datdir)/include
to:
  -I$(yosys-config --datdir)/include/backends/cxxrtl/runtime

Second, change:
  #include <backends/cxxrtl/cxxrtl.h>
to:
  #include <cxxrtl/cxxrtl.h>
(and do the same for cxxrtl_vcd.h, etc.)
2023-11-28 15:32:36 +00:00
github-actions[bot] 031ad38b5c Bump version 2023-11-24 00:15:38 +00:00
github-actions[bot] c95298225d Bump version 2023-11-21 00:16:08 +00:00
github-actions[bot] ab6c1d368b Bump version 2023-11-18 00:15:31 +00:00
Krystine Sherwin 2b270b2270
docs: Tidying image generation
Makefiles now have `clean` target.
Also fixed top level makefile calls to images directory.
More yosys scripts instead of inline yosys commands in makefiles (which also means they can be included in the accompanying document when talking about the image generated).
Fixed another couple image generators that were still outputting pdf directly.
Fixed some hanging image references which hadn't been updated.
Adjusted some text related to images, and included a couple more intermediate images on `memdemo`.
2023-11-16 09:08:22 +13:00
github-actions[bot] 7eea047793 Bump version 2023-11-15 00:15:49 +00:00
Catherine c11744b4ef
Fix WASI compilation flags for abc. 2023-11-14 03:33:35 +00:00
Catherine 726c501e7e Update WASI compilation flags to include required libraries 2023-11-14 02:05:39 +00:00
github-actions[bot] 46408b5da3 Bump version 2023-11-14 00:15:32 +00:00
github-actions[bot] 5691cd0958 Bump version 2023-11-08 00:15:30 +00:00
Miodrag Milanovic 8808da243b Next dev cycle 2023-11-07 08:47:34 +01:00
Miodrag Milanovic cc31c6ebc4 Release version 0.35 2023-11-07 08:45:31 +01:00
github-actions[bot] 6f1ca68712 Bump version 2023-11-04 00:14:46 +00:00
Krystine Sherwin a283595798
docs: call make resources before make all
Should fix the issue where `make all` in the images directory can't wildcard files that don't exist yet.
2023-11-01 13:29:40 +13:00
Krystine Sherwin 8fad77bd0f
Merge branch 'master' into krys/docs
Fix failing verific tests
2023-11-01 13:17:51 +13:00
Krystine Sherwin 8e07030fee
docs: update auxiliary programs
Now includes usage output, (hopefully) generated by the tool during the docs build process so it will always be up to date.
Included in makefile as `docs/usage` target.
Also some updates/additions to the description text, esp `yosys-filterlib` and `yosys-smtbmc`.
2023-11-01 10:15:58 +13:00
github-actions[bot] 672375ed02 Bump version 2023-10-26 00:14:46 +00:00
github-actions[bot] a5c04dd72e Bump version 2023-10-17 00:15:28 +00:00
github-actions[bot] 7d30f716e8 Bump version 2023-10-14 00:14:36 +00:00
Miodrag Milanovic 69c252f247 Update abc 2023-10-13 14:32:11 +02:00
github-actions[bot] 59fbee4009 Bump version 2023-10-12 00:13:29 +00:00
Krystine Sherwin 5a7a7b319a
Fix make clean 2023-10-12 05:02:33 +13:00
Krystine Sherwin ebcbb94a21
Fixing makefile 2023-10-12 04:50:27 +13:00
github-actions[bot] 11b9deba9f Bump version 2023-10-09 00:15:38 +00:00
github-actions[bot] 51e9b0882b Bump version 2023-10-07 00:14:44 +00:00
github-actions[bot] fc815fdb47 Bump version 2023-10-06 00:14:52 +00:00
Miodrag Milanovic 824fdaadf6 mingw build fix 2023-10-05 09:55:53 +02:00
Miodrag Milanovic b88f7fc6e8 Next dev cycle 2023-10-05 09:16:05 +02:00
Miodrag Milanovic 4a1b559925 Release version 0.34 2023-10-05 09:14:12 +02:00
github-actions[bot] f00d6f3c12 Bump version 2023-10-04 00:15:12 +00:00
github-actions[bot] 11ffd7df40 Bump version 2023-10-03 00:15:18 +00:00
github-actions[bot] b52f6cb199 Bump version 2023-09-30 00:14:39 +00:00
github-actions[bot] ac8b31e000 Bump version 2023-09-28 00:15:01 +00:00
github-actions[bot] 076c5ceb71 Bump version 2023-09-27 00:15:07 +00:00
github-actions[bot] 934c82254d Bump version 2023-09-22 00:14:51 +00:00
github-actions[bot] 35a05686c4 Bump version 2023-09-20 00:15:04 +00:00
github-actions[bot] e2b613355d Bump version 2023-09-19 00:23:00 +00:00
Tim Paine 9042124ba7 Alphabetize headers to be installed, include some missing required ones for plugins, fixes https://github.com/chipsalliance/synlig/pull/1972 https://github.com/dau-dev/tools/issues/6 2023-09-15 14:31:08 -04:00
github-actions[bot] b84ed5d3ad Bump version 2023-09-14 00:14:42 +00:00
Catherine c7d7cfeaca Update ABC for WASI support. 2023-09-13 16:43:30 +01:00
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