Skip to content

fix: implement value resolution from equality assumptions (#18)#279

Merged
arnog merged 1 commit into
mainfrom
claude/complete-task-18-NewVw
Jan 31, 2026
Merged

fix: implement value resolution from equality assumptions (#18)#279
arnog merged 1 commit into
mainfrom
claude/complete-task-18-NewVw

Commits

Commits on Jan 31, 2026