Skip to content

Actions: FrederickPu/pullback

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
197 workflow runs
197 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
moved ext_heq tactic into P Lean Action CI #197: Commit 9afbbab pushed by FrederickPu
1m 28s main
main
1m 28s
added ext_heq tactic Lean Action CI #196: Commit c0321e9 pushed by FrederickPu
1m 35s main
main
1m 35s
sketched verified metaprogramming idea Lean Action CI #195: Commit e3256e4 pushed by FrederickPu
1m 27s main
main
1m 27s
golfed simplification portion Lean Action CI #194: Commit 3d27371 pushed by FrederickPu
1m 30s main
main
1m 30s
rernamed simproc and closed correctness proof Lean Action CI #193: Commit 1b897d4 pushed by FrederickPu
1m 26s main
main
1m 26s
got DVector.get simproc working Lean Action CI #192: Commit 9b6fdf4 pushed by FrederickPu
1m 59s main
main
1m 59s
got var case for simproc working Lean Action CI #191: Commit 90120d5 pushed by FrederickPu
1m 43s main
main
1m 43s
also backed up interp change Lean Action CI #190: Commit 8f322ef pushed by FrederickPu
11s main
main
11s
added missing change about const Lean Action CI #189: Commit 72265ad pushed by FrederickPu
1m 53s main
main
1m 53s
got const simplfication working Lean Action CI #188: Commit 0f2e99c pushed by FrederickPu
2m 1s main
main
2m 1s
fixed bug with local instance usages Lean Action CI #187: Commit 0e313d6 pushed by FrederickPu
1m 59s main
main
1m 59s
sketched correctness condition for relumatmul fusion oprewrite Lean Action CI #186: Commit 94f75f4 pushed by FrederickPu
1m 29s main
main
1m 29s
finished welltypnedness proof for var case of lowering Lean Action CI #185: Commit a15fee0 pushed by FrederickPu
1m 40s main
main
1m 40s
closed inference goal using proof automation Lean Action CI #184: Commit 14ed719 pushed by FrederickPu
3m 15s main
main
3m 15s
got simproc working Lean Action CI #183: Commit 715ba16 pushed by FrederickPu
2m 43s main
main
2m 43s
got simproc working Lean Action CI #182: Commit 30ff5e6 pushed by FrederickPu
1m 35s main
main
1m 35s
got inferHasType working Lean Action CI #181: Commit d999c34 pushed by FrederickPu
1m 59s main
main
1m 59s
sketched annotate_raw tactic Lean Action CI #180: Commit 7a95e1c pushed by FrederickPu
1m 36s main
main
1m 36s
got rid of some Lean Action CI #179: Commit 84be2fd pushed by FrederickPu
1m 35s main
main
1m 35s
got exprTypeOf working Lean Action CI #178: Commit 5763e4b pushed by FrederickPu
1m 35s main
main
1m 35s
able to prove value of nontrivial shallow embedding Lean Action CI #177: Commit d30fe20 pushed by FrederickPu
1m 55s main
main
1m 55s
sketched new hasType paradigm Lean Action CI #176: Commit 06ca84d pushed by FrederickPu
1m 32s main
main
1m 32s
finished relu implmentation Lean Action CI #175: Commit 2be838c pushed by FrederickPu
1m 31s main
main
1m 31s
finished lowering function on rawpexpr except for relu case Lean Action CI #174: Commit 2891a03 pushed by FrederickPu
1m 40s main
main
1m 40s
backup new lowering scheme Lean Action CI #173: Commit d6391cb pushed by FrederickPu
1m 46s main
main
1m 46s