15336 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Akash Levy	1188edeabc	Use environment setup for CodeQL	2025-01-16 19:57:22 -08:00
Akash Levy	6c87d26835	Smallfix	2025-01-16 19:53:45 -08:00
Akash Levy	bca65ceff7	opt_clean was removing the unused bits annotation	2025-01-16 19:48:31 -08:00
Akash Levy	ab338b33cb	Use equiv_opt -nocells to ensure everything is ok since dffs retain their name	2025-01-16 19:40:18 -08:00
Akash Levy	67a93dc76d	scopeinfo inverted	2025-01-16 19:36:42 -08:00
Akash Levy	90f980eb66	Changed boolopt naming	2025-01-16 19:36:27 -08:00
Akash Levy	d8631420a1	Add -nocells option to equiv_make and equiv_opt to ensure that equivalence is only checked for wires	2025-01-16 19:35:22 -08:00
Akash Levy	c42fd5164c	wreduce already swaps names no need for any diff	2025-01-16 19:34:41 -08:00
Akash Levy	81f30593cb	Fix actions deps	2025-01-16 19:34:20 -08:00
Akash Levy	53ed83fcac	Rename verific to import in tests and update README explanation	2025-01-16 19:34:02 -08:00
Akash Levy	54c69f1fed	Try again	2025-01-16 16:03:00 -08:00
Akash Levy	84ceb84fb3	Fix linux/mac dependencies in GHA	2025-01-16 15:10:36 -08:00
Akash Levy	a4d2776647	Fix tcl-tk stuff for mac	2025-01-16 14:45:58 -08:00
Akash Levy	de0b6cfabc	Use good make	2025-01-16 12:15:29 -08:00
alaindargelas	bf8277e280	Merge pull request #47 from alaindargelas/splitfanout_test ... Add splitfanout tests	2025-01-16 12:11:09 -08:00
Alain Dargelas	84c6be1edd	Add splitfanout tests	2025-01-16 12:04:53 -08:00
Akash Levy	53be1f8617	Fixes to build flow	2025-01-16 11:41:48 -08:00
alaindargelas	2e78f6926e	Merge pull request #46 from alaindargelas/fix_peepopt ... Fix equiv_opt	2025-01-16 11:32:12 -08:00
Alain Dargelas	2c359f4b58	Fix equiv_opt	2025-01-16 11:31:27 -08:00
alaindargelas	6d8c9ec177	Merge pull request #45 from alaindargelas/muxpack_no_splitfanout ... Muxpack does not need splitfanout	2025-01-16 11:17:00 -08:00
Alain Dargelas	088683048b	Muxpack does not need splitfanout	2025-01-16 11:16:03 -08:00
Akash Levy	f1890c86b9	Add backward deps	2025-01-15 22:42:51 -08:00
Akash Levy	ee7975e4eb	Smallfix	2025-01-15 17:33:39 -08:00
Akash Levy	090e8de6d7	Bundle install	2025-01-15 17:22:21 -08:00
Akash Levy	78a510ca54	Try again	2025-01-15 17:17:41 -08:00
Akash Levy	ec7b4b74b4	Use our naming convention instead of Yosys'	2025-01-15 17:09:26 -08:00
Akash Levy	81cced8e01	Merge pull request #44 from alaindargelas/peepopts ... muxadd and muldiv_c peepopt	2025-01-15 17:02:55 -08:00
Alain Dargelas	31a5197a1c	muxadd and muldiv_c peepopt	2025-01-15 16:57:19 -08:00
Akash Levy	8dabfbe429	Try again	2025-01-15 16:50:44 -08:00
alaindargelas	bd3bfa1a8b	Merge pull request #43 from alaindargelas/lib_dwarf_fix ... Lib dwarf fix	2025-01-15 16:47:24 -08:00
Alain Dargelas	25c6450e68	Lib dwarf	2025-01-15 16:46:05 -08:00
Alain Dargelas	2c1824b07d	Lib dwarf	2025-01-15 16:43:28 -08:00
Akash Levy	fb1baceb83	Try again	2025-01-15 16:42:57 -08:00
Alain Dargelas	d83cf40b2a	Merge branch 'main' into lib_dwarf_fix	2025-01-15 16:42:08 -08:00
Alain Dargelas	d56255dd7b	Lib dwarf	2025-01-15 16:40:26 -08:00
Akash Levy	2efcb9e04d	Add libnsl	2025-01-15 16:35:25 -08:00
Akash Levy	ef96cc47e1	Install all needed dependencies	2025-01-15 16:33:19 -08:00
Akash Levy	fa89834da0	Smallfix	2025-01-15 16:30:03 -08:00
Alain Dargelas	f323bb0f99	Dwarf lib	2025-01-15 16:29:25 -08:00
Akash Levy	b545fc4728	Reduce submod verbosity	2025-01-15 02:20:03 -08:00
Akash Levy	09b00804be	Merge branch 'YosysHQ:main' into main	2025-01-15 00:37:19 -08:00
github-actions[bot]	eac2294cab	Bump version	2025-01-15 00:20:50 +00:00
Akash Levy	8c44af4be8	Merge pull request #41 from alaindargelas/dwarf_path ... Dwarf path	2025-01-14 15:33:33 -08:00
Alain Dargelas	2959f37de8	Dwarf path	2025-01-14 15:24:26 -08:00
Akash Levy	22c0126c84	Merge pull request #40 from alaindargelas/opt_balance_tree_formal ... opt_balance_tree pass formal equiv	2025-01-14 13:21:53 -08:00
Alain Dargelas	97928493e5	Fix assert	2025-01-14 11:57:03 -08:00
Alain Dargelas	d13c70c3c8	Wire rename	2025-01-14 10:03:54 -08:00
Alain Dargelas	14cfd027b7	opt_balance_tree pass formal equiv	2025-01-14 09:35:43 -08:00
Akash Levy	57bf3a6f51	Merge branch 'YosysHQ:main' into main	2025-01-14 08:38:59 -08:00
Martin Povišer	85c425469c	Merge pull request #4848 from YosysHQ/emil/fix-hash-ops-discard ... Stop and prevent discarding hash_into values	2025-01-14 13:53:08 +01:00