Marcelina Kościelnicka 5cebf6a8ef Change implicit conversions from bool to Sig* to explicit. ... Also fixes some completely broken code in extract_reduce.		2021-10-21 20:20:31 +02:00
..
cmds	Hook up $aldff support in various passes.	2021-10-02 21:01:21 +02:00
equiv	Fixing old e-mail addresses and deadnames	2021-06-08 00:39:36 +02:00
fsm	Fixing old e-mail addresses and deadnames	2021-06-08 00:39:36 +02:00
hierarchy	Use new read_id_num helper function elsewhere in hierarchy.cc	2021-07-20 10:13:15 -04:00
memory	FfData: some refactoring.	2021-10-07 04:24:06 +02:00
opt	FfData: some refactoring.	2021-10-07 04:24:06 +02:00
pmgen	Fixing old e-mail addresses and deadnames	2021-06-08 00:39:36 +02:00
proc	proc_prune: Make assign removal and promotion per-bit, remember promoted bits.	2021-08-14 15:26:11 +02:00
sat	FfData: some refactoring.	2021-10-07 04:24:06 +02:00
techmap	Change implicit conversions from bool to Sig* to explicit.	2021-10-21 20:20:31 +02:00
tests	Fixing old e-mail addresses and deadnames	2021-06-08 00:39:36 +02:00