Skip to content

better error reporting when $past is unsupported#689

Merged
tautschnig merged 1 commit intomainfrom
aig-past
Sep 12, 2024
Merged

better error reporting when $past is unsupported#689
tautschnig merged 1 commit intomainfrom
aig-past

Commits

Commits on Sep 11, 2024