mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-05 17:14:08 +00:00
Code Activity
14902 commits 91 branches 52 tags 61 MiB
Commit graph

14902 commits

This branch
This branch
All branches
Author SHA1 Message Date
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
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
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
Martin Povišer 0c95a76c97
Merge pull request #4856 from gadfort/synth-flatten 
add support for passing flatten -separator to flatten in synth
 2025-01-20 19:38:25 +01:00
Peter Gadfort 66545caa1b Merge branch 'main' into synth-flatten 2025-01-20 10:24:38 -07:00
N. Engelhardt f6517a5931
Merge pull request #4859 from YosysHQ/docs-preview-git_links 
Fix links for view/edit source
 2025-01-20 15:39:34 +00:00
Miodrag Milanović 2c6dc1ac83
Merge pull request #4858 from YosysHQ/update_latest-24.04 
Update workflow(s) for ubuntu-latest == ubuntu-24.04
 2025-01-20 16:34:46 +01:00
Emil J. Tywoniak a2c26a00f2 hashlib: document merged hash_top_ops with hash_ops 2025-01-20 16:25:52 +01:00
Emil J. Tywoniak aa01ef3312 hashlib: simplify loopback. NFC 2025-01-20 16:15:48 +01:00