Skip to content

VC Simplification Refactoring#260

Merged
rcosta358 merged 57 commits into
mainfrom
vc-simplification-refactor
Jun 21, 2026
Merged

VC Simplification Refactoring#260
rcosta358 merged 57 commits into
mainfrom
vc-simplification-refactor

Conversation

@rcosta358

Copy link
Copy Markdown
Collaborator

Description

This PR refactors the code by moving repeated methods across vc simplification classes into VCSimplificationUtils.

Type of change

  • Bug fix
  • New feature
  • Documentation update
  • Code refactoring

Checklist

  • Added/updated tests
  • mvn test passes locally
  • Updated docs/README if behavior or API changed

@rcosta358 rcosta358 self-assigned this Jun 17, 2026
@rcosta358 rcosta358 added the simplification Related to the simplification of expressions label Jun 17, 2026

@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.

lgtm

@rcosta358 rcosta358 changed the base branch from fix-vc-substitution to main June 21, 2026 21:36
@rcosta358 rcosta358 merged commit 3b957de 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