Clifford Wolf 4f81213165 Merge pull request #1261 from YosysHQ/clifford/verific_init ... Automatically prune init attributes in verific front-end		2019-08-10 09:47:25 +02:00
..
aiger	Add __STDC_FORMAT_MACROS before <inttypes.h> as per @mithro	2019-08-09 09:17:35 -07:00
ast	Allow whitebox modules to be overwritten	2019-08-07 16:40:24 -07:00
blif	Add missing "[options]" to read_blif help	2019-02-08 12:41:39 -08:00
ilang	Allow attributes on individual switch cases in RTLIL.	2019-07-08 11:34:58 +00:00
json	Update JSON front-end to process new attr/param encoding	2019-08-01 12:48:22 +02:00
liberty	Fix typo, double "of"	2019-07-16 11:03:30 +02:00
verific	Automatically prune init attributes in verific front-end, fixes #1237	2019-08-07 15:31:49 +02:00
verilog	verilog_lexer: Increase YY_BUF_SIZE to 65536	2019-07-26 13:35:39 +01:00