2041 commits

Author	SHA1	Message	Date
Akash Levy	65aad25a61	Smallfix for bison	2026-04-22 12:06:10 -07:00
Akash Levy	e6f84b3b5b	Ensure verilog flex/bison symbols are overridden properly	2026-04-22 10:43:52 -07:00
Akash Levy	bf40364bd0	No operator optimization, but it passes all tests	2026-04-22 03:12:26 -07:00
Akash Levy	f1f38cd765	Use multiple definition approach on Linux instead	2026-04-16 11:20:26 -07:00
Akash Levy	29024f215a	Exclude weak symbols from overridden symbols	2026-04-16 11:05:14 -07:00
Akash Levy	0dc6bf07f3	Weaken symbols	2026-04-16 10:47:05 -07:00
Akash Levy	0db45a6796	Reenable VHDL	2026-04-16 04:03:31 -07:00
AdvaySingh1	d1b2f9c13d	ENG-1858	2026-04-15 17:06:54 -07:00
AdvaySingh1	f9f31afcb4	Makefile pass changes	2026-03-20 12:42:51 -07:00
AdvaySingh1	1711da5506	Moved the struct_partition pass to Silimate	2026-03-19 15:06:50 -07:00
AdvaySingh1	26db947b57	Added zinit	2026-03-19 10:08:52 -07:00
AdvaySingh1	dc73249d8f	Added support for printing the signal map	2026-03-18 16:23:41 -07:00
AdvaySingh1	a3ffc5da30	Added new passes/sat/struct_partition.cc pass to propagate the ports out	2026-03-18 11:53:47 -07:00
AdvaySingh1	db039c5987	Added Makefile with passed required for SAT	2026-03-06 11:41:33 -08:00
Akash Levy	18c3a0b907	Remove old linefile loops stuff	2026-02-27 14:53:44 -08:00
Akash Levy	3e9a5c68b1	Switch back to main Verific without VHDL support	2026-02-18 21:57:14 -08:00
Akash Levy	33c2c88fa4	Bump Yosys to latest from upstream	2026-02-17 23:41:39 -08:00
Miodrag Milanović	ac96f318ef	Merge pull request #5676 from YosysHQ/emil/unit-test-by-default ... Run unit tests on make test	2026-02-13 15:02:50 +01:00
Akash Levy	2b247d165b	Merge from main	2026-02-13 04:14:08 -08:00
github-actions[bot]	e2f0c4d9a0	Bump version	2026-02-13 00:35:27 +00:00
Miodrag Milanovic	cc79c6a761	Support building out of tree, but keep always in tests/unit	2026-02-12 12:17:07 +01:00
github-actions[bot]	1319112913	Bump version	2026-02-12 00:32:36 +00:00
Gus Smith	8ab105ac28	Merge pull request #4303 from Coloquinte/sat_choice ... Infrastructure to run a Sat solver as a command	2026-02-11 06:54:53 -08:00
github-actions[bot]	a6e33d9916	Bump version	2026-02-10 00:38:43 +00:00
Emil J. Tywoniak	ff9cd0eed7	Makefile: test target requires unit-test, add vanilla-test for old test target	2026-02-09 23:21:24 +01:00
Akash Levy	5f7658ca7c	Merge branch 'YosysHQ:main' into main	2026-02-05 13:10:34 -08:00
github-actions[bot]	0640a5904b	Bump version	2026-02-05 00:33:25 +00:00
Akash Levy	241852eebd	Test merge from upstream	2026-02-04 02:07:01 -08:00
Miodrag Milanovic	ddfa34d743	Next dev cycle	2026-02-04 08:54:38 +01:00
Akash Levy	8e5d24aa6b	Bump yosys to latest	2026-02-03 06:08:36 -08:00
Miodrag Milanovic	fc11754557	Release version 0.62	2026-02-03 12:09:24 +01:00
github-actions[bot]	153ddc0c84	Bump version	2026-02-03 00:33:37 +00:00
Akash Levy	892ef37b26	Undo	2026-01-29 19:36:36 -08:00
Akash Levy	bbdf5042c7	Add PYTHON_INCLUDE_FLAGS	2026-01-29 19:20:46 -08:00
Akash Levy	a9cf998f9f	Merge from upstream	2026-01-29 17:46:44 -08:00
github-actions[bot]	106f289e31	Bump version	2026-01-30 00:30:58 +00:00
Akash Levy	16087ae931	Merge from upstream	2026-01-28 18:17:50 -08:00
github-actions[bot]	1f6a13dac7	Bump version	2026-01-29 00:31:03 +00:00
Akash Levy	26f5ff3d74	Merge from upstream	2026-01-26 22:16:11 -08:00
github-actions[bot]	33e4b1d97f	Bump version	2026-01-27 00:28:42 +00:00
Akash Levy	4242d7022c	Merge branch 'YosysHQ:main' into main	2026-01-21 17:23:46 -08:00
github-actions[bot]	a6fc695522	Bump version	2026-01-22 00:28:34 +00:00
Akash Levy	b11037e6c6	Merge remote-tracking branch 'upstream/main'	2026-01-21 15:13:57 -08:00
github-actions[bot]	57ac113b7f	Bump version	2026-01-21 00:27:51 +00:00
Gabriel Gouvine	d2b6bd00b1	ezsat: Rename files and class for ezCmdlineSat	2026-01-20 07:54:50 -08:00
Gabriel Gouvine	9315f02c17	ezsat: New Sat class to call an external command	2026-01-20 07:54:49 -08:00
github-actions[bot]	49e5950791	Bump version	2026-01-20 00:26:10 +00:00
Akash Levy	ef98c62bf2	Merge	2026-01-14 18:34:16 -08:00
github-actions[bot]	967b47d984	Bump version	2026-01-15 00:24:54 +00:00
github-actions[bot]	4c1a18f01d	Bump version	2026-01-14 06:40:44 +00:00