Skip to content

Actions: google-research/dex-lang

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
491 workflow runs
491 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove one-off type arguments from primops and make a result type uni… Julia tests #2685: Commit 7f895d4 pushed by dougalm
May 15, 2024 16:03 3s kind-for-plain-old-data
kind-for-plain-old-data
May 15, 2024 16:03 3s
Stub out the optional passes while we mess with the CoreIR/SimpIR. Julia tests #2684: Commit 3853784 pushed by dougalm
May 15, 2024 02:23 2s kind-for-plain-old-data
kind-for-plain-old-data
May 15, 2024 02:23 2s
Scheduled CodeQL #51: by github-advanced-security bot
May 14, 2024 13:46 2m 53s
May 14, 2024 13:46 2m 53s
Hoist Hof out of PrimOp and remove Lam case from generic op. Julia tests #2683: Commit cf06eb5 pushed by dougalm
May 10, 2024 17:57 2s kind-for-plain-old-data
kind-for-plain-old-data
May 10, 2024 17:57 2s
Add kinds to distinguish data, refs, functions Julia tests #2682: Commit 69b31a8 pushed by dougalm
May 8, 2024 16:39 3s kind-for-plain-old-data
kind-for-plain-old-data
May 8, 2024 16:39 3s
Remove Algebra Julia tests #2681: Commit 2b6d5b3 pushed by dougalm
May 7, 2024 17:40 3s kind-for-plain-old-data
kind-for-plain-old-data
May 7, 2024 17:40 3s
Scheduled CodeQL #50: by github-advanced-security bot
May 7, 2024 13:46 2m 28s
May 7, 2024 13:46 2m 28s
Remove roles (they can now be inferred from the type/kind) Julia tests #2680: Commit 7d21536 pushed by dougalm
May 7, 2024 03:17 3s kind-for-plain-old-data
kind-for-plain-old-data
May 7, 2024 03:17 3s
Got sets working with new syntax and fixed tests. Haskell tests #2027: Pull request #1348 opened by duvenaud
May 6, 2024 21:32 1m 7s duvenaud:fixset2
duvenaud:fixset2
May 6, 2024 21:32 1m 7s
Got sets working with new syntax and fixed tests. Julia tests #2679: Pull request #1348 opened by duvenaud
May 6, 2024 21:32 3s duvenaud:fixset2
duvenaud:fixset2
May 6, 2024 21:32 3s
Got sets working with new syntax and fixed tests. Python tests #1884: Pull request #1348 opened by duvenaud
May 6, 2024 21:32 11m 0s duvenaud:fixset2
duvenaud:fixset2
May 6, 2024 21:32 11m 0s
Simplify Simplify pass given new kind distinctions. Julia tests #2678: Commit 4045489 pushed by dougalm
May 6, 2024 18:46 2s kind-for-plain-old-data
kind-for-plain-old-data
May 6, 2024 18:46 2s
Remove reconstructions from Simp pass Julia tests #2677: Commit 6507556 pushed by dougalm
May 3, 2024 13:32 3s kind-for-plain-old-data
kind-for-plain-old-data
May 3, 2024 13:32 3s
Remove constructors for lifting between IRs Julia tests #2676: Commit 72e36b9 pushed by dougalm
May 2, 2024 18:44 3s kind-for-plain-old-data
kind-for-plain-old-data
May 2, 2024 18:44 3s
Remove reconstructions from Simp pass Julia tests #2675: Commit 6507556 pushed by dougalm
May 1, 2024 19:41 2s kind-for-plain-old-data
kind-for-plain-old-data
May 1, 2024 19:41 2s
Remove ACase and TabLam Julia tests #2674: Commit 3e0cbe9 pushed by dougalm
May 1, 2024 19:20 2s kind-for-plain-old-data
kind-for-plain-old-data
May 1, 2024 19:20 2s
Remove unnecessary cases from Imp pass Julia tests #2673: Commit c0946f1 pushed by dougalm
May 1, 2024 19:04 3s kind-for-plain-old-data
kind-for-plain-old-data
May 1, 2024 19:04 3s
Scheduled CodeQL #49: by github-advanced-security bot
April 30, 2024 13:46 2m 18s
April 30, 2024 13:46 2m 18s
Got FFT working again with new syntax. Python tests #1883: Pull request #1347 opened by duvenaud
April 28, 2024 01:48 10m 30s duvenaud:fixfft
duvenaud:fixfft
April 28, 2024 01:48 10m 30s
Got FFT working again with new syntax. Haskell tests #2026: Pull request #1347 opened by duvenaud
April 28, 2024 01:48 59s duvenaud:fixfft
duvenaud:fixfft
April 28, 2024 01:48 59s
Got FFT working again with new syntax. Julia tests #2672: Pull request #1347 opened by duvenaud
April 28, 2024 01:48 3s duvenaud:fixfft
duvenaud:fixfft
April 28, 2024 01:48 3s
Start implementing explicit DPS pass Julia tests #2671: Commit 2ab0882 pushed by dougalm
April 24, 2024 20:22 2s kind-for-plain-old-data
kind-for-plain-old-data
April 24, 2024 20:22 2s
Remove MExtend and MAsk Julia tests #2670: Commit e49f882 pushed by dougalm
April 23, 2024 15:18 4s kind-for-plain-old-data
kind-for-plain-old-data
April 23, 2024 15:18 4s
Scheduled CodeQL #48: by github-advanced-security bot
April 23, 2024 13:46 1m 47s
April 23, 2024 13:46 1m 47s
Remove "dex abstract machine" (to be replaced by refs) Julia tests #2669: Commit d5997a8 pushed by dougalm
April 22, 2024 17:54 3s kind-for-plain-old-data
kind-for-plain-old-data
April 22, 2024 17:54 3s