Skip to content

LLBC: name inherent methods instead of aborting, and deduplicate the name builders - #4882

Merged
tautschnig merged 3 commits into
model-checking:mainfrom
feliperodri:llbc-names-refactor
Sep 29, 2026
Merged

tautschnig merged 3 commits into
model-checking:mainfrom
feliperodri:llbc-names-refactor

LLBC: don't pin the `@FunN` id in the inherent_core expectation

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

Annotations

1 warning and 1 notice
Auto Label
succeeded Sep 29, 2026 in 8s