Skip to content

Actions: FrederickPu/pullback

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
161 workflow runs
161 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
setup syntax macro for PExpr Lean Action CI #161: Commit 61665a9 pushed by FrederickPu
1m 52s main
main
1m 52s
change argument order to better support recursion Lean Action CI #160: Commit dade2be pushed by FrederickPu
1m 44s main
main
1m 44s
toy example for fusing matmul and relu Lean Action CI #159: Commit 08bd822 pushed by FrederickPu
1m 30s main
main
1m 30s
more consistent naming scheme Lean Action CI #158: Commit 7be9611 pushed by FrederickPu
1m 46s main
main
1m 46s
sorry free implmentation of PExpr.interp Lean Action CI #157: Commit f32c97e pushed by FrederickPu
1m 26s main
main
1m 26s
sketched P.Expr api Lean Action CI #156: Commit 783740a pushed by FrederickPu
1m 32s main
main
1m 32s
improved keys api Lean Action CI #155: Commit 437b7aa pushed by FrederickPu
1m 36s main
main
1m 36s
improve pushSome and hygien api Lean Action CI #154: Commit 2142a8c pushed by FrederickPu
1m 27s main
main
1m 27s
completed cast proof for argsNew in ifthenelse Lean Action CI #153: Commit 69378d8 pushed by FrederickPu
2m 1s main
main
2m 1s
sketched continutation signature Lean Action CI #152: Commit df79498 pushed by FrederickPu
1m 43s main
main
1m 43s
backup VarMap Lean Action CI #151: Commit 2b09d4a pushed by FrederickPu
1m 48s main
main
1m 48s
upraded option_elim to handle ite Lean Action CI #150: Commit 68ff4d7 pushed by FrederickPu
1m 28s main
main
1m 28s
got SSA.loop running Lean Action CI #149: Commit 52475b6 pushed by FrederickPu
1m 51s main
main
1m 51s
added second wellfounded bridge theorem Lean Action CI #148: Commit 1e85052 pushed by FrederickPu
1m 33s main
main
1m 33s
sketched fib example and project helpers Lean Action CI #147: Commit f0df84c pushed by FrederickPu
2m 38s main
main
2m 38s
got rid of ridicolous classical.arbitrary call in lemma Lean Action CI #146: Commit 1857f8c pushed by FrederickPu
1m 28s main
main
1m 28s
created bridge to WellFounded.extrinsicFix Lean Action CI #145: Commit 33aa360 pushed by FrederickPu
1m 23s main
main
1m 23s
general recursion without a relation Lean Action CI #144: Commit b83374e pushed by FrederickPu
1m 25s main
main
1m 25s
recursion cps form sketch Lean Action CI #143: Commit a06f6b6 pushed by FrederickPu
1m 31s main
main
1m 31s
fixed logic in ifthenelse case Lean Action CI #142: Commit f43e204 pushed by FrederickPu
1m 31s main
main
1m 31s
proved inferType_ktype Lean Action CI #141: Commit 4989389 pushed by FrederickPu
1m 49s main
main
1m 49s
finished break and continue arms Lean Action CI #140: Commit 62afb5c pushed by FrederickPu
1m 28s main
main
1m 28s
fixed break and continue interp issues Lean Action CI #139: Commit 5a861b7 pushed by FrederickPu
1m 32s main
main
1m 32s
refactored continutation call sites to use mkmuttuple instead of dvector Lean Action CI #138: Commit 50ba26e pushed by FrederickPu
1m 39s main
main
1m 39s
grouped common have statment Lean Action CI #137: Commit 21be967 pushed by FrederickPu
1m 30s main
main
1m 30s