Akash Levy
|
dec43679be
|
See if this fixes issues on Innatera design
|
2024-06-28 03:13:38 -07:00 |
|
Akash Levy
|
6795c32167
|
Make scopeinfo not default
|
2024-06-19 04:05:02 -07:00 |
|
Akash Levy
|
e093ac5bca
|
Update verific
|
2024-06-19 00:56:27 -07:00 |
|
Akash Levy
|
983d404e93
|
Smallfix
|
2024-06-17 20:04:38 -07:00 |
|
Akash Levy
|
c8dff00ca6
|
Smallfix
|
2024-06-17 16:07:26 -07:00 |
|
Akash Levy
|
719bbd7523
|
Improve SCC reporting
|
2024-06-17 14:18:41 -07:00 |
|
Akash Levy
|
a0c0384683
|
Preserve instances
|
2024-06-16 20:20:10 -07:00 |
|
Akash Levy
|
e23e33441f
|
Update yosys from upstream
|
2024-06-15 14:23:24 -07:00 |
|
Akash Levy
|
fce46d2a53
|
Add better Yosys/Verific name aliasing and reenable dffe opt
|
2024-06-15 14:18:33 -07:00 |
|
N. Engelhardt
|
74a1dd99ac
|
Merge pull request #4444 from YosysHQ/krys/scripting_docs
Document script parsing
|
2024-06-14 09:53:24 +02:00 |
|
github-actions[bot]
|
2fd2b6538d
|
Bump version
|
2024-06-14 00:17:13 +00:00 |
|
Akash Levy
|
2337d97977
|
Sub1 fix
|
2024-06-13 15:33:17 -07:00 |
|
Asherah Connor
|
62bff3a204
|
cxxrtl: don't need to specify a value for "path".
Callers of the deprecated method had a path already.
|
2024-06-13 13:17:02 +01:00 |
|
Asherah Connor
|
3ed2865ac5
|
cxxrtl: capi: don't use deprecated invocation.
|
2024-06-13 13:17:02 +01:00 |
|
github-actions[bot]
|
a55e8594b7
|
Bump version
|
2024-06-12 00:17:25 +00:00 |
|
Marian Buschsieweke
|
7f89a45ad7
|
cxxxrtl: fix use of format specifiers in test
This fix a few instances of incorrect (and non-portable) use of format
specifiers.
|
2024-06-11 07:22:39 +01:00 |
|
Akash Levy
|
ac0a9e7366
|
Updates
|
2024-06-10 20:52:11 -07:00 |
|
Akash Levy
|
b9b776d211
|
Update for no preservation of user nets
|
2024-06-10 20:33:05 -07:00 |
|
Krystine Sherwin
|
df4e630ac4
|
Docs: Add section for script parsing
Document `!` and `:`.
Add warning that semicolons need spaces.
|
2024-06-11 13:17:56 +12:00 |
|
github-actions[bot]
|
ef90458820
|
Bump version
|
2024-06-11 00:17:10 +00:00 |
|
Martin Povišer
|
960d8e3fed
|
Merge pull request #4440 from povik/ast-api-comment
Update stale top comment in `ast.h`
|
2024-06-10 18:14:05 +02:00 |
|
Martin Povišer
|
b593f5c01c
|
Update the overview comment in ast.h
|
2024-06-10 16:38:39 +02:00 |
|
Akash Levy
|
d930310599
|
Enable more updates
|
2024-06-09 13:54:34 -07:00 |
|
Catherine
|
9f94ecf4ed
|
Merge pull request #4417 from kivikakk/cxxrtl-unused-output
cxxrtl: don't emit invalid code on unconnected outputs.
|
2024-06-09 21:35:42 +01:00 |
|
Miodrag Milanović
|
078c14f055
|
Merge pull request #4434 from mikesinouye/asan
Fix memory leak in verific file parsing.
|
2024-06-08 11:48:05 +02:00 |
|
github-actions[bot]
|
82783646e5
|
Bump version
|
2024-06-08 00:17:45 +00:00 |
|
Mike Inouye
|
b0ab1cf8c3
|
Fix memory leak in verific file parsing.
Signed-off-by: Mike Inouye <mikeinouye@google.com>
|
2024-06-07 22:51:28 +00:00 |
|
Jean-François Nguyen
|
54d5e56745
|
cxxrtl: fix debug_info() deprecation message.
|
2024-06-07 20:12:53 +01:00 |
|
Akash Levy
|
bfc35122ef
|
Disable broken dffe pass for now
|
2024-06-07 10:50:37 -07:00 |
|
Asherah Connor
|
e97c36d4c4
|
cxxrtl: don't emit syncs for empty lhs.
|
2024-06-07 14:24:27 +03:00 |
|
Asherah Connor
|
dc69365258
|
cxxrtl: failing test: unconnected blackbox outputs don't compile.
|
2024-06-07 14:24:27 +03:00 |
|
Akash Levy
|
8499d31cf2
|
Revert veri_break_loops setting
|
2024-06-07 00:09:01 -07:00 |
|
Miodrag Milanovic
|
b056e8c0ba
|
Next dev cycle
|
2024-06-07 08:34:06 +02:00 |
|
Miodrag Milanovic
|
9b6afcf3f8
|
Release version 0.42
|
2024-06-07 08:29:48 +02:00 |
|
Miodrag Milanovic
|
9b82a44d25
|
Fix help message typo
|
2024-06-07 08:26:59 +02:00 |
|
Akash Levy
|
5cc35131a8
|
Merge branch 'YosysHQ:main' into master
|
2024-06-06 23:02:40 -07:00 |
|
github-actions[bot]
|
bd28d26021
|
Bump version
|
2024-06-07 00:17:23 +00:00 |
|
Miodrag Milanović
|
baccf87d9c
|
Merge pull request #4431 from jix/smtbmc-fixes
smtbmc: Fix two .yw handling related crashes
|
2024-06-06 18:19:06 +02:00 |
|
Jannis Harder
|
094fa8caba
|
smtbmc: Fix two .yw handling related crashes
These came up when using the experimental incremental interface and are
also in code that was recently refactored to support that interface.
|
2024-06-06 17:35:31 +02:00 |
|
Akash Levy
|
c8f7441a4a
|
Fix skip default value
|
2024-06-05 09:33:03 -07:00 |
|
Akash Levy
|
c59a997255
|
Ignore files properly
|
2024-06-05 07:53:21 -07:00 |
|
Akash Levy
|
4d44099d09
|
Support for ignoring translate_off and ignoring files
|
2024-06-05 05:00:05 -07:00 |
|
Akash Levy
|
5dc62bec0b
|
Support .inc files and readmemh missing file
|
2024-06-03 20:05:30 -07:00 |
|
Akash Levy
|
92e44cc9a3
|
Minor fix to ignore files
|
2024-06-03 18:17:50 -07:00 |
|
Akash Levy
|
4339b3681a
|
Elaborate top level modules undo
|
2024-06-03 16:17:51 -07:00 |
|
Akash Levy
|
a692bf17d7
|
Improper ignore translates
|
2024-06-03 11:23:16 -07:00 |
|
Akash Levy
|
783c0a593a
|
Actually optimize with Verific now
|
2024-06-03 04:55:47 -07:00 |
|
Akash Levy
|
d549cb9e57
|
Just really minor Verific change
|
2024-06-03 03:40:35 -07:00 |
|
Akash Levy
|
2d05b38444
|
Update when main expression is too wide
|
2024-06-03 03:30:26 -07:00 |
|
Akash Levy
|
fb05f73998
|
Minor edit
|
2024-06-03 02:58:41 -07:00 |
|