Code

Switch formal proof to use miter/sat#4

Code

Merged

akashlevy merged 1 commit intoakashlevy:new_peepoptsakashlevy/yosys:new_peepoptsfrom alainmarcel:new_peepoptsalainmarcel/yosys_akash:new_peepoptsCopy head branch name to clipboardDec 18, 2024

+52-14

Commits

Commits on Dec 18, 2024

• Switch formal proof to use miter/sat

  

  Alain Dargelas

  committed
  ff5237f