Skip to content

Actions: FrederickPu/pullback

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
68 workflow runs
68 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fixed conversion logic for rest in ifthenelse Lean Action CI #68: Commit 32cc211 pushed by FrederickPu
2m 11s main
main
2m 11s
sketched ifthenelse proof Lean Action CI #67: Commit 0d0bbd9 pushed by FrederickPu
1m 51s main
main
1m 51s
sketched welltyped proof for every arm except for loop and ifthenelse Lean Action CI #66: Commit d978761 pushed by FrederickPu
2m 22s main
main
2m 22s
fixed continuation constraint and added additional logic in toSSAExpr… Lean Action CI #65: Commit b1d4336 pushed by FrederickPu
1m 48s main
main
1m 48s
added continutation constraint for the lemma Lean Action CI #64: Commit 5c363de pushed by FrederickPu
1m 57s main
main
1m 57s
fixed loop mutvar bug and sketched welltyped theorem Lean Action CI #63: Commit 66d69ef pushed by FrederickPu
1m 48s main
main
1m 48s
fixed loop usage in shallow embedding Lean Action CI #62: Commit 12c5ae0 pushed by FrederickPu
2m 14s main
main
2m 14s
changed eval to evaluate loops using continuations Lean Action CI #61: Commit 6b8946e pushed by FrederickPu
2m 12s main
main
2m 12s
finished SSADo.eval Lean Action CI #60: Commit d12d193 pushed by FrederickPu
1m 47s main
main
1m 47s
added broadcasting Lean Action CI #59: Commit e3c7d3d pushed by FrederickPu
2m 29s main
main
2m 29s
partially defined attention Lean Action CI #58: Commit fcee868 pushed by FrederickPu
2m 8s main
main
2m 8s
sketched neural network spec language Lean Action CI #57: Commit 1526a11 pushed by FrederickPu
2m 5s main
main
2m 5s
stated deep-shallow embedding equivalence theorem Lean Action CI #56: Commit 3074194 pushed by FrederickPu
21s main
main
21s
remove unnecessary partial Lean Action CI #55: Commit a58ae9f pushed by FrederickPu
21s main
main
21s
add hygiene to seq Lean Action CI #54: Commit 4f1d863 pushed by FrederickPu
26s main
main
26s
fixed letE case in SSADo.toSSAExpr Lean Action CI #53: Commit 6239bd2 pushed by FrederickPu
24s main
main
24s
refactored hygien logic Lean Action CI #52: Commit e7b4934 pushed by FrederickPu
22s main
main
22s
got sorry free sketch of SSADo.toSSAExpr Lean Action CI #51: Commit f822de2 pushed by FrederickPu
36s main
main
36s
switched SSAExpr.loop to CPS form Lean Action CI #50: Commit b0c6bf4 pushed by FrederickPu
21s main
main
21s
implemented freshName Lean Action CI #49: Commit 0f138bd pushed by FrederickPu
20s main
main
20s
filled in mk and destruct mutTuple Lean Action CI #48: Commit db5b285 pushed by FrederickPu
20s main
main
20s
finished all shallow embedding sorries Lean Action CI #47: Commit 5c4b9e0 pushed by FrederickPu
24s main
main
24s
proved findFinIdx lemma Lean Action CI #46: Commit 1c557d3 pushed by FrederickPu
19s main
main
19s
added basic logical operations to SSAConst Lean Action CI #45: Commit 0cc2b8c pushed by FrederickPu
18s main
main
18s
filled helper lemmas and DVector.get Lean Action CI #44: Commit 02813bb pushed by FrederickPu
21s main
main
21s