Repository navigation

Simplification Fixes - #125

Merged

rcosta358 merged 15 commits into

mainfrom

simplification-fixes

Dec 10, 2025

Merged

Simplification Fixes#125
rcosta358 merged 15 commits into
mainfrom
simplification-fixes

Commits on Nov 21, 2025
- Use DerivationNodes in Expected of Refinement Error
  rcosta358
  committed
  9761ced
- Simplify Until Fixed Point
  rcosta358
  committed
  921136a
- Fix `VariableResolver`
  rcosta358
  committed
  cbb80d5
- Fix Expression Mutation in `ConstantPropagation`
  rcosta358
  committed
  990ddeb
- Remove Oversimplification Check
  rcosta358
  committed
  0ab2f69
Commits on Nov 23, 2025
- Fix Variable Resolution & Expression Simplification
  rcosta358
  committed
  edc6220
- Cleanup Tests
  rcosta358
  committed
  cba9719
- Fix Losing Previous Simplification Nodes on Multiple Passes
  rcosta358
  committed
  b592ef5
- Code Refactoring
  rcosta358
  committed
  3f38abc
- Cleanup
  rcosta358
  committed
  79ca87d
- Simplify Symmetric Equalities
  rcosta358
  committed
  8db7a47
Commits on Nov 29, 2025
- Fix Derivation Across Multiple Passes
  rcosta358
  committed
  176f866
- Formatting
  rcosta358
  committed
  53a0534
Commits on Dec 4, 2025
- Merge branch 'main' into simplification-fixes
  rcosta358
  authored
  4bcc2cf
- Fix Merge
  rcosta358
  committed
  50cf074