Commit Graph

1329 Commits

Author SHA1 Message Date
Krystine Sherwin 9b47f3204e
Makefile: Fix emcc build
Remove deprecated (and unnecessary?) `--memory-init-file 0` from `EMCC_LINKFLAGS`.
2024-03-04 12:28:41 +13:00
github-actions[bot] 91fbd58980 Bump version 2024-02-27 00:15:58 +00:00
Catherine da2e9386f0 cxxrtl: install `cxxrtl_time.h` and `cxxrtl_replay.h`. 2024-02-26 17:55:56 +00:00
Roland Coeurjoly dea4aeae56 LDLIBS -> LIBS. LDFLAGS -> LINKFLAGS 2024-02-25 17:02:35 +01:00
Roland Coeurjoly a69a89f2e5 LD is removed, we use CXX instead 2024-02-25 16:43:55 +01:00
Roland Coeurjoly fe34abab3a ´Use g++ and clang++ instead of gcc and clang as C++ compilers 2024-02-23 14:03:12 +01:00
github-actions[bot] 84116c9a38 Bump version 2024-02-22 00:15:36 +00:00
Miodrag Milanovic 38f1b0b12d Revert "Add shlwapi lib for mingw builds"
This reverts commit 20dbc860e7.
2024-02-21 20:23:49 +01:00
github-actions[bot] d5934357f3 Bump version 2024-02-21 00:15:24 +00:00
Miodrag Milanovic 20dbc860e7 Add shlwapi lib for mingw builds 2024-02-20 12:44:55 +01:00
github-actions[bot] 01d6c12af4 Bump version 2024-02-20 00:15:14 +00:00
github-actions[bot] f8d4d7128c Bump version 2024-02-17 00:15:42 +00:00
github-actions[bot] 074b50e9c0 Bump version 2024-02-15 00:15:29 +00:00
Jannis Harder 149c1a7fc6 tests: Support running `make test` with YOSYS_NOVERIFIC=1
A yosys build with verific support can act as a non-verific yosys with
`YOSYS_NOVERIFIC=1` in the enviornment, which is useful for quickly
testing code that works with either frontend without rebuilding yosys.

Before this change, this did not work with `make test` as it would only
consider the build time configuration to decide whether to run tests
that depend on verific support, immediately failing on those tests when
the enviornment contains `YOSYS_NOVERIFIC=1`.

This adds logic to the makefile that checks this enviornment variable
and also exports YOSYS_NOVERIFIC=1 to the enviornment when that is
present as a make variable to support `make test YOSYS_NOVERIFIC=1`
invocations.
2024-02-14 12:07:47 +01:00
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
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