0.1.0-alpha.13

List view

bug: Synthesis LEC fails with unproven $equiv cells on equivalent netlists (v0.1.0-alpha.12)

bugSomething isn't workingSomething isn't working

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

Bug

#273 In openecos-projects/ecc;

· Emin017 opened on Sep 9, 2026

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

bugSomething isn't workingSomething isn't working

Status: Open (in progress).

openecos-projects/eccnumber 274

#274 In openecos-projects/ecc;

· Emin017 opened on Sep 9, 2026

fix(cli): correctly resume existing runs through rerun

bugSomething isn't workingSomething isn't working

Status: Open (in progress).

openecos-projects/eccnumber 278

#278 In openecos-projects/ecc;

· Ayoubbelguellaoui opened on Sep 11, 2026