Catherine
6d6b138607
fmt,cxxrtl: support {,PLUS_,SPACE_}MINUS integer formats.
...
The first two were already supported with the `plus` boolean flag.
The third one is a new specifier, which is allocated the ` ` character.
In addition, `MINUS` is now allocated the `-` character, but old format
where there is no `+`, `-`, or `-` in the respective position is also
accepted for compatibility.
2024-04-02 12:13:22 +02:00
Catherine
8388846e3a
fmt,cxxrtl: add support for uppercase hex format.
...
This is necessary for translating Python format strings in Amaranth.
2024-04-02 12:13:22 +02:00
Catherine
a5441bc00c
fmt: FmtPart::{STRING→LITERAL},{CHARACTER→STRING}.
...
Before this commit, the `STRING` variant inserted a literal string;
the `CHARACTER` variant inserted a string. This commit renames them
to `LITERAL` and `STRING` respectively.
2024-04-02 12:13:22 +02:00
Martin Povišer
0210509dea
Merge pull request #4309 from widlarizer/emil/fix-code-style-link
...
docs: Update linux kernel coding style link
2024-04-02 11:29:36 +02:00
Emil J. Tywoniak
73cacd543c
docs: Update linux kernel coding style link
2024-04-02 11:23:56 +02:00
github-actions[bot]
b9d3bffda5
Bump version
2024-03-31 00:18:11 +00:00
Merry
d07a55a852
cxxrtl: Fix sdivmod
...
x = x.neg(); results in the subsequent x.is_neg() always being false.
Ditto for the dividend.is_neg() != divisor.is_neg() test.
2024-03-30 07:56:11 +00:00
github-actions[bot]
0a854cf4ce
Bump version
2024-03-26 00:15:18 +00:00
N. Engelhardt
c98cdc2a42
Merge pull request #4184 from povik/check-loop-edges
...
Use cell edges data in `check`, improve messages
2024-03-25 16:19:35 +01:00
Miodrag Milanović
c9d9b9ec2c
Merge pull request #4270 from YosysHQ/krys/config-none
...
Change default CONFIG to none
2024-03-25 16:13:32 +01:00
N. Engelhardt
6248d5901b
Merge pull request #4297 from chenrui333/fix-master-branch-refs
...
chore: fix master branch refs
2024-03-25 16:01:33 +01:00
Rui Chen
b57a803f60
chore: fix master branch refs
...
Signed-off-by: Rui Chen <rui@chenrui.dev>
2024-03-24 00:41:54 -04:00
github-actions[bot]
d73f71e813
Bump version
2024-03-19 00:20:31 +00:00
Krystine Sherwin
c6795cefc5
docs: Install python requirements
2024-03-19 06:05:03 +13:00
Krystine Sherwin
f72ddfb09d
docs: Fix repo file links
2024-03-19 05:57:26 +13:00
Krystine Sherwin
29c8a3bef9
docs: Fix splice.v in verific
2024-03-19 05:57:26 +13:00
N. Engelhardt
3f54bf102c
Merge pull request #3907 from YosysHQ/krys/docs
...
Manual rewrite and presentation merge
2024-03-18 17:12:57 +01:00
Krystine Sherwin
49f1bea1d2
docs: Add synth_ice40 to macro checks
2024-03-18 11:01:09 +13:00
Krystine Sherwin
b6ffdec2ce
docs: Update OSS CAD suite info
2024-03-18 10:45:31 +13:00
Krystine Sherwin
d2bf5a83af
Merge branch 'origin/master' into krys/docs
2024-03-18 10:39:30 +13:00
Krystine Sherwin
2832034877
docs: Clarify install instructions
...
`config-clang` is the default, and doesn't need to be run first. Previous instructions were ambiguous about that point.
Add note on using a different `CXX`.
2024-03-18 10:35:01 +13:00
Krystine Sherwin
bc9cccacf2
docs: Move fifo localparams into module def
...
Fix for failing CI.
2024-03-18 10:02:40 +13:00
github-actions[bot]
3231c1cd93
Bump version
2024-03-16 00:14:56 +00:00
N. Engelhardt
584692d53c
Merge pull request #4281 from YosysHQ/cat/issue-template-wasm
...
Add WebAssembly as a platform to `ISSUE_TEMPLATE/bug_report.yml`
2024-03-15 10:01:26 +01:00
Catherine
29e3e10378
Add WebAssembly as a platform to ISSUE_TEMPLATE/bug_report.yml.
2024-03-13 10:04:13 +00:00
github-actions[bot]
b3124f30e4
Bump version
2024-03-13 00:15:33 +00:00
Miodrag Milanovic
18cec2d9a9
Next dev cycle
2024-03-12 08:57:48 +01:00
Miodrag Milanovic
00338082b0
Release version 0.39
2024-03-12 08:55:10 +01:00
github-actions[bot]
0944664e60
Bump version
2024-03-12 00:15:21 +00:00
Krystine Sherwin
643c9540da
Makefile: reorder CONFIG=none check
2024-03-12 09:39:25 +13:00
Krystine Sherwin
e0389436da
Makefile: Remove narrowing from ABCMKARGS
2024-03-12 09:18:38 +13:00
N. Engelhardt
0909c2ef5e
Merge pull request #4268 from jix/smtbmc-track-assumes
...
smtbmc: Add --track-assumes and --minimize-assumes options
2024-03-11 16:34:30 +01:00
Jannis Harder
42122e240e
smtbmc: Add --track-assumes and --minimize-assumes options
...
The --track-assumes option makes smtbmc keep track of which assumptions
were used by the solver when reaching an unsat case and to output that
set of assumptions. This is particularly useful to debug PREUNSAT
failures.
The --minimize-assumes option can be used in addition to --track-assumes
which will cause smtbmc to spend additional solving effort to produce a
minimal set of assumptions that are sufficient to cause the unsat
result.
2024-03-11 15:13:11 +01:00
N. Engelhardt
e4f11eb0a0
Merge pull request #4228 from povik/synth-inject
...
synth: Introduce `-extra-map` for amending techmap
2024-03-11 14:55:45 +01:00
Martin Povišer
d42c04bc48
Merge pull request #4274 from YosysHQ/fix_warning
...
fix compile warning
2024-03-11 10:58:48 +01:00
Miodrag Milanovic
5e05300e7b
fix compile warning
2024-03-11 10:55:09 +01:00
Martin Povišer
206d894c56
check: Omit private wires in loop report
2024-03-11 10:45:36 +01:00
Martin Povišer
5924d97381
tests: Remove part of test involving combinational loops
2024-03-11 10:45:36 +01:00
Martin Povišer
d01728aaa5
celledges: Register async FF paths
2024-03-11 10:45:36 +01:00
Martin Povišer
87e72ef86f
celledges: Add read ports arst paths
2024-03-11 10:45:17 +01:00
Martin Povišer
4a10e78777
celledges: Emit empty edges for write/init ports
2024-03-11 10:45:17 +01:00
Martin Povišer
e4296072c4
check: Rephrase regex for portability
2024-03-11 10:45:17 +01:00
Martin Povišer
4fdcf388d3
check: Assert edges data is not out-of-bounds
2024-03-11 10:45:17 +01:00
Martin Povišer
e1e77a7fa9
check: Extend testing
2024-03-11 10:45:17 +01:00
Martin Povišer
b6112b3551
check: Consider read ports in loop detection
2024-03-11 10:45:17 +01:00
Martin Povišer
3a1ef44564
celledges: Describe asynchronous read ports
2024-03-11 10:45:17 +01:00
Martin Povišer
3eef6450f1
check: Add coarse-grain false positive test
2024-03-11 10:43:49 +01:00
Martin Povišer
fa74d0bd1a
check: Use cell edges data in detecting combinational loops
2024-03-11 10:43:49 +01:00
Martin Povišer
c5ae74af34
check: Improve found loop logging
...
Print the detected loop in-order, and include source location for each
node, if available.
2024-03-11 10:43:49 +01:00
Martin Povišer
6e5f40e364
utils: Save detected loops with their nodes in-order
2024-03-11 10:43:49 +01:00
