Code

Automated Resyntax fixes#1151

Code

Closed

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

+17-19

Commits

Commits on Feb 16, 2025

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

  Show description for 17a41d2
  resyntax-ci[bot]

  committed
  17a41d2

  Copy full SHA for 17a41d2

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

  Show description for 9d8bb4d
  resyntax-ci[bot]

  committed
  9d8bb4d

  Copy full SHA for 9d8bb4d

• Fix 2 occurrences of let-to-define

  Show description for e572b3f
  resyntax-ci[bot]

  committed
  e572b3f

  Copy full SHA for e572b3f

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

  Show description for ca07c01
  resyntax-ci[bot]

  committed
  ca07c01

  Copy full SHA for ca07c01

• Fix 1 occurrence of inverted-when

  Show description for 21b0900
  resyntax-ci[bot]

  committed
  21b0900

  Copy full SHA for 21b0900