Code

Automated Resyntax fixes#1150

Code

Closed

resyntax-ci[bot] wants to merge 5 commits intomainherbie-fp/herbie:mainfrom autofix-15-1herbie-fp/herbie:autofix-15-1Copy head branch name to clipboard

+16-18

Commits

Commits on Feb 9, 2025

• Fix 5 occurrences of zero-comparison-to-positive?

  Show description for 43db106
  resyntax-ci[bot]

  committed
  43db106

  Copy full SHA for 43db106

• Fix 1 occurrence of apply-append-for-loop-to-for-loop

  Show description for 18e3f9a
  resyntax-ci[bot]

  committed
  18e3f9a

  Copy full SHA for 18e3f9a

• Fix 1 occurrence of let-to-define

  Show description for 22adb55
  resyntax-ci[bot]

  committed
  22adb55

  Copy full SHA for 22adb55

• Fix 1 occurrence of if-else-false-to-and

  Show description for e577052
  resyntax-ci[bot]

  committed
  e577052

  Copy full SHA for e577052

• Fix 1 occurrence of inverted-when

  Show description for 25c786e
  resyntax-ci[bot]

  committed
  25c786e

  Copy full SHA for 25c786e