mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-24 17:45:33 +00:00
Code Activity
14145 commits 96 branches 53 tags 45 MiB
Commit graph

14145 commits

This branch
This branch
All branches
Author SHA1 Message Date
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
Akash Levy
58ef0571db Update Verific 2024-06-02 23:50:04 -07:00
Akash Levy
4475b50ffa Undo some ugly stuff and make more attempted fixes 2024-06-02 23:33:23 -07:00
Akash Levy
ad1197d5ad
Merge branch 'YosysHQ:main' into master 2024-06-02 22:50:08 -07:00
Akash Levy
2585636d18 Use ability to get/set IMPORT runtime flags 2024-06-02 22:24:29 -07:00
Akash Levy
28a03380b7 Priority selector fixes (opt order), relaxed checking, warning if using Yosys case statements 2024-06-02 18:45:31 -07:00
github-actions[bot]
855ac285f4 Bump version 2024-06-03 00:17:36 +00:00
Miodrag Milanović
803703a833
Update flake lock workflow 
Update workflow so it creates trigger as user so  GitHub Action is triggering actual build
 2024-06-02 19:25:05 +02:00
Akash Levy
85cbd05bb1 Update some runtime flags to fix some potential issues 2024-06-02 01:12:43 -07:00
Akash Levy
e0d96d35a1
Merge branch 'YosysHQ:main' into master 2024-06-01 23:47:26 -07:00
Martin Povišer
4b67f3757f
Merge pull request #4404 from YosysHQ/povik/bbox_derive 
box_derive: New command to derive modules for boxes
 2024-05-31 19:09:18 +02:00
github-actions[bot]
a84e4f44fe Bump version 2024-05-31 00:16:34 +00:00
Akash Levy
5bc23b272a Add blackboxes a little later and use ignore files rather than ignore modules 2024-05-30 14:17:10 -07:00
Emil J
111b747d27
Merge pull request #4420 from YosysHQ/emil/doc-demux-todo 
docs: add todo for $demux
 2024-05-30 17:45:19 +02:00
Akash Levy
8b93aa10cb Add leakage power unit support 2024-05-29 23:43:47 -07:00
Martin Povišer
97fedff383 box_derive: Tune the test 2024-05-29 20:42:11 +02:00
Martin Povišer
b230c95cc4 select: Adjust help 2024-05-29 20:41:56 +02:00
Akash Levy
a55a4d461e Infer wide operators pre elaboration (post does not work as well!) 2024-05-28 04:39:29 -07:00
Akash Levy
1cb328b879 Add Makefile fix too 2024-05-28 01:48:22 -07:00
Akash Levy
4062825a9e Disable Liberty support, add blackbox Verilog module, and add attribute parsing into Yosys Liberty parser 2024-05-28 01:47:46 -07:00
Akash Levy
b90c20cd14 Update Verific, add opt to hierarchy pass, make opt run a bunch of Verific optimizations, update some Verific runtime flags 2024-05-27 21:56:08 -07:00
Emil J. Tywoniak
02ad56a132 docs: add todo for $demux 2024-05-27 22:39:42 +02:00
Akash Levy
a98fcbd48b Revert Verific flags 2024-05-25 23:21:31 -07:00
Akash Levy
f0c4aa7059
Merge branch 'YosysHQ:main' into master 2024-05-25 20:21:39 -07:00
github-actions[bot]
5579685673 Bump version 2024-05-25 00:16:20 +00:00
Amiot Noe
c7580eb18e cxxrtl: Prevent wires with input or output ports from being aliased 2024-05-24 23:26:16 +01:00
Miodrag Milanović
56c843959f
Merge pull request #4412 from YosysHQ/krys/skippable_nix 
ci: Skip duplicate actions on nix build
 2024-05-24 14:39:49 +02:00
Miodrag Milanović
98ab829c1e
Merge pull request #4409 from marysaka/fix-abc-external-doc 
Only build yosys-abc usage docs when ABCEXTERNAL is not set
 2024-05-24 14:38:42 +02:00
Akash Levy
60ce37c2bd Don't reenable verific, move to c_cpp_properties.json in .vscode 2024-05-24 01:49:54 -07:00
Akash Levy
22bdf4035a Verific to handle all RAMs 2024-05-24 01:08:37 -07:00
Akash Levy
30ed617fd2 Update verific compile flags 2024-05-24 00:28:35 -07:00
Akash Levy
6300c491ea Update Yosys runtime flags for Verific to remove multi-port memory support 2024-05-24 00:26:37 -07:00
Akash Levy
66eabb1d2c Define SYNTH and OVL_SVA by default 2024-05-23 21:05:57 -07:00
Akash Levy
4e39064b88 Remove annoying neg thing 2024-05-23 21:05:45 -07:00
Krystine Sherwin
d135c0bf87
extra-builds.yml: Fix indentation 2024-05-24 09:41:31 +12:00
Krystine Sherwin
1aae0bcd40
ci: Move nix build to extra-builds.yml 
Skip duplicate actions on nix build.
 2024-05-24 09:09:48 +12:00
Mary Guillemard
db3f810304 Only build yosys-abc usage docs when ABCEXTERNAL is not set 
Since 0.41, when building docs with ABCEXTERNAL set, the rule for
yosys-abc docs usage would attempt to build in-tree ABC.

This fix this regression by only including yosys-abc in
DOCS_USAGE_STDERR when ABCEXTERNAL is not set.

Signed-off-by: Mary Guillemard <mary@mary.zone>
 2024-05-22 23:48:03 +02:00