Krystine Sherwin
29f9347fd2
bugpoint.rst: Extra notes
...
Move `yosys -h bugpoint` failure into a code-block to break up text. Same for the `exec -expect-return` example.
TODOs on #5068 being merged.
2025-04-28 16:43:39 +12:00
Krystine Sherwin
e52c93598b
bugpoint.rst: Minimizing scripts
...
part 2: electric boogaloo
2025-04-28 11:46:44 +12:00
Krystine Sherwin
e9adc30f9d
bugpoint.rst: yosys -h bugpoint does work
...
I just missed that it only gets included in the makefile if `DISABLE_SPAWN` is set, because I was looking for the C define `YOSYS_DISABLE_SPAWN`.
2025-04-26 14:37:37 +12:00
Krystine Sherwin
a461870050
Docs: More bugpoint bullets
...
More info for creating GitHub issues and the different sections.
Discuss additional details that can be included as comments on the issue. Also mention Gists for large files (preferable to downloading a .txt).
Add a warning about external plugins/tools.
Also add a note to `load_design.rst` about `Frontend`s and `-f` command line option.
2025-04-17 16:23:36 +12:00
Krystine Sherwin
5d04baad0c
bugpoint.rst: More paragraphs
...
What do I do with the minimized design and (the first half of) Minimizing scripts
2025-04-17 16:20:33 +12:00
Krystine Sherwin
43504f1927
bugpoint.rst: Why context matters (bullets)
2025-04-04 16:43:06 +13:00
Krystine Sherwin
b429fba5ac
Docs: How to use bugpoint paragraphs
2025-03-25 17:06:05 +13:00
Krystine Sherwin
3dde02e730
Docs: What is bugpoint in paragraphs
2025-03-25 12:05:41 +13:00
Krystine Sherwin
a3fcfddb34
bugpoint: Document -wires flag
2025-03-22 17:17:19 +13:00
Krystine Sherwin
c4f6e90cc5
docs: User-defined failures in bugpoint
...
Also some other tidy up and clarifications.
2025-03-22 16:57:46 +13:00
Krystine Sherwin
47202f51f3
Docs: Move verilog.rst to using_yosys
...
Was previously in yosys_internals which is more developer focused, rather than user focused.
2025-03-22 14:18:57 +13:00
Krystine Sherwin
db0a707b44
docs: Bullets for identifying issues
...
Add a note on fuzzers, with a polite suggestion that if you're fuzzing you should put in the work of identifying the underlying issue so that you (and we) are confident you're not raising multiple issues for the same bug.
2025-03-21 16:31:33 +13:00
Krystine Sherwin
94a4ea299e
docs: Minimizing synth with -run bullets
2025-03-21 11:54:54 +13:00
Krystine Sherwin
507e316d92
docs: Some extra bugpoint bullets
2025-03-21 11:32:46 +13:00
Krystine Sherwin
80d742fe5a
Docs: Tidying
...
Fix error on duplicated heading.
Drop `cmd_ref`_ link (everything already uses :doc:`cmd_ref`).
2025-03-20 10:09:41 +13:00
Krystine Sherwin
6913726fac
Docs: Bugpoint fixups from JF
...
Also dropping the `autosectionlabel_maxdepth = 1` so that I can actually use the auto section labels.
Adds warning on bash substitution on scripting intro page when talking about `yosys -p`.
2025-03-18 14:55:41 +13:00
Krystine Sherwin
165e2d7a92
docs: Outline loading a design page
...
Talk about input files coming from command line, the `read` command, and features provided by `RTLIL::Frontend` (making note that `read_slang` is a subclass but `ghdl` isn't).
2025-03-13 14:50:59 +13:00
Krystine Sherwin
cf6e96ba59
Docs: Initial outline of minimizing designs
...
How to guide for using bugpoint, minimizing yosys scripts, and minimizing verilog code.
AKA how to MVCE.
2025-03-11 17:11:26 +13:00
Emil J
7677a76fed
Merge pull request #4757 from YosysHQ/emil/yosys-config-version
...
Makefile: add YOSYS_VER and friends to CXXFLAGS for plugin compat che…
2025-03-10 17:43:55 +01:00
N. Engelhardt
c74df780b7
Merge pull request #4884 from YosysHQ/docs-preview-functional_tutorial
...
Docs: More on FunctionalIR
2025-03-10 15:05:55 +00:00
Emil J. Tywoniak
ecd8e4303d
Makefile: add YOSYS_VER and friends to CXXFLAGS for plugin compat check fallback
2025-03-10 15:15:34 +01:00
Martin Povišer
d8a4991289
Merge pull request #4931 from povik/buf-clean
...
opt_clean, simplemap: Add `$buf` handling
2025-03-10 15:10:17 +01:00
Emil J
8bb24badf2
Merge pull request #4895 from YosysHQ/emil/fix-share-portbit-infinite-loop
...
share: fix infinite loop in find_terminal_bits on $mux loop
2025-03-08 13:14:11 +01:00
Martin Povišer
9f7cdd4bd4
Merge pull request #4262 from RoaLogic/master
...
MAX10 updates
2025-03-07 19:59:55 +01:00
Martin Povišer
557047fe1e
opt_clean, simplemap: Add $buf handling
2025-03-07 16:08:38 +01:00
Krystine Sherwin
c9785584da
docs/rosette: Fix tenses
2025-03-07 08:39:21 +13:00
KrystalDelusion
176131b50e
Merge pull request #4855 from YosysHQ/contributing_md
...
Initial version of CONTRIBUTING.md
2025-03-04 15:57:33 +13:00
Emil J
39aacc95df
Merge pull request #4907 from YosysHQ/emil/fix-clear-preset-latch
...
liberty: fix clear and preset latches
2025-03-03 18:53:12 +01:00
N. Engelhardt
0dfd9e9395
Merge pull request #4868 from david-sawatzke/improve_tcl_output_docs
...
tcl: Update help message to clarify usage of `result.string`
2025-03-03 15:16:42 +00:00
N. Engelhardt
268a034b21
Merge pull request #4866 from YosysHQ/ql_ioff
...
add IOFF inference for qlf_k6n10f
2025-03-03 14:12:09 +00:00
Krystine Sherwin
b56e3ec6e4
docs/functional: Minimal backend paragraphs
...
I was thinking about compiling the dummy example and including a simple example usage, but it turns out functional.h isn't (currently) available for extensions.
2025-03-01 16:15:54 +13:00
KrystalDelusion
9106d6b3bd
Merge pull request #4881 from YosysHQ/pmgen-pass-restructure
...
Move passes out of the passes/pmgen folder
2025-03-01 10:22:54 +13:00
Krystine Sherwin
3c493d2bef
docs/rosette: Reword
...
Acknowledge the minimal functional backend, highlighting what's new/different for our SExpr targets.
Add and use the reference `minimal backend`.
Use `note` directives to point out missing code sections (highlighting that the included diffs are not complete).
Racket *is* still strongly-typed, it's just dynamic instead of static. Adjust phrasing to reflect that.
Adjust some of the literal includes, adding a new section from the `Functional::AbstractVisitor`, splitting the `Module::write_eval()` in twain and adding a `smtlib.cc` literal include for the node iteration, as well as for the `FunctionalSmtBackend` to compare against the minimal backend.
Move `Backend` description up to minimal functional backend section.
2025-02-28 16:33:57 +13:00
Krystine Sherwin
e01a413722
docs/rosette: List major changes in overview
...
Also a little paragraph on why SMT-LIB is used as the base.
2025-02-28 14:57:41 +13:00
Krystine Sherwin
560b5fe6bd
docs/functional: Add dummy toy example
...
Add `dummy.cc`, loosely based on `backends/functional/test_generic.cc` but as an actualy backend and without the memory testing.
Skeleton section for minimal functional backend, describing the aforementioned `dummy.cc`.
2025-02-27 16:14:59 +13:00
Krystine Sherwin
db823a6acb
docs/rosette: Fix inline code
2025-02-27 16:11:44 +13:00
github-actions[bot]
78960292d0
Bump version
2025-02-27 00:21:40 +00:00
Martin Povišer
bca21c60d8
Merge pull request #4902 from akashlevy/splitcells_aldff_fix
...
`aldff`s do not get split by `splitcells` pass
2025-02-27 00:56:46 +01:00
Martin Povišer
f528402c59
Merge pull request #4914 from povik/rm-var-length-array
...
ast/dpicall: Stop using variable length array
2025-02-26 16:25:01 +01:00
Martin Povišer
55595b6c8d
Merge pull request #4918 from YosysHQ/emil/explain-mkdtemp-errno
...
improve mkdtemp error message
2025-02-26 13:27:07 +01:00
Emil J. Tywoniak
78cb10da69
improve mkdtemp error message
2025-02-26 12:06:54 +01:00
github-actions[bot]
05c81b3f14
Bump version
2025-02-26 00:21:19 +00:00
Martin Povišer
0354bd7a90
Merge pull request #4916 from YosysHQ/krys/fix_fst_warning
...
libs/fst: Fix stringop_overread warning under GCC
2025-02-25 21:21:31 +01:00
Emil J
b4a169527d
Merge pull request #4894 from YosysHQ/emil/abstract
...
Add `abstract` pass for formal verification
2025-02-25 11:16:37 +01:00
Krystine Sherwin
68e9317f1f
libs/fst: Patch wx_len overread
2025-02-25 17:18:15 +13:00
Krystine Sherwin
67a0248186
libs/fst: Update from upstream
...
Fixes stringop-overread warning
2025-02-25 17:15:41 +13:00
Emil J. Tywoniak
3f60a2cc67
abstract: test -slice from:to for -init
2025-02-25 00:22:14 +01:00
Emil J. Tywoniak
07004f1089
abstract: typo?
2025-02-25 00:19:15 +01:00
Emil J. Tywoniak
3cb7054e53
abstract: test -slice for all modes, -rtlilslice for -init
2025-02-25 00:18:16 +01:00
Martin Povišer
732ed67014
ast/dpicall: Stop using variable length array
...
Fix the compiler warning
variable length arrays in C++ are a Clang extension [-Wvla-cxx-extension]
2025-02-24 17:32:30 +01:00
