Skip to content

Actions: FrederickPu/pullback

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
56 workflow runs
56 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
filled const interp related sorries Lean Action CI #43: Commit 403de75 pushed by FrederickPu
22s main
main
22s
improved const.interp sketch Lean Action CI #42: Commit d5e35d7 pushed by FrederickPu
30s main
main
30s
sketched interp for SSAConst Lean Action CI #41: Commit ffb418e pushed by FrederickPu
22s main
main
22s
finished lam Lean Action CI #40: Commit e13f578 pushed by FrederickPu
23s main
main
23s
turned loop, prod, ifthenelse into function constants Lean Action CI #39: Commit dea5078 pushed by FrederickPu
22s main
main
22s
finished app Lean Action CI #38: Commit f555736 pushed by FrederickPu
37s main
main
37s
better type checking for prod Lean Action CI #37: Commit 158524d pushed by FrederickPu
19s main
main
19s
finished var case with no sorries Lean Action CI #36: Commit c2bb501 pushed by FrederickPu
20s main
main
20s
filled in none case of var Lean Action CI #35: Commit 95d3a53 pushed by FrederickPu
19s main
main
19s
filled sorries for letE case and made progress on var Lean Action CI #34: Commit d185907 pushed by FrederickPu
18s main
main
18s
use findlast instead of find to ensure proper variable shadowing beha… Lean Action CI #33: Commit 8ac4317 pushed by FrederickPu
19s main
main
19s
improved conditional conversion Lean Action CI #32: Commit 9cc4447 pushed by FrederickPu
21s main
main
21s