Skip to content

Actions: FrederickPu/pullback

Actions

Lean Action CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean_action_ci.yml
172 workflow runs
172 workflow runs

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
filled in more sorries for fuse Lean Action CI #172: Commit 70c6962 pushed by FrederickPu
1m 25s main
main
1m 25s
sketched fuse under new system Lean Action CI #171: Commit 582be8e pushed by FrederickPu
1m 26s main
main
1m 26s
fixed PExpr.interp Lean Action CI #170: Commit a9f3c18 pushed by FrederickPu
1m 29s main
main
1m 29s
added lifting to PExpr type theory Lean Action CI #169: Commit 477044f pushed by FrederickPu
1m 57s main
main
1m 57s
sketched new lowering scheme Lean Action CI #168: Commit d16f9f4 pushed by FrederickPu
1m 28s main
main
1m 28s
fixed tests and removed unused import Lean Action CI #167: Commit 0d759e4 pushed by FrederickPu
1m 27s main
main
1m 27s
made PExpr intrinsicly typed and added RawPExpr for surface syntax Lean Action CI #166: Commit 821ac4c pushed by FrederickPu
1m 33s main
main
1m 33s
sketched pexprmvar and replacemvars tactic Lean Action CI #165: Commit a6857b0 pushed by FrederickPu
1m 30s main
main
1m 30s
fixed syntax parsing bug for applications Lean Action CI #164: Commit 8000fa0 pushed by FrederickPu
1m 51s main
main
1m 51s
improved scf dialect Lean Action CI #163: Commit 4074777 pushed by FrederickPu
1m 46s main
main
1m 46s
fixed binder bug and added more tests Lean Action CI #162: Commit f86a602 pushed by FrederickPu
2m 34s main
main
2m 34s
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