Skip to content

Actions: euisuny/flambda-backend

Actions

ocamlformat

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ocamlformat.yml
61 workflow runs
61 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Skip ml tests with make hacking-runtest ocamlformat #110: Commit f798adc pushed by ccasin
May 5, 2024 13:58 3m 36s v1-perf-cherry-stackoverflow
v1-perf-cherry-stackoverflow
May 5, 2024 13:58 3m 36s
Fix for [subst_cont] ocamlformat #109: Commit 1016956 pushed by euisuny
May 2, 2024 15:41 3m 47s v1-perf-cherry-stackoverflow
v1-perf-cherry-stackoverflow
May 2, 2024 15:41 3m 47s
Fix cont substitution on named expressions ocamlformat #108: Commit d8f8ec1 pushed by euisuny
May 2, 2024 08:45 7m 10s v1-perf-cherry-stackoverflow
v1-perf-cherry-stackoverflow
May 2, 2024 08:45 7m 10s
We probably need this, but list.ml passes without it ocamlformat #107: Commit 2ef1603 pushed by ccasin
April 18, 2024 15:57 4m 1s v1-perf-cherry-stackoverflow
v1-perf-cherry-stackoverflow
April 18, 2024 15:57 4m 1s
Add testing framework for ml files ocamlformat #106: Commit 3a2db96 pushed by ccasin
April 18, 2024 15:06 6m 59s v1-perf-cherry-stackoverflow
v1-perf-cherry-stackoverflow
April 18, 2024 15:06 6m 59s
More progress on cleanup ocamlformat #105: Commit 75f2e92 pushed by euisuny
April 10, 2024 16:25 3m 41s flambda2core
flambda2core
April 10, 2024 16:25 3m 41s
Cutting down flambda2core exprs as much as possible ocamlformat #104: Commit d71214f pushed by euisuny
April 3, 2024 14:53 7m 5s flambda2core
flambda2core
April 3, 2024 14:53 7m 5s
Fix testsuite by guarding some changes behind the validator flag. ocamlformat #103: Commit 5e00c76 pushed by ccasin
March 21, 2024 14:33 7m 10s v1-perf-cherry-stackoverflow
v1-perf-cherry-stackoverflow
March 21, 2024 14:33 7m 10s
Stack overflow fix, though now list doesn't check ocamlformat #102: Commit d062574 pushed by ccasin
March 7, 2024 15:49 3m 56s v1-perf-cherry-stackoverflow
v1-perf-cherry-stackoverflow
March 7, 2024 15:49 3m 56s
Use modal kinds to do mode crossing (#2310) ocamlformat #101: Commit 8b43a17 pushed by euisuny
March 1, 2024 10:13 6m 54s main
main
March 1, 2024 10:13 6m 54s
Return continuation reduction; stack overflow ocamlformat #100: Commit 3f3fd38 pushed by euisuny
January 25, 2024 16:13 6m 39s v1-perf-cherry-stackoverflow
v1-perf-cherry-stackoverflow
January 25, 2024 16:13 6m 39s
non-static binders allowed for static exprs.. ocamlformat #99: Commit df0e146 pushed by euisuny
January 16, 2024 03:00 3m 58s v1-perf-cherry
v1-perf-cherry
January 16, 2024 03:00 3m 58s
Merge branch 'v1-perf-cherry' of github.com:euisuny/flambda-backend i… ocamlformat #98: Commit 74fd37b pushed by euisuny
January 15, 2024 17:41 3m 43s v1-perf-cherry
v1-perf-cherry
January 15, 2024 17:41 3m 43s
typo ocamlformat #97: Commit cc38bf7 pushed by ccasin
January 12, 2024 16:14 3m 38s v1-perf-cherry
v1-perf-cherry
January 12, 2024 16:14 3m 38s
Step static closures the same way as non static closures ocamlformat #96: Commit 9ba66d8 pushed by ccasin
January 12, 2024 14:31 3m 40s v1-perf-cherry
v1-perf-cherry
January 12, 2024 14:31 3m 40s
Printing for value slots ocamlformat #95: Commit 47cf64c pushed by euisuny
January 12, 2024 11:55 3m 36s v1-perf-cherry
v1-perf-cherry
January 12, 2024 11:55 3m 36s
Fix partial function error on lambda comparison ocamlformat #94: Commit 8813452 pushed by euisuny
January 12, 2024 11:21 3m 40s v1-perf-cherry
v1-perf-cherry
January 12, 2024 11:21 3m 40s
Turn back on switch optimization ocamlformat #93: Commit a86cabf pushed by ccasin
January 12, 2024 10:05 3m 37s v1-perf-cherry
v1-perf-cherry
January 12, 2024 10:05 3m 37s
Merged fixes from cherry pick on ac42aac ocamlformat #92: Commit 0319f04 pushed by euisuny
January 12, 2024 08:23 6m 49s v1-perf-cherry
v1-perf-cherry
January 12, 2024 08:23 6m 49s
Fix to hanging case; typo ocamlformat #91: Commit 99c7c69 pushed by euisuny
January 8, 2024 15:24 3m 33s v1-perf
v1-perf
January 8, 2024 15:24 3m 33s
Make translation fast by perform substitutions at the leaves ocamlformat #90: Commit ac42aac pushed by ccasin
January 8, 2024 14:12 3m 38s v1-perf
v1-perf
January 8, 2024 14:12 3m 38s
== optimization in flambda2_core ocamlformat #89: Commit e81177c pushed by euisuny
January 5, 2024 19:35 3m 30s v1-perf
v1-perf
January 5, 2024 19:35 3m 30s
More optimization on exp fix operators ocamlformat #88: Commit 56b712f pushed by euisuny
January 4, 2024 17:19 3m 33s v1-perf
v1-perf
January 4, 2024 17:19 3m 33s
Modifying core_fmap for more efficient core exp manipulation ocamlformat #87: Commit 1a34c40 pushed by euisuny
January 4, 2024 16:55 3m 48s v1-perf
v1-perf
January 4, 2024 16:55 3m 48s
Attempt optimization by not reallocating identical terms in renaming ocamlformat #86: Commit a4f965e pushed by ccasin
January 4, 2024 15:12 3m 58s v1-perf
v1-perf
January 4, 2024 15:12 3m 58s