Skip to content

Actions: SynthesisLab/BoltLean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
21 workflow runs
21 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 README describing the Lean 4 proof structure Lean Action CI #21: Commit 273cdf9 pushed by nathanael-fijalkow
19s main
main
19s
Merge pull request #1 from SynthesisLab/ltlf-nonempty-semantics Lean Action CI #20: Commit 0d43c70 pushed by nathanael-fijalkow
21s main
main
21s
Changing the semantics of LTLf to match most papers Lean Action CI #19: Pull request #1 opened by pvdhove
39s ltlf-nonempty-semantics
ltlf-nonempty-semantics
39s
changing the semantics Lean Action CI #18: Commit 65d34b0 pushed by pvdhove
21s ltlf-nonempty-semantics
ltlf-nonempty-semantics
21s
Simplify proofs Lean Action CI #17: Commit e9f5bdc pushed by GBathie
25s main
main
25s
Upper bound Boolean case Lean Action CI #16: Commit 1f20be4 pushed by nathanael-fijalkow
18s main
main
18s
Fix CI Lean Action CI #15: Commit d40c8ac pushed by GBathie
19s main
main
19s
Fix CI Lean Action CI #14: Commit 5570b01 pushed by GBathie
26s main
main
26s
Add comments and introduce 'satisfies' Lean Action CI #13: Commit 08e9588 pushed by GBathie
21s main
main
21s
WIP on Boolean Upper Bound Lean Action CI #12: Commit 4e079c2 pushed by GBathie
31s main
main
31s
Streamline proofs Lean Action CI #11: Commit ab6206f pushed by GBathie
31s main
main
31s
fix: weaknext on empty traces Lean Action CI #10: Commit bade670 pushed by GBathie
26s main
main
26s
Rename eval -> accepts Lean Action CI #9: Commit 181694f pushed by GBathie
27s main
main
27s
Upper bound formally proven! Lean Action CI #8: Commit 0056b0b pushed by GBathie
28s main
main
28s
Congruence Lean Action CI #7: Commit 16a3442 pushed by GBathie
27s main
main
27s
Merge branch 'main' of github.com:SynthesisLab/BoltLean Lean Action CI #6: Commit 4d07648 pushed by GBathie
31s main
main
31s
alternative LTL Lean Action CI #5: Commit 8ec8114 pushed by nathanael-fijalkow
28s main
main
28s
Prove upper bound, one direction Lean Action CI #4: Commit 6f26a10 pushed by GBathie
33s main
main
33s
WIP on domination Lean Action CI #3: Commit c15f684 pushed by GBathie
25s main
main
25s
Replace boolean evaluation with Prop instead Lean Action CI #2: Commit 552d685 pushed by GBathie
45s main
main
45s
Initial commit Lean Action CI #1: Commit 2c809e3 pushed by GBathie
38s main
main
38s