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