Akash Levy
86d321a306
Undo blif frontend stuff
2024-11-12 01:30:06 -08:00
Akash Levy
950379ecdc
Reenable techmap
2024-11-12 01:22:26 -08:00
Akash Levy
0a87b0f075
Smallfix to opt_expr
2024-11-12 01:22:12 -08:00
Akash Levy
771e5c9996
Fix mem
2024-11-12 00:59:05 -08:00
Krystine Sherwin
d0e5677760
Docs: Less exaggeration
2024-11-12 16:33:47 +13:00
Krystine Sherwin
1476eaba00
Docs: Add fallback for missing furo_ys
...
This is mainly intended for (latex)pdf builds which do not use the furo-ys html theme, where the yosys script syntax highlighting can safely fallback to plaintext. This effectively makes `furo-ys` an optional dependency to simplify distro-package maintainability.
See also #4725 .
2024-11-12 16:23:12 +13:00
Akash Levy
ddbad572dc
Reduce fanout limit to 256
2024-11-11 17:17:25 -08:00
Akash Levy
5e364599be
Keep shorter name for opt_merge always
2024-11-11 17:07:41 -08:00
Akash Levy
3da6e3f060
No arguments for opt_balance_tree any more
2024-11-11 17:07:30 -08:00
Akash Levy
83234d24f7
Switch from Synopsys register naming to preserve
2024-11-11 17:06:56 -08:00
Akash Levy
894c9816d3
Improve naming: big fix
2024-11-11 17:06:11 -08:00
Emil J. Tywoniak
49e1597ea4
filterlib: preserve value quotes
2024-11-12 01:21:07 +01:00
github-actions[bot]
3afb7725f1
Bump version
2024-11-12 00:20:17 +00:00
George Rennie
ff6c9446c0
bufnorm: preserve constant bits when mapping back to connections
2024-11-12 01:05:15 +01:00
Akash Levy
ea76abdaee
Merge
2024-11-11 11:47:58 -08:00
Robin Ole Heinemann
8bc4bd8a20
cxxrtl, fmt: escape double quotes in c strings
2024-11-11 18:49:05 +00:00
Martin Povišer
7cfc49791f
Merge pull request #4703 from georgerennie/george/pyosys_objrange
...
pyosys: support ObjRange
2024-11-11 17:07:28 +01:00
Jannis Harder
558b2f9ae9
Merge pull request #3953 from georgerennie/bug_3769
...
write_smt2: Check for constant bool after fully resolving signal
2024-11-11 16:23:35 +01:00
Jannis Harder
014cb531aa
Merge pull request #4645 from georgerennie/george/btor_undef_array_init
...
write_btor: only initialize array with const value when it is fully def
2024-11-11 16:18:57 +01:00
Jannis Harder
261b44718d
Merge pull request #4641 from georgerennie/george/btor_undriven_wires
...
write_btor: don't emit undriven bits multiple times
2024-11-11 16:17:25 +01:00
Martin Povišer
1b1a6c4aed
Merge pull request #4525 from georgerennie/peepopt_clock_gate
...
peepopt: Add formal opt to rewrite latches to ffs in clock gates
2024-11-11 14:49:09 +01:00
Akash Levy
5f2b77df13
Merge pull request #18 from alaindargelas/main
...
remove output port bitblast index
2024-11-10 14:58:11 -08:00
Alain Dargelas
ee8d9e74ac
comment
2024-11-10 09:03:51 -08:00
Alain Dargelas
21034a0b0a
Support assign {a,b} = {c,d} with diff widths
2024-11-10 09:00:29 -08:00
Alain Dargelas
a8eb39f569
faster and simpler code
2024-11-09 14:00:57 -08:00
Alain Dargelas
72ff11fb9b
remove output port bitblast index
2024-11-08 16:43:52 -08:00
Akash Levy
fa50434708
Merge branch 'YosysHQ:main' into main
2024-11-08 14:10:24 -08:00
Larry Doolittle
3ae9ca7c2b
drivertools.h: switch from log_assert(0) to log_abort() for new feature
2024-11-08 10:30:11 -08:00
Emil J
f20f913223
Merge pull request #4679 from YosysHQ/emil/readme-mac-lto
...
readme: tell macOS users to use brew clang with LTO
2024-11-08 19:26:28 +01:00
Emil J
792de6e2eb
Merge pull request #4680 from YosysHQ/emil/fix-mac-lto-plugins
...
Makefile: add -rdynamic on macOS to fix plugins with LTO
2024-11-08 19:24:48 +01:00
Emil J
0aa2f0efdf
Merge pull request #4715 from hzeller/feature-20241106-use-stdlib-for-free
...
Include cstdlib for free()
2024-11-08 19:07:42 +01:00
Martin Povišer
e82e5f8b13
rtlil: Adjust internal check for $mem_v2 cells
...
There's a mismatch between what `kernel/mem.cc` emits for memories
with no read ports and what the internal RTLIL check expects.
The point of dispute it whether some of the parameters relating to read
ports have a zero-width value in this case. The `mem.cc` code says no,
the internal checker says yes.
Surveying the other `$mem_v2` parameters, and internal cell parameters
in general, I am inclined to side with the `mem.cc` code.
This breaks RTLIL compatibility but for an obscure edge case.
2024-11-08 15:18:43 +01:00
Miodrag Milanovic
df391f5816
verific: fix blackbox regression and add test case
2024-11-08 14:57:04 +01:00
Akash Levy
66a8ac859d
Clean up compiler warnings in splitnetlist.cc
2024-11-07 21:22:44 -08:00
Akash Levy
2f7ee11916
Remove fsm again
2024-11-07 21:14:34 -08:00
Larry Doolittle
d36a387aca
kernel/drivertools.h: avoid maybe-uninitialized compile warnings
...
Initialize "unsigned int inner" in hash() functions
Includes a log_assert() that might help catch corrupted data structures
or future incomplete modification of DriveType definition
2024-11-07 19:49:25 -08:00
github-actions[bot]
cef87cc179
Bump version
2024-11-08 00:20:23 +00:00
KrystalDelusion
4343c791cb
Merge pull request #4704 from YosysHQ/krys/drop_ilang
...
Remove references to ilang
2024-11-08 11:28:06 +13:00
Akash Levy
0e3adb38fc
Merge branch 'YosysHQ:main' into main
2024-11-07 11:24:11 -08:00
KrystalDelusion
3c30a9a108
Merge pull request #4543 from YosysHQ/update_fst
...
libs/fst: Update from upstream
2024-11-08 05:36:25 +13:00
Martin Povišer
5c1889634d
Merge pull request #4720 from georgerennie/george/bufnorm_constants
...
bufnorm: preserve constant bits driving wires
2024-11-07 13:56:53 +01:00
George Rennie
a31c968340
tests/bufnorm: add test for bufnorm of constant
2024-11-07 12:55:50 +01:00
George Rennie
8f6058a7d6
bufnorm: preserve constant bits driving wires
2024-11-07 11:48:48 +01:00
AdamLee7
7ed359fa7b
add select option for write_json
2024-11-07 17:48:06 +08:00
Henner Zeller
285fd5b83a
Include cstdlib for free()
2024-11-06 17:35:00 -08:00
Akash Levy
0d57928548
Merge pull request #17 from alaindargelas/rtlil_dump
...
RTLIL Module dump and hash
2024-11-06 16:41:37 -08:00
Alain Dargelas
43186b2c7a
Returning unsigned int
2024-11-06 16:39:58 -08:00
Alain Dargelas
3ad51e06bc
Using Yosys hash
2024-11-06 16:32:18 -08:00
Alain Dargelas
39c2d7aa60
RTLIL Module dump and hash
2024-11-06 15:48:24 -08:00
George Rennie
c23e64a236
tests/proc: add proc_dff bug 4712 as testcase
2024-11-07 00:10:17 +01:00
