Commit Graph

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