Abort when Kore's simplifier throws `DecidePredicateUnknown`#392

Merged

rv-jenkins merged 12 commits intomainfrom georgy/branch-on-unknown

Dec 8, 2023

+12-4

Commits on Nov 23, 2023

Commits on Nov 28, 2023

Merge remote-tracking branch 'origin/main' into georgy/branch-on-unknown
geo2a
committed
Merge remote-tracking branch 'origin/main' into georgy/branch-on-unknown
geo2a
committed
Return Aborted after catching DecidePredicateUnknown
geo2a
committed

Commits on Nov 29, 2023

Update HB
geo2a
committed

Commits on Nov 30, 2023

Merge remote-tracking branch 'origin/main' into georgy/branch-on-unknown
geo2a
committed

Commits on Dec 7, 2023

Merge remote-tracking branch 'origin/main' into georgy/branch-on-unknown
geo2a
committed

Commits on Dec 8, 2023

Update tools/booster/Proxy.hs

geo2a
and
goodlyrottenapple
authored
Format with fourmolu
github-actions
committed
Merge branch 'main' into georgy/branch-on-unknown
rv-jenkins
authored