Jannis Harder 0182b26aba Merge pull request #3391 from programmerjake/simcheck-allow-smtlib2-blackboxes ... add hierarchy -smtcheck		2022-07-01 14:38:45 +02:00
..
cmds	Merge pull request #3196 from bfg86/bfg86/rename	2022-06-13 16:00:04 +02:00
equiv	Fixing old e-mail addresses and deadnames	2021-06-08 00:39:36 +02:00
fsm	Avoid unnecessary copy of a potential large constant value.	2022-06-09 16:05:51 +01:00
hierarchy	add hierarchy -smtcheck	2022-06-22 20:53:10 -07:00
memory	memory_map: avoid undriven unused FF inputs for -keepdc	2022-06-28 19:05:35 +02:00
opt	opt_ffinv: Fix use after free.	2022-06-13 14:04:04 +02:00
pmgen	Update comment	2022-02-02 03:21:09 +01:00
proc	proc_rom: Add special handling of const-0 address bits.	2022-05-18 17:32:30 +02:00
sat	fmcombine: Add _gold/_gate suffix to memids	2022-06-03 21:52:28 +02:00
techmap	iopadmap: Fix z assignment removal.	2022-06-07 04:10:50 +02:00
tests	Add $bmux and $demux cells.	2022-01-28 23:34:41 +01:00