0.1.0-alpha.13

Issues

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

  bugdocumentation
  Bug

  openecos-projects/ecc#273 · Filter by author Emin017 opened on Sep 9, 2026 · 0.1.0-alpha.13
  2

• feature: Unify CLI step selectors as stable tokens to reduce trial-and-error cost in Agent-driven exploration

  cleanupenhancement
  openecos-projects/ecc#355 · Filter by author KoEkko opened on Oct 22, 2026 · 0.1.0-alpha.13

• fix(cli): reject sweep names that escape the project

  bug
  Unread
  openecos-projects/ecc#409·Luyoung0001 opened Nov 11, 2026 · Updated Nov 11, 2026

• fix(cli): keep plain records on one line when a value has a newline

  bug
  Unread
  openecos-projects/ecc#408·Luyoung0001 opened Nov 10, 2026 · Updated Nov 11, 2026

• fix(cli): reject unknown parameter names in sweep create

  bug
  Unread
  openecos-projects/ecc#410·Luyoung0001 opened Nov 11, 2026 · Updated Nov 11, 2026

• fix(cli): reject undeclared workspaces in diagnose run

  bug
  Unread
  openecos-projects/ecc#411·Luyoung0001 opened Nov 11, 2026 · Updated Nov 11, 2026