Skip to content

Actions: HEIGE-PCloud/ProgramAnalysis

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
142 workflow runs
142 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
Add List.update function and enhance evaluation in Fun module Lean Action CI #42: Commit ff9ce35 pushed by HEIGE-PCloud
23s main
main
23s
Refactor syntax elaboration to use bracket notation for 'Fun' and 'Wh… Lean Action CI #41: Commit 26bd8fd pushed by HEIGE-PCloud
19s main
main
19s
Refactor example.constraint and example.solution for clarity; update … Lean Action CI #40: Commit 8ff5ec1 pushed by HEIGE-PCloud
25s main
main
25s
Refactor visibility of elabOp and elabTerm in Meta.lean; update elabW… Lean Action CI #39: Commit 3516608 pushed by HEIGE-PCloud
26s main
main
26s
Refactor syntax elaboration to use 'Fun' and 'While' for consistency … Lean Action CI #38: Commit 00004bf pushed by HEIGE-PCloud
18s main
main
18s
Refactor Example.lean to use lambda syntax for expressions and update… Lean Action CI #37: Commit a8f42f9 pushed by HEIGE-PCloud
21s main
main
21s
Update Term constructor to use Nat for consistency and add Meta modul… Lean Action CI #36: Commit 4726e5b pushed by HEIGE-PCloud
23s main
main
23s
Fix while syntax elaboration by changing brackets to parentheses for … Lean Action CI #35: Commit 36ec040 pushed by HEIGE-PCloud
26s main
main
26s
Refactor elabStmt to use freshLabel for generating unique labels in s… Lean Action CI #34: Commit 00dff9c pushed by HEIGE-PCloud
25s main
main
25s
Enhance while syntax support by adding parentheses for arith and bool… Lean Action CI #33: Commit 465df7a pushed by HEIGE-PCloud
26s main
main
26s
Add syntax categories for while operations and statements in Meta.lean Lean Action CI #32: Commit 6470d92 pushed by HEIGE-PCloud
20s main
main
20s
Add Meta module for while_lit syntax and update ArithAtom to use Nat Lean Action CI #31: Commit 4332092 pushed by HEIGE-PCloud
32s main
main
32s
Implement StateM-based constructors for Stmt and refactor example usage Lean Action CI #30: Commit 438313b pushed by HEIGE-PCloud
25s main
main
25s
Refactor imports and simplify example constraints in ControlFlowAnalysis Lean Action CI #29: Commit 98c6568 pushed by HEIGE-PCloud
31s main
main
31s
Remove unused definition of 'x' in Example.lean Lean Action CI #28: Commit 86f98c0 pushed by HEIGE-PCloud
30s main
main
30s
Add Control Flow Analysis module and related definitions Lean Action CI #27: Commit f4317ce pushed by HEIGE-PCloud
28s main
main
28s
Refactor Constraint.solve to use custom Set and Map types for improve… Lean Action CI #26: Commit 697550d pushed by HEIGE-PCloud
32s main
main
32s
Add While Language definition Lean Action CI #25: Commit a98bdb4 pushed by HEIGE-PCloud
20s main
main
20s
Fix build Lean Action CI #24: Commit 45ba37a pushed by HEIGE-PCloud
24s main
main
24s
Add public module file Lean Action CI #23: Commit cbe0942 pushed by HEIGE-PCloud
22s main
main
22s
Add TODO comment for Control Flow and Data Flow in Constraint.solve Lean Action CI #22: Commit b5ddfdc pushed by HEIGE-PCloud
26s main
main
26s
Refactor Example.lean to remove unused expr3 definition and update ex… Lean Action CI #21: Commit 44132a0 pushed by HEIGE-PCloud
22s main
main
22s
Enhance ControlFlowAnalysis by adding new operations to Op and implem… Lean Action CI #20: Commit e50b3c9 pushed by HEIGE-PCloud
23s main
main
23s
Refactor Constraint.solve to introduce add function for improved clar… Lean Action CI #19: Commit 5388ce3 pushed by HEIGE-PCloud
19s main
main
19s
Enhance ControlFlowAnalysis by adding TreeMap import, refining Expr f… Lean Action CI #18: Commit 14161c1 pushed by HEIGE-PCloud
24s main
main
24s