Skip to content

Actions: google-research/dex-lang

Continuous benchmarking

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
25 workflow runs
25 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix reporting of parse errors in notebook
Continuous benchmarking #322: Commit 25e2e38 pushed by dougalm
April 1, 2024 13:22 39m 1s main
April 1, 2024 13:22 39m 1s
Unbreak some examples
Continuous benchmarking #321: Commit 87f7b71 pushed by dougalm
January 9, 2024 04:04 37m 15s main
January 9, 2024 04:04 37m 15s
Trying to fix gh-pages url path issues
Continuous benchmarking #320: Commit 986c44a pushed by dougalm
January 8, 2024 19:24 37m 18s main
January 8, 2024 19:24 37m 18s
Fix discrepancy between dynamic and static versions of notebook.
Continuous benchmarking #319: Commit bf4ccc4 pushed by dougalm
January 8, 2024 18:11 38m 25s main
January 8, 2024 18:11 38m 25s
Switch to typescript. Much more civilized.
Continuous benchmarking #318: Commit 5b2df9b pushed by dougalm
December 9, 2023 19:14 37m 36s main
December 9, 2023 19:14 37m 36s
Update comment syntax in examples
Continuous benchmarking #317: Commit e171f3d pushed by dougalm
December 7, 2023 02:51 38m 20s main
December 7, 2023 02:51 38m 20s
Merge branch 'dev-2023'
Continuous benchmarking #316: Commit d750217 pushed by dougalm
December 6, 2023 20:21 37m 38s main
December 6, 2023 20:21 37m 38s
Merge pull request #1341 from axch/work-stealing-4
Continuous benchmarking #315: Commit 438d957 pushed by axch
November 20, 2023 22:03 48m 12s main
November 20, 2023 22:03 48m 12s
Merge pull request #1340 from axch/work-stealing-3
Continuous benchmarking #314: Commit 7996c76 pushed by axch
November 20, 2023 13:33 47m 52s main
November 20, 2023 13:33 47m 52s
Merge pull request #1339 from axch/work-stealing-2
Continuous benchmarking #313: Commit 941d7f8 pushed by axch
November 17, 2023 20:34 48m 34s main
November 17, 2023 20:34 48m 34s
Merge pull request #1336 from vilchy/fix-complex-sqrt
Continuous benchmarking #312: Commit be6befd pushed by axch
November 14, 2023 12:02 1h 6m 19s main
November 14, 2023 12:02 1h 6m 19s
Merge pull request #1334 from google-research/primitive-name-map-e
Continuous benchmarking #311: Commit 3cbde4c pushed by axch
August 1, 2023 18:47 1h 4m 15s main
August 1, 2023 18:47 1h 4m 15s
Add some more parser combinators and a split function.
Continuous benchmarking #310: Commit c7373b2 pushed by axch
July 18, 2023 21:17 48m 27s main
July 18, 2023 21:17 48m 27s
Replace DynBuffer with stack throughout prelude, and delete DynBuffer.
Continuous benchmarking #309: Commit 568e937 pushed by axch
July 18, 2023 21:16 58m 14s main
July 18, 2023 21:16 58m 14s
Better names for combinators that manipulate the state of OCCM actions.
Continuous benchmarking #308: Commit c9ab62c pushed by axch
July 15, 2023 01:17 48m 9s main
July 15, 2023 01:17 48m 9s
Add the BFGS example to our performance benchmarks.
Continuous benchmarking #307: Commit 0873300 pushed by axch
July 14, 2023 02:05 50m 56s main
July 14, 2023 02:05 50m 56s
Extend the BFGS example to test the larger logistic regression loss.
Continuous benchmarking #306: Commit 65dce60 pushed by axch
July 13, 2023 19:35 46m 55s main
July 13, 2023 19:35 46m 55s
Update SCC annotations so that compiler profiling reports costs by pa…
Continuous benchmarking #305: Commit 808f6e9 pushed by axch
July 11, 2023 19:30 43m 21s main
July 11, 2023 19:30 43m 21s
Merge pull request #1316 from axch/vectorize-user-index-sets
Continuous benchmarking #304: Commit 4c47ab0 pushed by axch
July 7, 2023 13:02 43m 13s main
July 7, 2023 13:02 43m 13s
Merge pull request #1322 from google-research/type-checking-refactor
Continuous benchmarking #303: Commit 3fbcc02 pushed by dougalm
July 7, 2023 12:51 42m 16s main
July 7, 2023 12:51 42m 16s
Make new stack size arithmetic match the old one exactly.
Continuous benchmarking #302: Commit 2580bc9 pushed by axch
July 5, 2023 19:09 42m 50s main
July 5, 2023 19:09 42m 50s
Tweak loop order and indexing syntax to get the vectorizer to succeed…
Continuous benchmarking #301: Commit 82e6de6 pushed by axch
June 30, 2023 17:45 49m 7s main
June 30, 2023 17:45 49m 7s
Merge pull request #1319 from google-research/preserve-decl-freshness
Continuous benchmarking #300: Commit 69b5857 pushed by dougalm
June 28, 2023 16:41 40m 22s main
June 28, 2023 16:41 40m 22s
Merge pull request #1318 from google-research/delivering-even-more-decls
Continuous benchmarking #299: Commit 360cd31 pushed by dougalm
June 28, 2023 13:25 41m 49s main
June 28, 2023 13:25 41m 49s
Merge pull request #1317 from google-research/delivering-the-decls
Continuous benchmarking #298: Commit cfab914 pushed by dougalm
June 27, 2023 17:18 55m 43s main
June 27, 2023 17:18 55m 43s