Skip to content

fix(r13): make the value evaluator three-valued (R13 slice 2; P48, P50) - #84

Merged
TimelordUK merged 3 commits into
mainfrom
refactor/r13-slice2-three-valued-value-evaluator
Sep 13, 2026
Merged

fix(r13): make the value evaluator three-valued (R13 slice 2; P48, P50)#84
TimelordUK merged 3 commits into
mainfrom
refactor/r13-slice2-three-valued-value-evaluator

docs(parity): close P48 and P50; record R13 slice 2

6880e24
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar