Skip to content

boolbv_index: handle incomplete extern array types in symbol registration#9055

Open
tautschnig wants to merge 2 commits into
diffblue:developfrom
tautschnig:extract/boolbv-index-incomplete-extern-array
Open

boolbv_index: handle incomplete extern array types in symbol registration#9055
tautschnig wants to merge 2 commits into
diffblue:developfrom
tautschnig:extract/boolbv-index-incomplete-extern-array

smt2_incremental: declare each SSA symbol at most once

232ff03
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-ubuntu-24_04-make-gcc
succeeded Jun 19, 2026 in 32m 46s