Skip to content

Actions: FrederickPu/pullback

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
208 workflow runs
208 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
new stratified index based system Lean Action CI #209: Commit d432b2e pushed by FrederickPu
1m 26s main
main
1m 26s
made RawPExpr use RawPType Lean Action CI #208: Commit 29019c9 pushed by FrederickPu
1m 27s main
main
1m 27s
got new interp and toPExpr sketch working Lean Action CI #207: Commit b8c081b pushed by FrederickPu
1m 27s main
main
1m 27s
backuip alternate Lean Action CI #206: Commit 81e476d pushed by FrederickPu
1m 54s main
main
1m 54s
improved names Lean Action CI #205: Commit af2b93b pushed by FrederickPu
1m 32s main
main
1m 32s
moved helper Lean Action CI #204: Commit 516d313 pushed by FrederickPu
1m 23s main
main
1m 23s
moved general functions to P Lean Action CI #203: Commit decab40 pushed by FrederickPu
1m 43s main
main
1m 43s
got verification condition generation working Lean Action CI #202: Commit 8f2914c pushed by FrederickPu
1m 36s main
main
1m 36s
improved formatting Lean Action CI #201: Commit 4ad0782 pushed by FrederickPu
1m 19s main
main
1m 19s
simplified test file Lean Action CI #200: Commit b23ded1 pushed by FrederickPu
2m 31s main
main
2m 31s
ported correctness condition to new system Lean Action CI #199: Commit 890eec6 pushed by FrederickPu
1m 21s main
main
1m 21s
backed up initial with hole Partial thing Lean Action CI #198: Commit 23bf60c pushed by FrederickPu
1m 37s main
main
1m 37s
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