Merge pull request #390 from uwplse/release-1.5

Re-release 1.5

Author: pavpanchekha

.dockerignore

@@ -1,7 +1,6 @@
 .git
-graphs
-ml-toy
+.github
+.gitignore
+reports
 papers
-herbie/compile/tc*
-herbie/compile/nr*
-rebuild-paper.sh
+egg-herbie/target

.github/workflows/release.yml

@@ -0,0 +1,76 @@
+name: Build new Herbie release
+
+on:
+  push:
+    tags:
+    - 'v*'
+
+jobs:
+  job1:
+    name: Create Initial Release
+    runs-on: ubuntu-latest
+    outputs: 
+      upload_url: ${{ steps.create_release.outputs.upload_url }} 
+    
+    steps:
+      - name: Create Release
+        id: create_release
+        uses: actions/create-release@v1
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+        with:
+          tag_name: ${{ github.ref }}
+          release_name: ${{ github.ref }}
+          draft: true
+          prerelease: false
+
+  job2:
+    name: Build
+    needs: job1
+    strategy:
+      matrix:
+        os:
+          - windows
+          - ubuntu
+          - macOS
+    runs-on: ${{ matrix.os }}-latest
+    steps:
+      - uses: actions/checkout@v2
+
+      - name: Install Racket
+        uses: Bogdanp/[email protected]
+        with:
+          version: stable
+
+      - name: Install Rust compiler
+        uses: actions-rs/toolchain@v1
+        with:
+            toolchain: stable
+            default: true
+            override: true
+            
+      - name: build egg-herbie
+        run: cargo build --release --manifest-path=egg-herbie/Cargo.toml
+      
+      - name: Create tarball
+        run: raco pkg create --format zip egg-herbie
+
+      - name: Upload pre-build egg-herbie
+        uses: actions/upload-release-asset@v1
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+        with:
+          upload_url: ${{ needs.job1.outputs.upload_url }}
+          asset_path: egg-herbie.zip
+          asset_name: egg-herbie-${{ matrix.os }}.zip
+          asset_content_type: application/zip
+
+      - name: Upload pre-build egg-herbie checksum
+        uses: actions/upload-release-asset@v1
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+        with:
+          upload_url: ${{ needs.job1.outputs.upload_url }}
+          asset_path: egg-herbie.zip.CHECKSUM
+          asset_name: egg-herbie-${{ matrix.os }}.zip.CHECKSUM
+          asset_content_type: application/zip

src/info.rkt

@@ -29,7 +29,7 @@
     "profile-lib"
     "rackunit-lib"
     "web-server-lib"
-    ("egg-herbie" #:version "1.5")
+    ("egg-herbie" #:version "1.4")
     ("regraph" #:version "1.4")
     ("rival" #:version "1.4")
     ("fpbench" #:version "2.0.1")))

www/doc/1.5/faq.html

@@ -25,6 +25,14 @@ <h2>Common errors</h2>
     information and debugging tips.
   </p>
 
+  <h3 id="hangs">Herbie hangs forever</h3>
+
+  <p>
+    Herbie 1.5 on Racket 8.0 through 8.2 sometimes hangs due to a bugs
+    in both Herbie and Racket. Please reinstall Herbie 1.5; we
+    re-released it with a fix for this bug.
+  </p>
+
   <h3 id="invalid-syntax">Invalid syntax</h3>
 
   <p>

www/doc/1.5/installing.html

@@ -69,7 +69,7 @@ <h2>Installing Herbie from source</h2>
   <p>
     Install Rust, using <a href="https://rustup.rs/">rustup</a> or via
     some other means. Also install Racket, version 7.0 or later, either using
-    the <a href="http://download.racket-lang.org/racket-v7.7.html">official
+    the <a href="http://download.racket-lang.org/racket-v8.1.html">official
       installer</a> or distro-provided packages.
     </p>
 
@@ -98,9 +98,9 @@ <h2>Installing Herbie from source</h2>
   </p>
 
   <ul>
-    <li>On Windows, <code>AppData\Roaming\Racket\7.7\bin</code> in your user folder.</li>
-    <li>On macOS, <code>Library/Racket/7.7/bin</code> in your user folder.</li>
-    <li>On Linux, <code>.racket/7.7/bin</code> in your home directory.</li>
+    <li>On Windows, <code>AppData\Roaming\Racket\8.1\bin</code> in your user folder.</li>
+    <li>On macOS, <code>Library/Racket/8.1/bin</code> in your home folder.</li>
+    <li>On Linux, <code>.racket/8.1/bin</code> in your home directory.</li>
   </ul>
 
   <p>