Jannis Harder d8cdc213a6 rename -witness: Bug fix and rename formal cells ... Rename formal cells in addition to witness signals. This is required to reliably track individual property states for the non-smtbmc flows. Also removes a misplced `break` which resulted in only partial witness renaming.		2024-03-04 16:53:03 +01:00
..
add.cc	Fixing old e-mail addresses and deadnames	2021-06-08 00:39:36 +02:00
autoname.cc	Speed up the autoname pass by 3x. (#3945)	2023-09-21 09:46:49 +00:00
blackbox.cc	Fixing old e-mail addresses and deadnames	2021-06-08 00:39:36 +02:00
bugpoint.cc	Fixes for some of clang scan-build detected issues	2023-01-17 12:58:08 +01:00
check.cc	check: Also check for conflicts with constant drivers	2023-06-23 18:07:28 +02:00
chformal.cc	chformal: Support $check cells and add chformal -lower	2024-02-01 20:10:39 +01:00
chtype.cc	Fixing old e-mail addresses and deadnames	2021-06-08 00:39:36 +02:00
clean_zerowidth.cc	Add $bmux and $demux cells.	2022-01-28 23:34:41 +01:00
connect.cc	connect: Do interpret selection arguments	2024-02-01 10:28:36 +01:00
connwrappers.cc	Fixing old e-mail addresses and deadnames	2021-06-08 00:39:36 +02:00
copy.cc	Fixing old e-mail addresses and deadnames	2021-06-08 00:39:36 +02:00
cover.cc	Fixing old e-mail addresses and deadnames	2021-06-08 00:39:36 +02:00
delete.cc	rtlil: Make Process handling more uniform with Cell and Wire.	2021-07-12 00:47:34 +02:00
design.cc	Fixes for some of clang scan-build detected issues	2023-01-17 12:58:08 +01:00
dft_tag.cc	dft_tag: Fix size extending $x[n]or and $reduce_{or,bool}/$logic_not	2023-09-28 17:33:55 +02:00
edgetypes.cc	Fixing old e-mail addresses and deadnames	2021-06-08 00:39:36 +02:00
exec.cc	Deprecate gcc-4.8	2023-01-11 09:54:19 +01:00
future.cc	Add future pass to resolve $future_ff cells	2023-09-13 11:32:36 +02:00
glift.cc	Fix translation bug: The old code really checks for the presense of a node, not an edge in glift and flatten.	2023-10-05 17:01:42 -07:00
logcmd.cc	Fitting help messages to 80 character width	2022-08-24 10:40:57 +12:00
logger.cc	Deprecate gcc-4.8	2023-01-11 09:54:19 +01:00
ltp.cc	Fixing old e-mail addresses and deadnames	2021-06-08 00:39:36 +02:00
Makefile.inc	Add future pass to resolve $future_ff cells	2023-09-13 11:32:36 +02:00
plugin.cc	Add API to overwrite existing pass from plugin	2024-01-30 17:51:11 +01:00
portlist.cc	Fixing old e-mail addresses and deadnames	2021-06-08 00:39:36 +02:00
printattrs.cc	Use C++11 final/override keywords.	2020-06-18 23:34:52 +00:00
qwp.cc	Fixing old e-mail addresses and deadnames	2021-06-08 00:39:36 +02:00
rename.cc	rename -witness: Bug fix and rename formal cells	2024-03-04 16:53:03 +01:00
scatter.cc	Fixing old e-mail addresses and deadnames	2021-06-08 00:39:36 +02:00
scc.cc	scc: Use hashlib instead of STL for deterministic behaviour	2023-10-07 10:43:00 +02:00
scratchpad.cc	Fitting help messages to 80 character width	2022-08-24 10:40:57 +12:00
select.cc	Rst docs conversion (#3496)	2022-11-15 12:55:22 +01:00
setattr.cc	Fixing old e-mail addresses and deadnames	2021-06-08 00:39:36 +02:00
setundef.cc	xprop, setundef: Mark xprop decoding bwmuxes, exclude them from setundef	2023-01-11 18:07:16 +01:00
show.cc	show: Add option to add cell/wire "src" attribute into graphviz attribute href	2024-02-14 09:50:53 +01:00
splice.cc	Fixing old e-mail addresses and deadnames	2021-06-08 00:39:36 +02:00
splitcells.cc	Improve splitcells pass	2023-01-18 00:31:29 +01:00
splitnets.cc	Fixing old e-mail addresses and deadnames	2021-06-08 00:39:36 +02:00
sta.cc	sta: warn on unrecognised cells only once	2022-06-08 09:31:49 +01:00
stat.cc	Update passes/cmds/stat.cc	2024-02-16 07:44:09 -08:00
tee.cc	tee: Allow logging command output to a given scratchpad value	2022-12-02 14:36:19 +01:00
torder.cc	Add v2 memory cells.	2021-08-11 13:34:10 +02:00
trace.cc	Fixing old e-mail addresses and deadnames	2021-06-08 00:39:36 +02:00
viz.cc	Improvements in "viz" pass	2022-12-09 18:28:17 +01:00
write_file.cc	Fixing old e-mail addresses and deadnames	2021-06-08 00:39:36 +02:00
xprop.cc	xprop: Fix polarity errors and generate hdlnames	2023-09-06 19:25:47 +02:00