Skip to content

Simplification Migration#261

Open
rcosta358 wants to merge 3 commits into
vc-simplification-refactorfrom
simplification-migration
Open

Simplification Migration#261
rcosta358 wants to merge 3 commits into
vc-simplification-refactorfrom
simplification-migration

Conversation

@rcosta358

Copy link
Copy Markdown
Collaborator

This PR migrates the old expression-based simplification to the new VC-based simplification.

@rcosta358 rcosta358 self-assigned this Jun 17, 2026
@rcosta358 rcosta358 added the simplification Related to the simplification of expressions label Jun 17, 2026
@rcosta358 rcosta358 force-pushed the simplification-migration branch from 88be104 to 8932b49 Compare June 18, 2026 10:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

simplification Related to the simplification of expressions

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant