mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-10-27 01:39:23 +00:00
Code Activity
13652 commits 122 branches 59 tags 72 MiB
Commit graph

13652 commits

This branch
This branch
All branches
Author SHA1 Message Date
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
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
Akash Levy
5173e329ea Sync yosys 2024-05-21 19:07:13 -07:00
Akash Levy
d2c29a108b Update verific 2024-05-21 17:40:27 -07:00
github-actions[bot]
c71262f66b Bump version 2024-05-22 00:16:29 +00:00
Miodrag Milanović
17903703c8
Merge pull request #4362 from offline3/export_marco_to_qtcreator 
export define marco to qtcreator.config
 2024-05-21 16:07:49 +02:00
N. Engelhardt
24f9329c67
Merge pull request #4367 from YosysHQ/lofty/intel_alm-drop-quartus 
intel_alm: drop quartus support
 2024-05-21 16:01:23 +02:00
N. Engelhardt
d2586e21b4
Merge pull request #4238 from RCoeurjoly/nix 
Begin supporting nix flakes build system
 2024-05-21 15:35:46 +02:00
N. Engelhardt
e940d248c0
Merge pull request #4326 from povik/logcmd 
Extend `log` command with `-push`, `-pop`, `-header` options
 2024-05-21 15:22:40 +02:00
Roland Coeurjoly
13a6920491 Change customYosys to yosys 2024-05-21 12:50:23 +02:00
Akash Levy
dae5160957 Revert 2024-05-20 16:34:24 -07:00
Akash Levy
ea99fe685b Verific fix 2024-05-20 16:10:06 -07:00
Akash Levy
a0651559e6 Update to REPLACEME for YOSYS_VER 2024-05-19 22:38:07 -07:00
Akash Levy
789715782c Update verific 2024-05-19 21:41:23 -07:00
Akash Levy
e784c47ae5 Ignore .bak 2024-05-19 21:31:42 -07:00
Akash Levy
943ec10343 Bump Yosys to 0.41.91 2024-05-19 21:20:10 -07:00
Akash Levy
187737b86a Don't adjust naming on imported cells. Add $ for each pass 2024-05-19 15:02:40 -07:00
Akash Levy
8086e132fb Is CentOS 7 2024-05-19 01:05:54 -07:00
Akash Levy
ccf6809a49 Bump version 2024-05-17 04:49:21 -07:00
Akash Levy
60e598b9c8 Define SYNTHESIS earlier and in both, support ignored module specification 2024-05-17 04:46:28 -07:00
Akash Levy
a94cd0b3d8 Bump version 2024-05-16 19:52:43 -07:00
Akash Levy
122e06d44b Updated Verific 2024-05-16 19:50:20 -07:00
Akash Levy
b662373bcf Bump version 2024-05-15 20:48:24 -07:00
Akash Levy
7d07a84cfe Verific 2024-05-15 20:42:20 -07:00
Akash Levy
a6b1bfac54 Bump version 2024-05-15 18:46:42 -07:00
Akash Levy
25185d8a7b Bump version 2024-05-15 17:27:37 -07:00
Akash Levy
43c3c5cf3c Fix default_nettype issue 2024-05-15 17:26:36 -07:00
Akash Levy
375f73bbce Update for Amba support 2024-05-15 15:37:14 -07:00
Akash Levy
7e74ed1fd6 Sync to YosysHQ upstream 2024-05-14 17:52:29 -07:00
Akash Levy
b9a8ed226e Update verific to search incdirs 2024-05-14 17:18:46 -07:00
Akash Levy
1327077397 Update verific 2024-05-14 16:11:26 -07:00
Akash Levy
ed42470d45 Move ignore translate up here and update verificc 2024-05-14 16:02:33 -07:00
Akash Levy
81b542fd31 Updated to support Amba comments and .h files 2024-05-14 13:25:43 -07:00
github-actions[bot]
7045cf509e Bump version 2024-05-14 00:16:31 +00:00
Akash Levy
667c3375e8 Macro defines don't pass or succeed the same way 2024-05-13 15:53:54 -07:00