Akash Levy
20c358bce2
Merge branch 'YosysHQ:main' into main
2025-02-04 10:27:16 -08:00
Martin Povišer
f2d96cf616
Merge pull request #4000 from adrianparvino/alumacc-cmp-contravariance
...
alumacc: alternative cmp unification implementation
2025-02-04 17:06:39 +01:00
Martin Povišer
b5752dfe16
alumacc: Fix missing signedness check
2025-02-04 13:05:53 +01:00
Adrian Parvin Ouano
23b3638c1e
alumacc: alternative cmp unification implementation
2025-02-04 11:52:37 +01:00
github-actions[bot]
77af7962af
Bump version
2025-02-04 00:20:30 +00:00
Akash Levy
993b23e747
Merge upstream
2025-02-03 09:33:16 -08:00
Martin Povišer
f0aaa5d419
Merge pull request #4845 from YosysHQ/catherine/ci-ubsan
...
CI: Sanitize for undefined behavior
2025-02-03 16:40:29 +01:00
Martin Povišer
212d2a6d6e
lib/fst: Remove unaligned pointer access
2025-02-03 11:13:07 +01:00
Catherine
f5c53a99e7
CI: Sanitize for undefined behavior.
2025-02-03 10:19:19 +01:00
Martin Povišer
92afe26d6b
Merge pull request #4879 from YosysHQ/krys/ub_fixes
...
Fixing undefined behaviours
2025-02-03 09:56:48 +01:00
alaindargelas
67a19613e5
Merge pull request #50 from alaindargelas/calc_fanout
...
remove not needed code
2025-01-31 16:27:23 -08:00
Alain Dargelas
4a1af2f780
remove not needed code
2025-01-31 16:26:17 -08:00
alaindargelas
9a11df11ae
Merge pull request #49 from alaindargelas/calc_fanout
...
Calculate cell fanout (post-synthesis)
2025-01-31 15:35:52 -08:00
Alain Dargelas
8213dd1dcf
Code review
2025-01-31 15:29:33 -08:00
Alain Dargelas
4861aefcd8
Fix test
2025-01-31 13:28:48 -08:00
Alain Dargelas
b4787c787f
Calculate cell fanout (post-synthesis)
2025-01-31 10:17:34 -08:00
Akash Levy
a96a433370
Merge branch 'YosysHQ:main' into main
2025-01-31 09:59:04 -08:00
github-actions[bot]
18a7c00382
Bump version
2025-01-31 00:20:35 +00:00
KrystalDelusion
cf52cf3009
nowrshmsk: Check for stride==0
...
log2(0) returns -inf, which gives undefined behaviour when casting to an int. So catch the case when it's 0 just set the width to 0.
2025-01-31 12:15:53 +13:00
KrystalDelusion
31b00b4c72
celledges: Use b_width_capped for left shifts
...
`b_width_capped` already exists for preventing arithmetic overflow, limiting the value of `b_width` to 30. This just changes the left shifts to also use it.
The caveat of incorrect results for extremely large values of `a_width` still applies, as does the improbability of that actually happening.
This fixes #4844 (or at least, the floating point exception; the circuit still isn't valid but I think that's fine).
2025-01-31 11:03:33 +13:00
Akash Levy
66186f11fd
Merge branch 'YosysHQ:main' into main
2025-01-30 14:00:19 -08:00
Emil J
f445479374
Merge pull request #4878 from YosysHQ/emil/fix-wreduce-warning-in-pool
...
wreduce: fix warning for deprecated IdString::in(pool<IdString>)
2025-01-30 15:53:46 +01:00
Robin Ole Heinemann
0ab13924a5
write_verilog: log_abort on unhandled $check flavor
2025-01-30 14:18:02 +00:00
Robin Ole Heinemann
2f11dc87c9
write_verilog: emit $check cell names as labels
2025-01-30 14:18:02 +00:00
Emil J. Tywoniak
c2691207df
wreduce: fix warning for deprecated IdString::in(pool<IdString>)
2025-01-30 12:01:30 +01:00
github-actions[bot]
954250d1df
Bump version
2025-01-30 00:20:17 +00:00
Wanda
9d4630484f
mailmap: fix up some identities.
2025-01-29 01:39:09 +01:00
Akash Levy
83800df3aa
Merge pull request #48 from alaindargelas/tmp_file_vcd2fst
...
Tmp file for vcd2fst
2025-01-27 22:46:38 -08:00
Akash Levy
29710e6677
Rename to bus_rebuild
2025-01-27 17:56:24 -08:00
Akash Levy
14f8179e51
Splitcells was missing $aldff
2025-01-27 17:55:19 -08:00
Akash Levy
9261d6f31e
Merge branch 'YosysHQ:main' into main
2025-01-24 14:23:41 -08:00
Akash Levy
07a50e4942
Clean up muxpack one-hot sel
2025-01-24 01:39:41 -08:00
github-actions[bot]
3d35f367cf
Bump version
2025-01-24 00:20:25 +00:00
Akash Levy
2e89aa572b
Fix logger
2025-01-23 14:59:24 -08:00
Akash Levy
33653c8a80
Don't SIGABRT on failure
2025-01-23 14:51:40 -08:00
Akash Levy
f403256a34
Merge branch 'YosysHQ:main' into main
2025-01-23 14:06:16 -08:00
Akash Levy
233ba09994
Smallfixes
2025-01-23 14:05:29 -08:00
Akash Levy
bd439fc524
Reapply "Merge upstream"
...
This reverts commit e73d51dbf0
.
2025-01-23 13:40:32 -08:00
Catherine
3076803c9e
write_json: missing \n in help text.
2025-01-23 05:17:52 +00:00
github-actions[bot]
4a27d93b06
Bump version
2025-01-22 00:20:51 +00:00
Alain Dargelas
0965ee2859
Tmp file for vcd2fst
2025-01-21 16:05:24 -08:00
Miodrag Milanovic
e456f2e972
Next dev cycle
2025-01-21 15:26:22 +01:00
Miodrag Milanovic
427b5a251b
Release version 0.49
2025-01-21 14:59:09 +01:00
Akash Levy
2ae7490adf
Disable Verific blackbox checks (different from our preferred approach)
2025-01-21 05:46:40 -08:00
Akash Levy
e73d51dbf0
Revert "Merge upstream"
...
This reverts commit c58a50f880
, reversing
changes made to a1c3c98773
.
2025-01-21 05:28:36 -08:00
Akash Levy
c58a50f880
Merge upstream
2025-01-21 04:36:34 -08:00
Emil J
da5c20dcfb
Merge pull request #4849 from YosysHQ/emil/hashlib-merge-top-ops
...
hashlib: merge hash_ops with hash_top_ops for plugin compat
2025-01-21 12:09:27 +01:00
Akash Levy
a1c3c98773
Messed up usage of SILIMATE_VERIFIC_EXTENSIONS
2025-01-21 00:12:28 -08:00
Miodrag Milanovic
d50849ea83
Copyright year update
2025-01-21 08:48:29 +01:00
github-actions[bot]
3f4f6c17d6
Bump version
2025-01-21 00:20:11 +00:00