mirror of
https://github.com/YosysHQ/yosys
synced 2026-07-15 19:55:41 +00:00
- 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 |
||
|---|---|---|
| .. | ||
| aiger | ||
| aiger2 | ||
| ast | ||
| blif | ||
| json | ||
| liberty | ||
| rpc | ||
| rtlil | ||
| verific | ||
| verilog | ||
| CMakeLists.txt | ||