Skip to content

smt: add [smt_inline] operator tag to δ/β-reduce at use sites#1039

Open
strub wants to merge 1 commit into
mainfrom
fix-1033
Open

smt: add [smt_inline] operator tag to δ/β-reduce at use sites#1039
strub wants to merge 1 commit into
mainfrom
fix-1033

smt: add `[smt_inline]` operator tag to δ/β-reduce at use sites

b540e9d
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
build
succeeded Jun 10, 2026 in 3m 54s