From 9e36e5d8279241e05fbf4d022b4bff1a92534f8b Mon Sep 17 00:00:00 2001 From: Pavel Panchekha Date: Thu, 29 Jun 2023 20:08:33 -0600 Subject: [PATCH 1/6] Fix logo on timeline page --- src/web/pages.rkt | 2 +- src/web/run.rkt | 2 +- src/web/timeline.rkt | 4 ++-- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/src/web/pages.rkt b/src/web/pages.rkt index 4430fd4b6..6f14c2dfe 100644 --- a/src/web/pages.rkt +++ b/src/web/pages.rkt @@ -35,7 +35,7 @@ ["interactive.js" (make-interactive-js result out ctx)] ["timeline.html" - (make-timeline (test-name test) (job-result-timeline result) out)] + (make-timeline (test-name test) (job-result-timeline result) out #:path "..")] ["timeline.json" (write-json (job-result-timeline result) out)] ["points.json" diff --git a/src/web/run.rkt b/src/web/run.rkt index bb7b3d9d3..aa5ae9e40 100644 --- a/src/web/run.rkt +++ b/src/web/run.rkt @@ -74,7 +74,7 @@ (call-with-output-file (build-path dir "timeline.html") #:exists 'replace - (λ (out) (make-timeline "Herbie run" timeline out #:info info))) + (λ (out) (make-timeline "Herbie run" timeline out #:info info #:path "."))) ; Delete old files (let* ([expected-dirs (map string->path (filter identity (map table-row-link (report-info-tests info))))] diff --git a/src/web/timeline.rkt b/src/web/timeline.rkt index 211050dac..1bbc6fc2f 100644 --- a/src/web/timeline.rkt +++ b/src/web/timeline.rkt @@ -8,7 +8,7 @@ ;; This first part handles timelines for a single Herbie run -(define (make-timeline name timeline out #:info [info #f]) +(define (make-timeline name timeline out #:info [info #f] #:path [path "."]) (fprintf out "\n") (write-xexpr `(html @@ -20,6 +20,7 @@ (body ,(render-menu (~a name) + #:path path (if info `(("Report" . "index.html")) `(("Details" . "graph.html")))) @@ -32,7 +33,6 @@ (-> timeline? xexpr?) (define time (apply + (map (curryr dict-ref 'time) timeline))) `(section ([id "process-info"]) - (h1 "Details") (p ((class "header")) "Time bar (total: " (span ((class "number")) ,(format-time time)) ")") (div ((class "timeline")) From 891a5db6ce394ec5d2a289072d4b71fab816034b Mon Sep 17 00:00:00 2001 From: Pavel Panchekha Date: Thu, 29 Jun 2023 20:08:44 -0600 Subject: [PATCH 2/6] Refactor CSS --- src/web/resources/report.css | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/src/web/resources/report.css b/src/web/resources/report.css index 2898cf7a8..fb4a58771 100644 --- a/src/web/resources/report.css +++ b/src/web/resources/report.css @@ -228,10 +228,8 @@ section { display: flow-root; } /* Process / debug info */ -#process-info { background: #ddd; } +#process-info { background: #ddd; padding: 0; } #process-info p.header { font-size: 110%; padding: 1em 1em .5em; margin: 0; } -#process-info p.header .attachment { float: right; margin: 0 0 0 1em; } -#process-info > p { margin: 1em .75em 0; } .timeline { height: 2em; border: 1px solid #888; border-width: 1px 0px; margin-bottom: 1em; From cdf8f58a3e600e4033f06baa29d2744be164c0c5 Mon Sep 17 00:00:00 2001 From: Pavel Panchekha Date: Thu, 29 Jun 2023 20:14:08 -0600 Subject: [PATCH 3/6] Fix crash on 0 problems --- src/datafile.rkt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/datafile.rkt b/src/datafile.rkt index 59f48faaa..d7a5f438c 100644 --- a/src/datafile.rkt +++ b/src/datafile.rkt @@ -46,7 +46,9 @@ #:unless (null? cost-accuracy)) (match cost-accuracy [(list (list _ initial-accuracy) _ _) initial-accuracy]))]) - (exact->inexact (- 1 (/ initial-accuracies-sum maximum-accuracy))))) + (if (> maximum-accuracy 0) + (exact->inexact (- 1 (/ initial-accuracies-sum maximum-accuracy))) + 1.0))) (define rescaled (for/list ([cost-accuracy (in-list cost-accuracies)] #:unless (null? cost-accuracy)) From c8b8b103d37640e878521baa2567d82ffdd332b9 Mon Sep 17 00:00:00 2001 From: Pavel Panchekha Date: Thu, 29 Jun 2023 20:45:38 -0600 Subject: [PATCH 4/6] Switch to 2.0 as the main version --- src/info.rkt | 2 +- www/doc/latest | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/info.rkt b/src/info.rkt index defafdebc..e3b0606d8 100644 --- a/src/info.rkt +++ b/src/info.rkt @@ -1,7 +1,7 @@ #lang info (define collection "herbie") -(define version "1.6") +(define version "2.0") ;; Packaging information diff --git a/www/doc/latest b/www/doc/latest index dc39e58d9..415b19fc3 120000 --- a/www/doc/latest +++ b/www/doc/latest @@ -1 +1 @@ -1.6 \ No newline at end of file +2.0 \ No newline at end of file From a997e59e7bf372af487eb42381089013c52562b4 Mon Sep 17 00:00:00 2001 From: Pavel Panchekha Date: Thu, 29 Jun 2023 20:52:20 -0600 Subject: [PATCH 5/6] Release 2.0 --- www/index.html | 2 ++ 1 file changed, 2 insertions(+) diff --git a/www/index.html b/www/index.html index 41652750e..246c29101 100644 --- a/www/index.html +++ b/www/index.html @@ -79,6 +79,8 @@

Contribute

Herbie Project News

    +
  1. We are proud to release Herbie 2.0! This release teaches Herbie to optimize for both accuracy and speed, and includes a complete redesign of Herbie's reports and metrics. Try it out!
  2. +
  3. Due to a major unforseen issue with our release infrastructure, we are re-releasing Herbie 1.5. If you previously tried to install it and failed, please try again!
  4. We're pleased to announce the release of Herbie 1.5, with features like argument sorting and multiple outputs. Do try it out!
  5. Brett and Oliver are giving a talk ARITH 2021 on adding precision tuning to Herbie. Tune in or read the paper to learn more!
  6. From f2ddb16042fd36663bb8c18c077bf609bc1b80f2 Mon Sep 17 00:00:00 2001 From: Pavel Panchekha Date: Thu, 29 Jun 2023 22:01:38 -0600 Subject: [PATCH 6/6] Bump version numbers --- egg-herbie/info.rkt | 2 +- src/config.rkt | 2 +- src/info.rkt | 2 +- www/doc/2.0/using-cli.html | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/egg-herbie/info.rkt b/egg-herbie/info.rkt index b4818fe6d..5ed7dfab0 100644 --- a/egg-herbie/info.rkt +++ b/egg-herbie/info.rkt @@ -1,7 +1,7 @@ #lang info (define collection "egg-herbie") -(define version "1.6") +(define version "2.0") (define pkg-desc "Racket bindings for simplifying math expressions using egg") (define pkg-authors diff --git a/src/config.rkt b/src/config.rkt index f373db955..d3ce5b233 100644 --- a/src/config.rkt +++ b/src/config.rkt @@ -121,7 +121,7 @@ (if (equal? out "") default out)) default)) -(define *herbie-version* "1.6") +(define *herbie-version* "2.0") (define *hostname* (run-command "hostname")) diff --git a/src/info.rkt b/src/info.rkt index e3b0606d8..2a3de29a0 100644 --- a/src/info.rkt +++ b/src/info.rkt @@ -28,7 +28,7 @@ "profile-lib" "rackunit-lib" "web-server-lib" - ("egg-herbie" #:version "1.6") + ("egg-herbie" #:version "2.0") ("rival" #:version "1.7") ("fpbench" #:version "2.0.3"))) diff --git a/www/doc/2.0/using-cli.html b/www/doc/2.0/using-cli.html index e1c67d4b0..123144fb3 100644 --- a/www/doc/2.0/using-cli.html +++ b/www/doc/2.0/using-cli.html @@ -72,7 +72,7 @@

    Batch processing FPCores

    1/3 [ 0.882s] 30→ 0 Cancel like terms Warning: 24.7% of points produce a very large (infinite) output. You may want to add a precondition. -See <https://herbie.uwplse.org/doc/1.6/faq.html#inf-points> for more. +See <https://herbie.uwplse.org/doc/2.0/faq.html#inf-points> for more. 2/3 [ 1.721s] 29→ 0 Expanding a square 3/3 [ 2.426s] 0→ 0 Commute and associate