Code

Small simplifier improvements#863

Code

Open

marcoeilers wants to merge 1 commit intomasterviperproject/silver:masterfrom meilers_simplifier_improvementsviperproject/silver:meilers_simplifier_improvementsCopy head branch name to clipboard

Commits

Commits on Apr 4, 2025

• Added utility method to conservatively check for expression well-definedness, added a couple of cases to simplifier

  marcoeilers

  committed
  f6cf4ed

  Copy full SHA for f6cf4ed