Merge pull request #317 from uwplse/release-1.4

Release Herbie 1.4

Author: pavpanchekha

.github/workflows/hamming.yml

@@ -1,9 +1,13 @@
-name: Unit Tests
+name: Unit, Integration, and Plugin tests
 
 on: [push]
 
+env:
+  RUST_BACKTRACE: full
+
 jobs:
-  build:
+  unit-tests:
+    name: "Unit Tests"
     runs-on: ubuntu-latest
     steps:
       - name: "Install Packages"
@@ -14,3 +18,64 @@ jobs:
       - name: "Install dependencies"
         run: raco pkg install --name herbie --no-cache --auto src/
       - run: raco test src/ infra/
+
+  hamming:
+    name: "Integration tests (Hamming)"
+    runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        racket-version: [ '7.5', '7.6', '7.7' ]
+        precision: [ 'binary32', 'binary64' ]
+    steps:
+      - name: "Install Packages"
+        run: sudo apt-get install -y libmpfr6 libmpfr-dev
+      - name: "Install Racket"
+        uses: Bogdanp/[email protected]
+        with:
+          version: ${{ matrix.racket-version }}
+      - uses: actions/checkout@master
+      - name: "Install dependencies"
+        run: raco pkg install --name herbie --no-cache --auto src/
+      - run: racket infra/travis.rkt --precision ${{ matrix.precision }} --seed 0 bench/hamming/
+
+  softposit:
+    name: "Plugin tests (Posits)"
+    runs-on: ubuntu-latest
+    needs: [ 'hamming' ]
+    steps:
+      - name: "Install Packages"
+        run: sudo apt-get install -y libmpfr6 libmpfr-dev
+      - name: "Install Racket"
+        uses: Bogdanp/[email protected]
+      - uses: actions/checkout@master
+      - name: "Install dependencies"
+        run: raco pkg install --name herbie --no-cache --auto src/
+      - name: "Check out softposit-herbie master"
+        uses: actions/checkout@master
+        with:
+          repository: herbie-fp/softposit-herbie
+          path: plugin
+      - name: "Install SoftPosit support"
+        run: raco pkg install --no-cache --auto --name softposit-herbie plugin/
+      - run: racket infra/travis.rkt --precision posit16 --seed 0 plugin/bench/posits.fpcore
+
+  complex:
+    name: "Plugin tests (Complex)"
+    runs-on: ubuntu-latest
+    needs: [ 'hamming' ]
+    steps:
+      - name: "Install Packages"
+        run: sudo apt-get install -y libmpfr6 libmpfr-dev
+      - name: "Install Racket"
+        uses: Bogdanp/[email protected]
+      - uses: actions/checkout@master
+      - name: "Install dependencies"
+        run: raco pkg install --name herbie --no-cache --auto src/
+      - name: "Check out complex-herbie master"
+        uses: actions/checkout@master
+        with:
+          repository: herbie-fp/complex-herbie
+          path: plugin
+      - name: "Install Complex support"
+        run: raco pkg install --no-cache --auto --name complex-herbie plugin/
+      - run: racket infra/travis.rkt --seed 0 plugin/test.fpcore

.github/workflows/tests.yml

@@ -1,9 +1,7 @@
 #lang racket
 
-(require racket/date racket/cmdline)
 (require "../src/common.rkt" "../src/points.rkt" "../src/plugin.rkt")
-(require "../src/alternative.rkt" "../src/sandbox.rkt")
-(require "../src/syntax/read.rkt" "../src/datafile.rkt")
+(require "../src/alternative.rkt" "../src/sandbox.rkt" "../src/syntax/read.rkt")
 
 ;; Load all the plugins
 (load-herbie-plugins)

.github/workflows/trigger-posits.yml

@@ -81,7 +81,7 @@
           (if (equal? out "") default out))
       default))
 
-(define *herbie-version* "1.3")
+(define *herbie-version* "1.4")
 
 (define *hostname* (run-command "hostname"))
 

infra/travis.rkt

@@ -2,7 +2,7 @@
 
 (require racket/hash)
 (require "../common.rkt" "../alternative.rkt" "../points.rkt"
-         "../interface.rkt" "../timeline.rkt" "../programs.rkt")
+         "../timeline.rkt" "../programs.rkt")
 
 (provide
  (contract-out

src/config.rkt

@@ -18,7 +18,7 @@
 
 (require racket/match)
 (require "../common.rkt" "../programs.rkt" "../alternative.rkt" "../points.rkt"
-         "../float.rkt" "../interface.rkt")
+         "../interface.rkt")
 
 (struct annotation (expr loc type coeffs) #:transparent)
 (struct lp (loc periods) #:prefab)

src/core/alt-table.rkt

@@ -12,10 +12,6 @@
 (define fn-inverses
   (map rule-input (filter (λ (rule) (variable? (rule-output rule))) (*rules*))))
 
-(define (eval-const-expr expr)
-  ;; When we are in nonffi mode, we don't use repr, so pass in #f
-  ((eval-prog `(λ () ,expr) 'nonffi #f)))
-
 (define (simplify expr*)
   (define expr ((get-evaluator) expr*))
   (match expr

src/core/periodicity.rkt

@@ -48,7 +48,7 @@
       simplify-batch-egg]
      [else
       (warn 'simplify #:url "faq.html#egg-herbie"
-            "Falling back on racket egraph because egg-herbie package not installed")
+            "Falling back on regraph because egg-herbie package not installed")
       simplify-batch-regraph]))
 
   (debug #:from 'simplify "Simplifying using " driver ":\n  " (string-join (map ~a exprs) "\n  "))

src/core/reduce.rkt

@@ -1,7 +1,7 @@
 #lang racket
 
 (require racket/date json)
-(require "common.rkt" "float.rkt")
+(require "common.rkt")
 
 (provide
  (struct-out table-row) (struct-out report-info)