Skip to content

Actions: cslib-community/bignum

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
66 workflow runs
66 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
Merge pull request #15 from cslib-community/fix-build Lean Action CI #68: Commit 9a2ec95 pushed by gflima
18m 47s gflima
gflima
18m 47s
chore: bump toolchain to v4.34.0 and pin matching Mathlib and CSLib Lean Action CI #67: Pull request #15 synchronize by jessealama
2m 58s fix-build
fix-build
2m 58s
chore: bump toolchain to v4.34.0 and pin matching Mathlib and CSLib Lean Action CI #66: Commit 55d06e9 pushed by jessealama
17m 58s fix-build
fix-build
17m 58s
chore: bump toolchain to v4.34.0 and pin matching Mathlib and CSLib Lean Action CI #65: Pull request #15 opened by jessealama
3m 1s fix-build
fix-build
3m 1s
fix(ci): pin Mathlib and CSLib to v4.30.0 revisions Lean Action CI #64: Commit a3f8915 pushed by jessealama
16m 25s fix-build
fix-build
16m 25s
BignumTest.ArmRev.State: Fix typo in comment Lean Action CI #63: Commit f3188bd pushed by gflima
1m 32s gflima
gflima
1m 32s
refactor: move ensures_sequence and maychange_regs_trans to Spec Lean Action CI #62: Commit 92f6a92 pushed by gflima
1m 32s gflima
gflima
1m 32s
Bignum.ArmRev: Syntax cleanup Lean Action CI #61: Commit 9f8ba29 pushed by gflima
1m 28s gflima
gflima
1m 28s
Bignum.ArmRev: More lemmas about zero registers Lean Action CI #60: Commit 1fc88e7 pushed by gflima
1m 28s gflima
gflima
1m 28s
Bignum.ArmRev: Add SIMD registers and lanes Lean Action CI #59: Commit 585b0c4 pushed by gflima
1m 18s gflima
gflima
1m 18s
Bignum.ArmRev: Add extended register operands Lean Action CI #58: Commit 3fbfb0a pushed by gflima
2m 54s gflima
gflima
2m 54s
Bignum: Add more tests; syntax cleanup Lean Action CI #57: Commit 93f71b8 pushed by gflima
1m 24s gflima
gflima
1m 24s
Bignum.ArmRev: Add WREGs as components Lean Action CI #56: Commit 939b13f pushed by gflima
1m 19s gflima
gflima
1m 19s
Bignum.ArmRev.Instruction: Syntax cleanup Lean Action CI #55: Commit d3e7b8d pushed by gflima
1m 13s gflima
gflima
1m 13s
Bignum.ArmRev.Instruction: Redefine XREGs using components Lean Action CI #54: Commit 9773b12 pushed by gflima
3m 50s gflima
gflima
3m 50s
Bignum.ArmRev: Split into submodules Lean Action CI #53: Commit b3a7377 pushed by gflima
2m 30s gflima
gflima
2m 30s
Bignum.ArmRev: Define WZR using components Lean Action CI #52: Commit 25e3ab6 pushed by gflima
1m 30s gflima
gflima
1m 30s
Bignum.Component: Split into submodules Lean Action CI #51: Commit b9ea754 pushed by gflima
1m 31s gflima
gflima
1m 31s
Bignum.BitVec.Lemmas: Prove correctness of overwriteLsb' Lean Action CI #50: Commit 9bd0161 pushed by gflima
1m 23s gflima
gflima
1m 23s
Bignum.BitVec: Split into submodules Lean Action CI #49: Commit 560057e pushed by gflima
1m 30s gflima
gflima
1m 30s
Bignum.BitVec: Add overwriteLsb' Lean Action CI #48: Commit 7781a7a pushed by gflima
1m 13s gflima
gflima
1m 13s
Bignum.ComponentExtra: New module, extra components Lean Action CI #47: Commit 3d2d189 pushed by gflima
1m 31s gflima
gflima
1m 31s
BigNum.BitVec: Prove correctness of BitVec.setLsb Lean Action CI #46: Commit 4ff2a5c pushed by gflima
1m 27s gflima
gflima
1m 27s
Update lean-toolchain Lean Action CI #45: Commit 75d5e55 pushed by gflima
2m 16s gflima
gflima
2m 16s
Bignum.ArmRev: Start porting code to use Component Lean Action CI #44: Commit 98c2fe6 pushed by gflima
17m 15s gflima
gflima
17m 15s