Add VulReasoner interval parity workflow - #87

Draft

StarGazerM wants to merge 8 commits into

mainfrom

pyreason-parity

Commits on Jun 10, 2026

Add PyReason minimal_example parity notebook

StarGazerM
and
claude
committed
3d210c7
add example
StarGazerM
committed
f3db22e

Commits on Jun 14, 2026

Preserve negation const args in MIR printer
StarGazerM
committed
eeea8e3

Commits on Jul 13, 2026

stage
StarGazerM
committed
bbe993f

Commits on Jul 16, 2026

Merge branch 'main' into pyreason-parity
StarGazerM
committed
fd1ed8c

Commits on Jul 17, 2026

Add VulReasoner interval parity workflow
StarGazerM
committed
653867c
Manage VulReasoner dependencies with uv
StarGazerM
committed
36d33b8
Fix strict mypy checks for IR dialects
StarGazerM
committed
a5ccfda