Skip to content

Simplification Migration#261

Merged
rcosta358 merged 60 commits into
mainfrom
simplification-migration
Jun 21, 2026
Merged

Simplification Migration#261
rcosta358 merged 60 commits into
mainfrom
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

@CatarinaGamboa CatarinaGamboa left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

nicee

@rcosta358 rcosta358 changed the base branch from vc-simplification-refactor to main June 21, 2026 21:40
@rcosta358 rcosta358 merged commit e78891c into main Jun 21, 2026
1 check passed
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.

3 participants