Skip to content

Actions: opencompl/EffectSSA

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
871 workflow runs
871 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
cleanup II Lean Action CI #714: Commit 6f63bef pushed by alexkeizer
2m 25s fix-rewrite
fix-rewrite
2m 25s
cleanup Lean Action CI #713: Commit 45beb3b pushed by alexkeizer
1m 44s fix-rewrite
fix-rewrite
1m 44s
clarify docs Lean Action CI #712: Commit 347c5c8 pushed by alexkeizer
2m 29s fix-rewrite
fix-rewrite
2m 29s
add TODO Lean Action CI #711: Commit 3561ab4 pushed by alexkeizer
2m 6s fix-rewrite
fix-rewrite
2m 6s
proof golf Lean Action CI #710: Commit c2821cc pushed by alexkeizer
1m 43s fix-rewrite
fix-rewrite
1m 43s
fix ConstFold case study Lean Action CI #709: Commit 79e4a14 pushed by alexkeizer
2m 24s fix-rewrite
fix-rewrite
2m 24s
refactor: minimize invariant (#130) Lean Action CI #708: Commit 7c31a1d pushed by alexkeizer
2m 11s main
main
2m 11s
refactor: minimize invariant Lean Action CI #707: Commit bb2fe6f pushed by alexkeizer
1m 38s refactor-min-inv
refactor-min-inv
1m 38s
Update Lean Project Update Lean Project #159: Scheduled
2m 5s main
main
2m 5s
feat: prove that denotational refinement is reflexive (#129) Lean Action CI #706: Commit e617461 pushed by alexkeizer
1m 29s main
main
1m 29s
feat: prove that denotational refinement is reflexive Lean Action CI #705: Commit 25e61c7 pushed by alexkeizer
1m 32s denRefine-sanity-check
denRefine-sanity-check
1m 32s
refactor: tweak def of SEnv refinement (#128) Lean Action CI #704: Commit 52bb970 pushed by alexkeizer
1m 51s main
main
1m 51s
refactor: tweak def of SEnv refinement Lean Action CI #703: Commit 79ade08 pushed by alexkeizer
1m 46s tweak-senv-refine
tweak-senv-refine
1m 46s
fix statement of EqnInv to account for error (#127) Lean Action CI #702: Commit 7e84335 pushed by alexkeizer
2m 11s main
main
2m 11s
fix statement of EqnInv to account for error Lean Action CI #701: Commit 45594d5 pushed by alexkeizer
1m 44s fix-eqn-inv
fix-eqn-inv
1m 44s
fix denote_isRefinedBy_congr Lean Action CI #700: Commit 80752f8 pushed by alexkeizer
2m 55s leanmlir-casestudy
leanmlir-casestudy
2m 55s
feat: replace denote_isRefinedBy_congr axiom with proof (#126) Lean Action CI #699: Commit ca53894 pushed by alexkeizer
1m 54s main
main
1m 54s
feat: replace denote_isRefinedBy_congr axiom with proof Lean Action CI #698: Commit 17f2bcc pushed by alexkeizer
2m 1s feat-prove-denote_isRefinedBy_congr
feat-prove-denote_isRefinedBy_congr
2m 1s
Update Lean Project Update Lean Project #158: Scheduled
2m 3s main
main
2m 3s
Update Lean Project Update Lean Project #157: Scheduled
1m 52s main
main
1m 52s
Update Lean Project Update Lean Project #156: Scheduled
1m 54s main
main
1m 54s
refactor main result to use equation invariant and precedence relatio… Lean Action CI #697: Commit bfc7ba1 pushed by alexkeizer
3m 18s main
main
3m 18s
proof golf Lean Action CI #696: Commit 6e0ac9f pushed by alexkeizer
2m 4s feat-prec
feat-prec
2m 4s
fix last sorry Lean Action CI #695: Commit e38b29f pushed by alexkeizer
2m 23s feat-prec
feat-prec
2m 23s
Update Lean Project Update Lean Project #155: Scheduled
1m 54s main
main
1m 54s