Code

Fix indirect comparisons#489

Code

Draft

jbcoe wants to merge 1 commit intodev-jbcoe-no-deferred-requirementsjbcoe/value_types:dev-jbcoe-no-deferred-requirementsfrom dev-jbcoe-indirect-comparison-fixesjbcoe/value_types:dev-jbcoe-indirect-comparison-fixesCopy head branch name to clipboard

+11-17

Commits

Commits on Jan 2, 2025

• Use synth-three-way-result and remove constraints on comparisons

  jbcoe

  committed
  1772e25