Skip to content

Branches

BranchUpdatedCheck status
BehindAhead
Pull requestAction menu
prioritize-ite-folding
rcosta358 Jun 24, 2026
fix-vc-function-substitution
rcosta358 Jun 24, 2026
vc-simplification-debug
rcosta358 Jun 24, 2026
track-simplification-passes
rcosta358 Jun 23, 2026
vc-constraint-elimination
rcosta358 Jun 22, 2026
remove-group-expression
rcosta358 Jun 21, 2026
new-origins-approach
rcosta358 Jun 21, 2026
simplification-migration
rcosta358 Jun 21, 2026
vc-simplification-refactor
rcosta358 Jun 21, 2026
vc-function-substitution
rcosta358 Jun 21, 2026
fix-vc-substitution
rcosta358 Jun 21, 2026
null-origins
rcosta358 Jun 21, 2026
vc-binder-simplification
rcosta358 Jun 21, 2026
vc-simplification-refactoring
rcosta358 Jun 21, 2026
vc-logical
rcosta358 Jun 21, 2026
vc-arithmetic
rcosta358 Jun 21, 2026
soundness-hole-fixes
GUIpsp Jun 15, 2026
vc-folding
rcosta358 Jun 14, 2026
worktree-issue-240
CatarinaGamboa Jun 13, 2026
if-read-variable
CatarinaGamboa Jun 13, 2026