Krystine Sherwin
fa2d45a922
smtr: Refactor write back into _eval and _initial
...
Easier for comparisons, and the structure still works. (I don't remember why I moved away from it in the first place.)
2025-02-07 13:58:09 +13:00
Martin Povišer
772b9c0cfd
Merge pull request #4691 from hovind/experiments/extract-fa-fix
...
extract_fa: Fix `xor3`/`xnor3` inversion bug
2025-02-06 21:12:32 +01:00
github-actions[bot]
ed5d9c8687
Bump version
2025-02-05 00:21:01 +00: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
Krystine Sherwin
d73c58fad1
docs/rosette: Sort, Struct, and PrintVisitor sections
2025-02-04 12:24:34 +13: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
N. Engelhardt
303a386ecc
create duplicate IOFFs if multiple output ports are connected to the same register
2025-01-31 11:28:57 +01:00
Krystine Sherwin
0ec5f1b756
pmgen: Move passes out of pmgen folder
...
- Techlib pmgens are now in relevant techlibs/*.
- `peepopt` pmgens are now in passes/opt.
- `test_pmgen` is still in passes/pmgen.
- Update `Makefile.inc` and `.gitignore` file(s) to match new `*_pm.h` location,
as well as the `#include`s.
- Change default `%_pm.h` make target to `techlibs/%_pm.h` and move it to the
top level Makefile.
- Update pmgen target to use `$(notdir $*)` (where `$*` is the part of the file
name that matched the '%' in the target) instead of `$(subst _pm.h,,$(notdir
$@))`.
2025-01-31 15:18:28 +13:00
github-actions[bot]
18a7c00382
Bump version
2025-01-31 00:20:35 +00:00
KrystalDelusion
7050b3c992
Makefile: Add run-test.mk to clean
2025-01-31 12:30:25 +13: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
Øystein Hovind
ed076bc168
extract_fa: Invert xor3/xnor3 output when inverting majority3 input
2025-01-30 18:45:07 +01:00
Jannis Harder
40c690b030
extract_fa: Add test case
2025-01-30 18:45:06 +01: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
Peter Gadfort
9534f4ab80
check if characters are found and use size if not
2025-01-29 15:56:05 -05:00
Wanda
9d4630484f
mailmap: fix up some identities.
2025-01-29 01:39:09 +01:00
N. Engelhardt
25b400982b
detect aliased I/O ports
2025-01-28 17:37:23 +01:00
N. Engelhardt
9da4fe747e
fix bus ioff inference
2025-01-28 11:23:36 +01:00
David Sawatzke
09ead2daa9
tcl: Update help message to clarify usage of result.string
...
In the current documentation, it's unclear if `result.string` serves as
an example of a string name. It is furthermore unclear what the purpose
of `result.string` is. Clarify this by adding a small explanation (and
fix a typo)
2025-01-28 09:42:39 +01:00
Martin Povišer
1d57a7cf6b
macc_v2: Relax and fix cell check
2025-01-27 15:52:49 +01:00
Martin Povišer
916fe998ab
macc_v2: Add test
2025-01-27 13:19:26 +01:00
Martin Povišer
6c76dcec3e
macc_v2: Fix v2 omissions
2025-01-27 13:08:44 +01:00
Martin Povišer
aabb4ea1df
macc_v2: Fix checks and parameter padding
2025-01-27 13:08:19 +01:00
Krystine Sherwin
1b6b6a77ba
docs/rosette: Add details for Scope
...
Add a diff file and use it for showing changes from smtlib to rosette.
Also add relevant sections of diff to Sort and Struct sections.
2025-01-25 09:51:20 +13:00
N. Engelhardt
2241a65f78
fix tests not expecting ioffs
2025-01-24 21:29:10 +01:00
N. Engelhardt
1cf8e7c7db
add ioff inference for qlf_k6n10f
2025-01-24 21:17:15 +01:00
Martin Povišer
3184b335da
macc_v2: Fix language constructs in simlib model
2025-01-24 13:22:30 +01:00
Martin Povišer
cb8f855f34
rtlil: Fix macc_v2 cell check
2025-01-24 12:38:03 +01:00
Martin Povišer
1e8aa56f7f
macc_v2: Init simlib model
2025-01-24 12:38:03 +01:00
Martin Povišer
61450e8b6e
Update codebase for macc_v2
2025-01-24 12:38:03 +01:00
Martin Povišer
5882055899
macc_v2: Add C port
2025-01-24 12:38:03 +01:00
Martin Povišer
c5fd96ebb0
macc_v2: Start new cell
2025-01-24 12:38:03 +01:00
Martin Povišer
08394c51a2
rtlil: Add const append helper
2025-01-24 12:38:03 +01:00
github-actions[bot]
3d35f367cf
Bump version
2025-01-24 00:20:25 +00:00
Krystine Sherwin
242c037158
docs/rosette: Add overview
2025-01-24 13:10:34 +13: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
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
