Skip to content

Actions: leanprover/LNSym

docs

Actions

Loading...
Loading

Create status badge

Loading
40 workflow run results
40 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

August 19, 2024 21:04 4m 33s
Respect Apple's ABI for cosimulations (#95)
docs #39: Commit 16b87e6 pushed by shigoel
August 19, 2024 19:45 4m 50s main
August 19, 2024 19:45 4m 50s
August 16, 2024 20:16 4m 10s
Added bit twiddling hacks proofs using bv_decide (#85)
docs #37: Commit 9f261d1 pushed by shigoel
August 16, 2024 16:06 3m 59s main
August 16, 2024 16:06 3m 59s
August 15, 2024 16:40 4m 36s
Better bitvec reduction (#89)
docs #35: Commit 60156d5 pushed by shigoel
August 15, 2024 15:47 4m 40s main
August 15, 2024 15:47 4m 40s
August 15, 2024 04:07 4m 23s
fix: use simprocs in step-theorem generation (#87)
docs #33: Commit 123f6d5 pushed by shigoel
August 15, 2024 03:12 4m 25s main
August 15, 2024 03:12 4m 25s
refactor: assorted cleanups of Sym/SymContext (#86)
docs #32: Commit 557e9f4 pushed by shigoel
August 15, 2024 03:03 4m 24s main
August 15, 2024 03:03 4m 24s
feat: new definitions for memory separation (#81)
docs #31: Commit bdba085 pushed by shigoel
August 14, 2024 21:36 5m 11s main
August 14, 2024 21:36 5m 11s
feat: add simproc to simplify fetch_inst through reflection (#80)
docs #30: Commit c0c0ae4 pushed by shigoel
August 14, 2024 15:40 5m 6s main
August 14, 2024 15:40 5m 6s
August 14, 2024 15:19 4m 29s
feat: Aarch64 runner (#78)
docs #28: Commit 4070e10 pushed by shigoel
August 14, 2024 03:21 4m 26s main
August 14, 2024 03:21 4m 26s
Modify cosim scripts to work on M* Apple machines (#77)
docs #27: Commit a290dc4 pushed by shigoel
August 13, 2024 23:39 4m 18s main
August 13, 2024 23:39 4m 18s
feat: New definitions for the memory model (#74)
docs #26: Commit 6730f51 pushed by shigoel
August 13, 2024 23:30 4m 45s main
August 13, 2024 23:30 4m 45s
August 13, 2024 21:44 4m 19s
August 12, 2024 23:43 4m 20s
Program proofs using assertional verification methods (#66)
docs #23: Commit 7eed9ab pushed by shigoel
August 12, 2024 22:09 5m 2s main
August 12, 2024 22:09 5m 2s
August 12, 2024 21:25 4m 30s
feat: add extractLsByte(s) API for memory. (#73)
docs #21: Commit 018c14f pushed by shigoel
August 12, 2024 15:13 4m 57s main
August 12, 2024 15:13 4m 57s
Remove definitions that have been incorporated into ELFSage (#59)
docs #20: Commit b6086af pushed by shigoel
August 12, 2024 02:44 6m 18s main
August 12, 2024 02:44 6m 18s
feat: Common Subpexpression Elimination, v1 (#65)
docs #19: Commit 062576b pushed by shigoel
August 10, 2024 00:22 4m 19s main
August 10, 2024 00:22 4m 19s
refactor: rename Program.min/max to min?/max? to reflect it r…
docs #18: Commit b7e3709 pushed by shigoel
August 10, 2024 00:00 4m 39s main
August 10, 2024 00:00 4m 39s
Adding Popcount32 proof (#68)
docs #17: Commit c9f232b pushed by shigoel
August 9, 2024 22:33 4m 46s main
August 9, 2024 22:33 4m 46s
chore: move memory into a semarate Arm/Memory/ subdirectory (#70)
docs #16: Commit c0f02ab pushed by shigoel
August 9, 2024 16:56 4m 15s main
August 9, 2024 16:56 4m 15s