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

15669 commits

This branch
This branch
All branches
Author SHA1 Message Date
Akash Levy
7c1cb53c85 Packed muxes have src attr for each constituent mux 2025-03-05 06:09:40 -08:00
Akash Levy
8117ab228e Use set for strpool_attribute to maintain ordering, but keep some backwards compatibility 2025-03-05 03:28:19 -08:00
Akash Levy
3a67468860 Use ordered set for src attrs when flattening 2025-03-04 23:47:48 -08:00
Akash Levy
1b1855353d Reduce verbosity of some key things 2025-03-04 22:58:56 -08:00
Alain Dargelas
9f36d9dea9 comments 2025-03-04 15:52:10 -08:00
Alain Dargelas
4035a24e4c bulk splitnets 2025-03-04 15:06:58 -08:00
Alain Dargelas
7df2a8eb8e splinets fencing 2025-03-04 14:32:44 -08:00
Alain Dargelas
1027a96860 inputs option 2025-03-04 11:43:12 -08:00
Alain Dargelas
864850ab51 speedup 2025-03-04 11:09:09 -08:00
Alain Dargelas
3e25ff70ee input fanout 2025-03-04 10:52:46 -08:00
Alain Dargelas
104d39057e unique names 2025-03-04 10:31:20 -08:00
Alain Dargelas
fd2ac3ad8d simplify 2025-03-04 09:22:55 -08:00
Alain Dargelas
a8fa936080 simplify 2025-03-04 09:20:31 -08:00
Alain Dargelas
425e1a03ae reuse net on same cell 2025-03-03 21:45:53 -08:00
KrystalDelusion
176131b50e
Merge pull request #4855 from YosysHQ/contributing_md 
Initial version of CONTRIBUTING.md
 2025-03-04 15:57:33 +13:00
Alain Dargelas
6cff6d9c49 input fanout 2025-03-03 16:51:10 -08:00
Alain Dargelas
d5d58349fd split input nets with high fanout 2025-03-03 15:06:02 -08:00
Alain Dargelas
a1ad385702 help 2025-03-03 11:31:27 -08:00
Alain Dargelas
be95a08c08 cleanup 2025-03-03 11:23:45 -08:00
Alain Dargelas
c7623e4850 cleanup 2025-03-03 10:39:47 -08:00
Alain Dargelas
b95fc57136 comments 2025-03-03 10:08:27 -08:00
Emil J
39aacc95df
Merge pull request #4907 from YosysHQ/emil/fix-clear-preset-latch 
liberty: fix clear and preset latches
 2025-03-03 18:53:12 +01:00
Alain Dargelas
c8847e8286 debug flag 2025-03-03 09:35:49 -08:00
N. Engelhardt
0dfd9e9395
Merge pull request #4868 from david-sawatzke/improve_tcl_output_docs 
tcl: Update help message to clarify usage of `result.string`
 2025-03-03 15:16:42 +00:00
N. Engelhardt
268a034b21
Merge pull request #4866 from YosysHQ/ql_ioff 
add IOFF inference for qlf_k6n10f
 2025-03-03 14:12:09 +00:00
Alain Dargelas
21f026cb05 formal 2025-02-28 22:08:19 -08:00
Alain Dargelas
aa4c5e9ee5 working splinets 2025-02-28 21:54:28 -08:00
Alain Dargelas
0d854120a7 fanout per buffer 2025-02-28 20:38:36 -08:00
Krystine Sherwin
b56e3ec6e4
docs/functional: Minimal backend paragraphs 
I was thinking about compiling the dummy example and including a simple example usage, but it turns out functional.h isn't (currently) available for extensions.
 2025-03-01 16:15:54 +13:00
Alain Dargelas
2741989158 honor limits 2025-02-28 14:50:17 -08:00
KrystalDelusion
9106d6b3bd
Merge pull request #4881 from YosysHQ/pmgen-pass-restructure 
Move passes out of the passes/pmgen folder
 2025-03-01 10:22:54 +13:00
Alain Dargelas
25553a8ca9 splitnets 2025-02-28 12:07:58 -08:00
Krystine Sherwin
3c493d2bef
docs/rosette: Reword 
Acknowledge the minimal functional backend, highlighting what's new/different for our SExpr targets.
Add and use the reference `minimal backend`.
Use `note` directives to point out missing code sections (highlighting that the included diffs are not complete).
Racket *is* still strongly-typed, it's just dynamic instead of static.  Adjust phrasing to reflect that.
Adjust some of the literal includes, adding a new section from the `Functional::AbstractVisitor`, splitting the `Module::write_eval()` in twain and adding a `smtlib.cc` literal include for the node iteration, as well as for the `FunctionalSmtBackend` to compare against the minimal backend.
Move `Backend` description up to minimal functional backend section.
 2025-02-28 16:33:57 +13:00
Krystine Sherwin
e01a413722
docs/rosette: List major changes in overview 
Also a little paragraph on why SMT-LIB is used as the base.
 2025-02-28 14:57:41 +13:00
Akash Levy
47246954d4 Update gitignore 2025-02-27 16:47:33 -08:00
Akash Levy
25c043ea16
Merge branch 'YosysHQ:main' into main 2025-02-27 14:13:29 -08:00
alaindargelas
61a6840749
Merge pull request #58 from alaindargelas/obs_clean_help 
obs_clean help
 2025-02-27 11:10:05 -08:00
Alain Dargelas
5e31574ff0 Help 2025-02-27 11:09:27 -08:00
alaindargelas
2035bb7390
Merge pull request #57 from alaindargelas/obs_clean_debug_and_fencing 
obs_clean debug and fencing, removing unused assign is also now optional
 2025-02-27 10:49:19 -08:00
Alain Dargelas
3d1fb7a093 warning 2025-02-27 10:48:01 -08:00
Alain Dargelas
4089c1b358 obs_clean debug and fencing 2025-02-27 10:13:16 -08:00
Akash Levy
ee67e3c901 Use -O3 for abc 2025-02-26 22:04:31 -08:00
Akash Levy
d093a4b623 Bump abc 2025-02-26 22:03:13 -08:00
Akash Levy
022914d8be Update abc to our clone to fix Cov_ManFree segfault, might leak memory, but won't crash 2025-02-26 21:56:46 -08:00
Krystine Sherwin
560b5fe6bd
docs/functional: Add dummy toy example 
Add `dummy.cc`, loosely based on `backends/functional/test_generic.cc` but as an actualy backend and without the memory testing.
Skeleton section for minimal functional backend, describing the aforementioned `dummy.cc`.
 2025-02-27 16:14:59 +13:00
Krystine Sherwin
db823a6acb
docs/rosette: Fix inline code 2025-02-27 16:11:44 +13:00
Alain Dargelas
ecd2ac4302 fixes 2025-02-26 16:51:39 -08:00
github-actions[bot]
78960292d0 Bump version 2025-02-27 00:21:40 +00:00
Alain Dargelas
6a26b2db55 WIP 2025-02-26 16:17:09 -08:00
Martin Povišer
bca21c60d8
Merge pull request #4902 from akashlevy/splitcells_aldff_fix 
`aldff`s do not get split by `splitcells` pass
 2025-02-27 00:56:46 +01:00