Eddie Hung 8f5710c464 Merge remote-tracking branch 'origin/master' into xaig_dff		2019-09-27 15:14:31 -07:00
..
aiger	Revert "Remove sequential extension"	2019-08-20 18:17:14 -07:00
ast	Fix handling of read_verilog config in AstModule::reprocess_module(), fixes #1360	2019-09-20 12:16:20 +02:00
blif	Change signature of parse_blif to take IdString	2019-08-15 10:26:24 -07: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	stoi -> atoi	2019-08-07 11:09:17 -07:00
verific	Fix erroneous ifndef-NDEBUG in verific.cc	2019-08-17 14:49:55 +02:00
verilog	Fix handling of z_digit "?" and fix optimization of cmp with "z"	2019-09-13 13:39:39 +02:00