Emil J. Tywoniak
14b9155492
internal_stats: fix doc build by adding a help string
2024-09-05 11:22:21 +02:00
Emil J. Tywoniak
bd6f7bb4a7
ff: improve comments
2024-09-05 11:17:12 +02:00
Krystine Sherwin
17ee367c7b
Docs: Use Read the Docs SPHINXOPTS
...
`-W --keep-going` will build everything but raise an error on any warnings. Should mean that github actions will correctly flag a failure when attempting to build docs. Including this current commit until the `internal_stats` command gets a help message.
2024-09-05 15:47:18 +12:00
Krystine Sherwin
21494d1f06
Makefile: Update coverage_functional
...
Note sure if this is the best way to do it, but it works?
2024-09-05 11:43:42 +12:00
Emily Schmidt
5a476a8d29
functional tests: run from make tests but not smtlib/rkt tests
2024-09-04 10:30:08 +01:00
github-actions[bot]
d567164173
Bump version
2024-09-04 00:19:13 +00:00
Martin Povišer
68fbca8769
Merge pull request #4554 from YosysHQ/emil/devstat
...
internal_stats: init, report current memory consumption on linux and mac
2024-09-03 21:06:46 +02:00
Emil J. Tywoniak
0ce7631956
internal_stats: init, report current memory consumption on linux and mac
2024-09-03 19:28:24 +02:00
Emily Schmidt
7de8be1451
functional_ir.rst: fix typo, document SExprWriter::flush
2024-09-03 14:30:56 +01:00
Emily Schmidt
75ed6d38fc
fix rst formatting in functional_ir.rst
2024-09-03 14:21:56 +01:00
Miodrag Milanovic
0744fac883
Next dev cycle
2024-09-03 12:39:38 +02:00
Krystine Sherwin
d6c5e13bf3
smtr: Structs have local scope
...
Also unique_name can take field_name directly.
2024-09-03 11:32:02 +01:00
Krystine Sherwin
a2abbcb33f
smtr: Use scope.unique_name
2024-09-03 11:32:02 +01:00
Krystine Sherwin
5a29b3e172
smtr: More sanitization
2024-09-03 11:32:02 +01:00
Krystine Sherwin
07b6908019
smtr: Use rosette/safe
2024-09-03 11:32:02 +01:00
Krystine Sherwin
7fe9157df2
smtr: Add rkt to functional tests
2024-09-03 11:32:02 +01:00
Krystine Sherwin
8b29629ca9
smtr: Fork smtlib for rosette
2024-09-03 11:32:02 +01:00
Miodrag Milanovic
9ed031ddd5
Fix TODOs in docs
2024-09-03 12:28:25 +02:00
Miodrag Milanovic
3e0dc2ff1e
Release version 0.45
2024-09-03 10:28:56 +02:00
Miodrag Milanović
598d010349
Merge pull request #4504 from YosysHQ/nanoxplore
...
NanoXplore synthesis
2024-09-03 10:19:44 +02:00
Miodrag Milanovic
556c705a89
Cleanup of synth_nanoxplore pass
2024-09-03 10:15:50 +02:00
Miodrag Milanović
9fca352882
Merge pull request #4563 from YosysHQ/krys/better_rtds_action
...
Better docs builds
2024-09-03 09:32:24 +02:00
Miodrag Milanovic
89cbca4f44
Add macOS instructions for latexpdf
2024-09-03 09:15:12 +02:00
Martin Povišer
9c1bcb38d9
write_xaiger: Get by without endianness helpers
2024-09-03 08:59:09 +02:00
Emily (aiju)
c0ce0b82a8
docs: gvpack on macos requires the file name to appear after the flags
2024-09-03 08:38:29 +02:00
github-actions[bot]
6b9321250b
Bump version
2024-09-03 00:20:12 +00:00
Krystine Sherwin
558f313a78
Docs: Show todos in previews
...
That includes local builds.
Also fix release version numbers.
2024-09-03 11:53:43 +12:00
Krystine Sherwin
25623b1010
ci: test-verific no longer needs special casing
2024-09-03 11:45:00 +12:00
Krystine Sherwin
e92de01ab3
ci: Split out prepare-docs
2024-09-03 11:40:47 +12:00
Krystine Sherwin
6c833d83b8
ci: Use docs/prep target
2024-09-03 11:31:06 +12:00
Krystine Sherwin
cab781d958
Makefile: Move docs prereqs to separate target
2024-09-03 11:30:59 +12:00
Krystine Sherwin
a97d99cbac
ci: Verific skipping conditional on github.ref
...
Docs jobs should not skip on concurrent jobs (in case a non-docs job is already
running, such as when a commit has been tagged for docs-preview). However, a
successful `test-verific` can allow for a future docs job to skip testing and go
straight to the preview.
2024-09-03 11:29:47 +12:00
Krystine Sherwin
840c515ffc
RTDs: Fail on warning
...
Fix outstanding sphinx warnings;
- Change mycells.lib to use `text` parsing instead of (currently) unsupported `Liberty`.
- Remove unused `troubleshooting.rst`, moving the todo into the index.
2024-09-03 10:20:24 +12:00
Emil J
c25448f1d1
Merge pull request #4569 from georgerennie/george/proc_dff_ordering
...
proc_dff: respect sync rule priorities when generating complex dffsrs
2024-09-02 15:32:07 +02:00
Emily Schmidt
2b8db94aa0
functional backend: add test to verify test_generic
2024-08-29 13:14:18 +01:00
George Rennie
8206951f77
proc_dff: add tests
2024-08-28 16:24:47 +01:00
George Rennie
bdb5d45591
proc_dff: respect sync rule priorities when generating complex dffsrs
...
* This fixes #4560 , where previously the order that sync rules were
processed in depended on the order they were pulled out of a std::map.
This PR changes this to process them in the order they are found in,
respecting the priorities among the async signals
2024-08-28 15:48:07 +01:00
Emily Schmidt
4eeb8d326a
functional backend: rename "type" to either "kind" or "sort" to make the terminology consistent
2024-08-28 12:39:41 +01:00
Emily Schmidt
27efed27c2
functional backend: more documentation
2024-08-28 11:28:24 +01:00
Emily Schmidt
b428bf4600
functional backends: identifiers in c++/smtlib may not start with digits
2024-08-27 13:10:34 +01:00
Emily Schmidt
459e6b913a
add functional ir documentation
2024-08-27 11:11:02 +01:00
Krystine Sherwin
ecff434886
Docs: Use version name from readthedocs
...
Latest still gets -dev, but if it's a docs preview use the tag/branch name.
2024-08-27 10:21:31 +12:00
Krystine Sherwin
a20756676c
ci: Update RTDs trigger conditional
...
Trigger on main, on a branch called `docs-preview*`, or on any tag.
2024-08-27 10:06:26 +12:00
Krystine Sherwin
83692075df
ci: Don't cancel previous builds
...
Which is what the comment said, but the code didn't match.
2024-08-27 10:06:26 +12:00
Krystine Sherwin
98d26bdd2c
Docs: Fix nested list on build_verific page
2024-08-27 10:06:26 +12:00
Krystine Sherwin
7d63fdd88e
README: building docs on macos
2024-08-27 10:06:25 +12:00
Krystine Sherwin
5d5d890d5b
Docs: macos-safe build
...
Swap `cp -u` for `rsync -t`.
Drop the workaround to get the list of dot files after copying them, and instead just run the makefile twice.
Swap `$(wildcard **/*.x)` for `$(shell find . -name *.x)`,
2024-08-27 10:06:25 +12:00
Krystine Sherwin
0b53b10770
Makefile: Stop unconditionally install docs prereqs
2024-08-27 10:06:25 +12:00
Krystine Sherwin
2e1335a023
Docs: Fix local builds
...
Based on the docs-test-fork PR branch, includes PR preview announcement, linking to the relevant tyrtd page
2024-08-27 10:06:25 +12:00
N. Engelhardt
0fc5812dcd
Merge pull request #4541 from YosysHQ/krys/compiler-warnings
...
Resolve (some) compiler warnings
2024-08-26 15:04:16 +02:00
