Skip to content

fix(lec): keep public wire names for equiv_make cut-points - #274

Open
Emin017 wants to merge 4 commits into
mainfrom
emin/fix-lec-keep-publich-wire
Open

fix(lec): keep public wire names for equiv_make cut-points#274
Emin017 wants to merge 4 commits into
mainfrom
emin/fix-lec-keep-publich-wire

feat(lec): record FF cut-point contract in synthesis, replay in LEC

d6f8ca6
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar