os-specific default platform

Author: AYadrov

.github/workflows/distribute.yml

@@ -60,13 +60,13 @@ jobs:
       # Test executable
       - name: "Test executable, improve tool (Windows)"
         if: runner.os == 'Windows'
-        run: herbie-compiled/herbie.exe improve --platform c-windows --threads yes bench/tutorial.fpcore improve.fpcore
+        run: herbie-compiled/herbie.exe improve --threads yes bench/tutorial.fpcore improve.fpcore
       - name: "Test executable, improve tool (Linux / MacOS)"
         if: runner.os != 'Windows'
         run: herbie-compiled/bin/herbie improve --threads yes bench/tutorial.fpcore improve.fpcore
       - name: "Test executable, report tool (Windows)"
         if: runner.os == 'Windows'
-        run: herbie-compiled/herbie.exe report --platform c-windows --threads yes bench/tutorial.fpcore graphs
+        run: herbie-compiled/herbie.exe report --threads yes bench/tutorial.fpcore graphs
       - name: "Test executable, report tool (Linux / MacOS)"
         if: runner.os != 'Windows'
         run: herbie-compiled/bin/herbie report --threads yes bench/tutorial.fpcore graphs

src/config.rkt

@@ -161,7 +161,7 @@
 (define *default-precision* (make-parameter 'binary64))
 
 ;; The platform that Herbie will evaluate with.
-(define *platform-name* (make-parameter "c"))
+(define *platform-name* (make-parameter (if (equal? (system-type 'os) 'windows) "c-windows" "c")))
 
 ;; Plugins loaded locally rather than through Racket.
 (define *loose-plugins* (make-parameter '()))