3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-07-15 19:55:41 +00:00
yosys/frontends
Mohamed Gaber d986ee91ac
CMake: integrate silimate additions and extensions
- update CMakeLists.txt to load two new files:
  - SilimateConfig.cmake: sets Silimate configuration options and defaults
  - SilimateVerific.cmake: compiles Verific library, optionally with Silimate modifications
- include silimate tests in test Makefile
2026-06-10 20:27:52 +03:00
..
aiger Migrate build system to CMake 2026-06-03 08:58:10 +00:00
aiger2 Migrate build system to CMake 2026-06-03 08:58:10 +00:00
ast Migrate build system to CMake 2026-06-03 08:58:10 +00:00
blif Merge remote-tracking branch 'upstream/main' into silimate 2026-06-09 16:22:51 +03:00
json Migrate build system to CMake 2026-06-03 08:58:10 +00:00
liberty Migrate build system to CMake 2026-06-03 08:58:10 +00:00
rpc Migrate build system to CMake 2026-06-03 08:58:10 +00:00
rtlil Migrate build system to CMake 2026-06-03 08:58:10 +00:00
verific CMake: integrate silimate additions and extensions 2026-06-10 20:27:52 +03:00
verilog Migrate build system to CMake 2026-06-03 08:58:10 +00:00
CMakeLists.txt Migrate build system to CMake 2026-06-03 08:58:10 +00:00