Skip to content

impure spec elab should also use phase1 matcher#501

Merged
nikswamy merged 1 commit intomainfrom
_nik_impure_spec_phase1_teq
Oct 31, 2025
Merged

impure spec elab should also use phase1 matcher#501
nikswamy merged 1 commit intomainfrom
_nik_impure_spec_phase1_teq

Commits

Commits on Oct 31, 2025