Skip to content

Actions: cslib-community/bignum

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
106 workflow runs
106 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
Bignum.Memory: Add basic lemmas about write_bytesLE Lean Action CI #108: Commit 128c76f pushed by gflima
1m 46s main
main
1m 46s
Bignum.Memory: Syntax cleanup Lean Action CI #107: Commit c681b52 pushed by gflima
1m 48s main
main
1m 48s
Bignum.Memory: Syntax cleanup Lean Action CI #106: Commit 98129e7 pushed by gflima
2m 26s main
main
2m 26s
Bignum.Memory: Add Memory.write_bytesLE Lean Action CI #105: Commit d46c591 pushed by gflima
2m 4s main
main
2m 4s
Bignum.Memory: Syntax cleanup Lean Action CI #104: Commit d894495 pushed by gflima
1m 55s main
main
1m 55s
Bignum.Memory: Add read_bytesLE; prove basic properties Lean Action CI #103: Commit 9838dcc pushed by gflima
2m 39s main
main
2m 39s
Bignum.Component: Initial implementation of read_bytes Lean Action CI #102: Commit 8a14084 pushed by gflima
2m 2s main
main
2m 2s
Bignum.Memory: Syntax cleanup Lean Action CI #101: Commit 274f875 pushed by gflima
2m 36s main
main
2m 36s
Bignum.Memory: Add more ByteList lemmas; fix ofIntLE definition Lean Action CI #100: Commit 5ec1249 pushed by gflima
1m 58s main
main
1m 58s
Bignum.Memory: Add more ByteList lemmas Lean Action CI #99: Commit d4e59f9 pushed by gflima
2m 7s main
main
2m 7s
Bighum.Memory: Fix namespace; add lemmas Lean Action CI #98: Commit 78265ae pushed by gflima
2m 33s main
main
2m 33s
Bignum.Memory: Move byte list stuff to the common memory submodule Lean Action CI #97: Commit 5292dc9 pushed by gflima
2m 12s main
main
2m 12s
Bignum.ByteArray: New submodule for little-endian conversions Lean Action CI #96: Commit 8322192 pushed by gflima
1m 57s main
main
1m 57s
BignumTest.Arm.OffsetType: More tests Lean Action CI #95: Commit 5ce1a70 pushed by gflima
2m 40s main
main
2m 40s
Bignum.Arm: Move ARM components out of State namespace Lean Action CI #94: Commit 8511022 pushed by gflima
2m 43s main
main
2m 43s
BignumTest.Arm.ShiftType: Add more tests Lean Action CI #93: Commit 41af772 pushed by gflima
1m 57s main
main
1m 57s
Bignum.Arm.Instruction: Add ADD and SUB instructions Lean Action CI #92: Commit c576e93 pushed by gflima
2m 50s main
main
2m 50s
Add batteries to lakefile.toml Lean Action CI #91: Commit 7401159 pushed by gflima
1m 47s main
main
1m 47s
Remove toplevel Shake.lean Lean Action CI #90: Commit e426de5 pushed by gflima
1m 53s main
main
1m 53s
Remove old docs Lean Action CI #89: Commit 10b0e60 pushed by gflima
1m 46s main
main
1m 46s
BignumTest: Add missing module declarations Lean Action CI #88: Commit 61f6ecf pushed by gflima
1m 49s main
main
1m 49s
Simplify lakefile.toml Lean Action CI #87: Commit 9746347 pushed by gflima
1m 58s main
main
1m 58s
Remove s2n-bignum submodule Lean Action CI #86: Commit 0771a63 pushed by gflima
14m 50s main
main
14m 50s
Bignum.ArmOld: Fix conflicts in last merge Lean Action CI #85: Commit e599a5b pushed by gflima
18m 8s main
main
18m 8s
refactor: move ensures_sequence and maychange_regs_trans to Spec Lean Action CI #84: Commit 7348480 pushed by gflima
17m 8s orig
orig
17m 8s