Skip to content

Actions: boogie-org/lean-embedding

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

Various cleanups Lean Action CI #40: Commit 7fb46d8 pushed by atomb
3m 5s deep-embedding
deep-embedding
3m 5s
Syntax for Boogie with denotations, some WP Lean Action CI #39: Commit a290a0d pushed by atomb
3m 20s deep-embedding
deep-embedding
3m 20s
Merge pull request #2 from boogie-org/build-more-examples Lean Action CI #38: Commit bf2dab8 pushed by atomb
1m 52s main
main
1m 52s
Make more examples build Lean Action CI #37: Pull request #2 opened by atomb
1m 57s build-more-examples
build-more-examples
1m 57s
Make more examples build Lean Action CI #36: Commit 384aaa5 pushed by atomb
1m 29s build-more-examples
build-more-examples
1m 29s
Update license Lean Action CI #35: Commit 5ee774c pushed by Kiiyya
2m 12s main
main
2m 12s
Fix lakefile: Remove qpf import, since it is already imported via ITree Lean Action CI #34: Commit 4c36f10 pushed by Kiiyya
4m 42s main
main
4m 42s
Point to Lean-ITrees repo Lean Action CI #33: Commit c8c1d75 pushed by Kiiyya
28s main
main
28s
more docs Lean Action CI #32: Commit 3e196cd pushed by Kiiyya
1m 56s main
main
1m 56s
wip Lean Action CI #31: Commit 4fc6b6e pushed by Kiiyya
1m 56s dev
dev
1m 56s
wip Lean Action CI #30: Commit eaad636 pushed by Kiiyya
1m 41s dev
dev
1m 41s
wip Lean Action CI #29: Commit 3f4cfc3 pushed by Kiiyya
1m 43s dev
dev
1m 43s
some restructuring Lean Action CI #28: Commit ddd7e84 pushed by Kiiyya
1m 42s dev
dev
1m 42s
ffs example "almost" works Lean Action CI #27: Commit 5928262 pushed by Kiiyya
1m 40s dev
dev
1m 40s
Fix import in LeanBoogie.lean Lean Action CI #26: Pull request #1 opened by atomb
3m 59s fix-main-import
fix-main-import
3m 59s
Make lake build work again Lean Action CI #25: Commit b912a4b pushed by atomb
3m 58s fix-main-import
fix-main-import
3m 58s
Separate effects instead of concatenating contexts Lean Action CI #24: Commit 4492bd8 pushed by Kiiyya
1m 41s dev
dev
1m 41s
wip: Make ITree universe-polymorphic Lean Action CI #23: Commit 6993f25 pushed by Kiiyya
1m 43s itree-univ-poly
itree-univ-poly
1m 43s
Reorganize Notation/Iter.lean Lean Action CI #22: Commit d7327be pushed by Kiiyya
1m 45s dev
dev
1m 45s
Lift blocks into defs Lean Action CI #21: Commit 5d146d2 pushed by Kiiyya
1m 42s dev
dev
1m 42s
Update DSL to handle params, local vars, return values. Lean Action CI #20: Commit 9ac5e18 pushed by Kiiyya
1m 45s dev
dev
1m 45s
Update DSL so that we can translate the FFS example Lean Action CI #19: Commit 29f5d8c pushed by Kiiyya
1m 41s main
main
1m 41s
Update DSL so that we can translate the FFS example Lean Action CI #18: Commit 29f5d8c pushed by Kiiyya
1m 55s dev
dev
1m 55s
Update DSL to work with new Con, Ty. Lean Action CI #17: Commit 2286302 pushed by Kiiyya
1m 42s dev
dev
1m 42s
Lean Action CI Lean Action CI #16: by Kiiyya
1m 43s dev
dev
1m 43s