Skip to content

gia: skip the mapped network when only the CNF is wanted (pinned line) - #18

Merged
TrevorHansen merged 2 commits into
pin-two-commitsfrom
mf-cnf-only-pin
Oct 4, 2026
Merged

gia: skip the mapped network when only the CNF is wanted (pinned line)#18
TrevorHansen merged 2 commits into
pin-two-commitsfrom
mf-cnf-only-pin

gia: state that fCnfOnly needs fGenCnf

a2ca393
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error
Job log options

This job was cancelled