Skip to content

Actions: arademaker/bignum

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
29 workflow runs
29 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
feat(arm): add computational bridge and simplify tutorial proofs Lean Action CI #31: Commit 4b32a23 pushed by arademaker
16m 43s main
main
16m 43s
doc: update README Lean Action CI #30: Commit 5b99260 pushed by arademaker
17m 24s main
main
17m 24s
Wave 1: Consolidate Foundations (#14) Lean Action CI #29: Commit 07d38bc pushed by arademaker
14m 57s main
main
14m 57s
Wave 1: Consolidate Foundations Lean Action CI #28: Pull request #14 synchronize by arademaker
2m 16s wave-1
wave-1
2m 16s
chore(toolchain): upgrade lean to v4.30.0-rc2 and adapt proofs Lean Action CI #27: Commit ecca28b pushed by arademaker
14m 42s wave-1
wave-1
14m 42s
Wave 1: Consolidate Foundations Lean Action CI #26: Pull request #14 opened by arademaker
2m 35s wave-1
wave-1
2m 35s
Copilot code review Copilot code review #1: by Copilot AI
4m 6s refs/pull/14/head
refs/pull/14/head
4m 6s
fix(common): restore proven lemmas lost during worktree merge Lean Action CI #25: Commit 4d260c6 pushed by arademaker
14m 48s wave-1
wave-1
14m 48s
refactor(arm): improve flag model and maychange frame conditions Lean Action CI #24: Commit f5a1c1f pushed by arademaker
9m 22s main
main
9m 22s
refact: arm simple tutorial fixed Lean Action CI #23: Commit cfdc9f3 pushed by arademaker
9m 37s main
main
9m 37s
refactor!: move programs into memory following HOL Light architecture Lean Action CI #22: Commit 8deb79d pushed by arademaker
15m 20s main
main
15m 20s
refact: start the fix of simple tutorial Lean Action CI #21: Commit fe67127 pushed by arademaker
2m 20s main
main
2m 20s
refactor: consolidate Semantics and Spec Lean Action CI #20: Commit 803ea5b pushed by arademaker
17s main
main
17s
feat: work on Sequence tutorial Lean Action CI #19: Commit 40941c1 pushed by arademaker
2m 39s main
main
2m 39s
fix: use bv_decide Lean Action CI #18: Commit 3b4a589 pushed by arademaker
9m 27s main
main
9m 27s
docs: simplify the readme Lean Action CI #17: Commit b30ffdb pushed by arademaker
9m 8s main
main
9m 8s
docs: restructure development plan to follow s2n-bignum tutorials Lean Action CI #16: Commit f2ce498 pushed by arademaker
8m 12s main
main
8m 12s
chore: update github actions Lean Action CI #15: Commit 2bd4e80 pushed by arademaker
9m 3s main
main
9m 3s
chore(deps): add cslib dependency Lean Action CI #14: Commit fb6b164 pushed by arademaker
15m 22s main
main
15m 22s
feat(lemmas): add 12 theorems and prove lowdigits_succ and lowdigits_one Create Release #2: Commit b53592c pushed by arademaker
13s main
main
13s
feat(lemmas): add 12 theorems and prove lowdigits_succ and lowdigits_one Lean Action CI #12: Commit b53592c pushed by arademaker
30m 18s main
main
30m 18s
update README Lean Action CI #11: Commit fe17de3 pushed by arademaker
12m 48s main
main
12m 48s
chore: finalize phase 0 with proof refactoring Lean Action CI #10: Commit 9541dd1 pushed by arademaker
12m 42s main
main
12m 42s
feat(arm/tutorial): complete simple_correct proof without sorry Lean Action CI #9: Commit 1c148d9 pushed by arademaker
14m 6s main
main
14m 6s
feat(arm): add state manipulation lemmas and refactor tutorial proof Lean Action CI #8: Commit 98d7f6c pushed by arademaker
14m 53s main
main
14m 53s