Akash Levy 380850321d Refactor verific -optimization and -no_split_complex_ports into verific pass		2025-05-08 15:59:47 -07:00
..
aiger	rtlil: represent Const strings as std::string	2024-10-14 06:28:12 +02:00
aiger2	aiger2: Clean debug print	2024-12-10 14:27:55 +01:00
ast	simplify: fix struct wiretype attr memory leak	2025-04-25 01:00:08 +02:00
blif	Resolve reg naming to some extent	2024-12-17 12:11:39 -08:00
json
liberty	Liberty file caching with new libcache command	2025-04-03 13:39:35 +02:00
rpc
rtlil	read_rtlil: warn on assigns after switches in case rules	2024-11-21 22:41:13 +01:00
verific	Refactor verific -optimization and -no_split_complex_ports into verific pass	2025-05-08 15:59:47 -07:00
verilog	verilog_parser.y: Delete unused TOK_ID	2025-05-05 10:04:13 +12:00