Skip to content

Actions: anoma/juvix-lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
33 workflow runs
33 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Program equivalence for Core.Main
Lean Action CI #33: Pull request #2 synchronize by lukaszcz
January 16, 2025 18:02 59s program-equivalence
January 16, 2025 18:02 59s
CI
Lean Action CI #32: Commit 772f247 pushed by lukaszcz
January 16, 2025 18:02 1m 20s program-equivalence
January 16, 2025 18:02 1m 20s
Program equivalence for Core.Main
Lean Action CI #31: Pull request #2 synchronize by lukaszcz
January 16, 2025 17:47 1m 53s program-equivalence
January 16, 2025 17:47 1m 53s
generalize definitions (wip, not transitive)
Lean Action CI #30: Commit 5a440d9 pushed by lukaszcz
January 16, 2025 17:47 1m 52s program-equivalence
January 16, 2025 17:47 1m 52s
Program equivalence for Core.Main
Lean Action CI #29: Pull request #2 synchronize by lukaszcz
January 15, 2025 18:25 1m 50s program-equivalence
January 15, 2025 18:25 1m 50s
approx inversion lemmas
Lean Action CI #28: Commit 875e578 pushed by lukaszcz
January 15, 2025 18:25 1m 52s program-equivalence
January 15, 2025 18:25 1m 52s
Program equivalence for Core.Main
Lean Action CI #27: Pull request #2 synchronize by lukaszcz
January 15, 2025 10:58 1m 45s program-equivalence
January 15, 2025 10:58 1m 45s
rename Context to Env
Lean Action CI #26: Commit 35846d2 pushed by lukaszcz
January 15, 2025 10:58 2m 5s program-equivalence
January 15, 2025 10:58 2m 5s
Program equivalence for Core.Main
Lean Action CI #25: Pull request #2 synchronize by lukaszcz
January 15, 2025 10:07 1m 29s program-equivalence
January 15, 2025 10:07 1m 29s
minor refactor
Lean Action CI #24: Commit a58da50 pushed by lukaszcz
January 15, 2025 10:07 1m 28s program-equivalence
January 15, 2025 10:07 1m 28s
Big-step operational semantics for Core.Main (#1)
Lean Action CI #23: Commit 2a00051 pushed by lukaszcz
January 15, 2025 10:03 2m 26s main
January 15, 2025 10:03 2m 26s
Big-step operational semantics
Lean Action CI #22: Commit 6a6cb47 pushed by lukaszcz
January 15, 2025 10:02 2m 9s main
January 15, 2025 10:02 2m 9s
Program equivalence for Core.Main
Lean Action CI #21: Pull request #2 synchronize by lukaszcz
January 15, 2025 09:55 2m 13s program-equivalence
January 15, 2025 09:55 2m 13s
minor refactor
Lean Action CI #20: Commit fb63d0c pushed by lukaszcz
January 15, 2025 09:55 1m 45s program-equivalence
January 15, 2025 09:55 1m 45s
Program equivalence for Core.Main
Lean Action CI #19: Pull request #2 synchronize by lukaszcz
January 14, 2025 17:55 2m 10s program-equivalence
January 14, 2025 17:55 2m 10s
Value.Approx correction
Lean Action CI #18: Commit 120774b pushed by lukaszcz
January 14, 2025 17:55 1m 43s program-equivalence
January 14, 2025 17:55 1m 43s
Program equivalence for Core.Main
Lean Action CI #17: Pull request #2 synchronize by lukaszcz
January 14, 2025 16:07 2m 10s program-equivalence
January 14, 2025 16:07 2m 10s
refactor (wip, wrong)
Lean Action CI #16: Commit d2dd235 pushed by lukaszcz
January 14, 2025 16:07 1m 42s program-equivalence
January 14, 2025 16:07 1m 42s
Program equivalence for Core.Main
Lean Action CI #15: Pull request #2 synchronize by lukaszcz
January 14, 2025 13:49 1m 42s program-equivalence
January 14, 2025 13:49 1m 42s
approx transitivity
Lean Action CI #14: Commit 64d238f pushed by lukaszcz
January 14, 2025 13:49 2m 15s program-equivalence
January 14, 2025 13:49 2m 15s
Program equivalence for Core.Main
Lean Action CI #13: Pull request #2 opened by lukaszcz
January 13, 2025 18:09 2m 34s program-equivalence
January 13, 2025 18:09 2m 34s
Approx & its monotonicity
Lean Action CI #12: Commit 5249b54 pushed by lukaszcz
January 13, 2025 18:07 2m 12s program-equivalence
January 13, 2025 18:07 2m 12s
Merge pull request #1 from anoma/core-main-semantics
Lean Action CI #11: Commit c7c5897 pushed by lukaszcz
December 17, 2024 16:41 2m 7s main
December 17, 2024 16:41 2m 7s
Big-step operational semantics for Core.Main
Lean Action CI #10: Pull request #1 synchronize by lukaszcz
December 17, 2024 16:35 2m 7s core-main-semantics
December 17, 2024 16:35 2m 7s
minor
Lean Action CI #9: Commit 5f7b5db pushed by lukaszcz
December 17, 2024 16:35 2m 11s core-main-semantics
December 17, 2024 16:35 2m 11s