Code

Minor fixes for 2.0#629

Code

Merged

pavpanchekha merged 7 commits intomainherbie-fp/herbie:mainfrom minor-2.0herbie-fp/herbie:minor-2.0Copy head branch name to clipboardJun 30, 2023

+16-14

Commits

Commits on Jun 30, 2023

• Fix logo on timeline page

  pavpanchekha

  committed
  9e36e5d

• Refactor CSS

  pavpanchekha

  committed
  891a5db

• Fix crash on 0 problems

  pavpanchekha

  committed
  cdf8f58

• Switch to 2.0 as the main version

  pavpanchekha

  committed
  c8b8b10

• Merge branch 'main' into minor-2.0

  pavpanchekha

  committed
  1d68030

• Release 2.0

  pavpanchekha

  committed
  a997e59

• Bump version numbers

  pavpanchekha

  committed
  f2ddb16