Skip to content

Actions: FrederickPu/pullback

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
42 workflow runs
42 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
sketched unquoting for SSAExpr Lean Action CI #31: Commit b345346 pushed by FrederickPu
21s main
main
21s
defined semantics for SSAExpr type theory Lean Action CI #30: Commit 0668176 pushed by FrederickPu
21s main
main
21s
defined type theory of ssaexprs Lean Action CI #29: Commit 974cf46 pushed by FrederickPu
26s main
main
26s
added support for if then else Lean Action CI #28: Commit 6db44c8 pushed by FrederickPu
21s main
main
21s
handled trailing return Lean Action CI #27: Commit 92c65c4 pushed by FrederickPu
19s main
main
19s
skethed continutation logic Lean Action CI #26: Commit 6b5671c pushed by FrederickPu
23s main
main
23s
sketched ssado to ssaexpr translation Lean Action CI #25: Commit 448d535 pushed by FrederickPu
23s main
main
23s
fixed bugs and defined simple stratified refinment type theory as exa… Lean Action CI #24: Commit 45f8648 pushed by FrederickPu
22s main
main
22s
renamed wompwomplam to QExpr Lean Action CI #23: Commit c9f2d15 pushed by FrederickPu
22s main
main
22s
renamed Unquote axioms Lean Action CI #22: Commit de459d2 pushed by FrederickPu
21s main
main
21s
added unquote rules for var and pi Lean Action CI #21: Commit 5235a09 pushed by FrederickPu
21s main
main
21s
added simple pi types Lean Action CI #20: Commit d093881 pushed by FrederickPu
18s main
main
18s
added macro DVec Lean Action CI #19: Commit ac9d8e7 pushed by FrederickPu
20s main
main
20s
distinguish between shifting and lifting Lean Action CI #18: Commit 300da3d pushed by FrederickPu
20s main
main
20s