Skip to content

Actions: leanprover/LNSym

Actions

docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
doc.yml
154 workflow runs
154 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove explicit caching of .lake folder; enable use of Github cache (… docs #79: Commit 8f5ea59 pushed by shigoel
September 16, 2024 17:06 6m 14s main
main
September 16, 2024 17:06 6m 14s
Bump toolchain and remove some dead code (#151) docs #78: Commit 8f723bf pushed by shigoel
September 16, 2024 16:09 7m 4s main
main
September 16, 2024 16:09 7m 4s
fix: avoid creating many different discrimination trees (#152) docs #77: Commit 9b7ff4b pushed by shigoel
September 16, 2024 15:36 5m 32s main
main
September 16, 2024 15:36 5m 32s
feat: change AxEffects.toSimpTheorems to generate more specific dis… docs #76: Commit a5f4285 pushed by shigoel
September 11, 2024 23:57 5m 4s main
main
September 11, 2024 23:57 5m 4s
Merge pull request #149 from leanprover/max-tandem-yoink-refactor docs #75: Commit 1a9fd9e pushed by bollu
September 11, 2024 16:49 5m 40s main
main
September 11, 2024 16:49 5m 40s
Add symbolic simulation for AES-GCM functions (#131) docs #74: Commit 4744656 pushed by shigoel
September 10, 2024 23:52 5m 37s main
main
September 10, 2024 23:52 5m 37s
chore: add .vscode/ to gitignore (#150) docs #73: Commit 1214bd1 pushed by shigoel
September 10, 2024 21:21 3m 34s main
main
September 10, 2024 21:21 3m 34s
chore: add tracing for heartbeat usage of sym_n, refactor the way (… docs #72: Commit 40dfc1d pushed by shigoel
September 9, 2024 19:28 3m 21s main
main
September 9, 2024 19:28 3m 21s
Merge pull request #147 from leanprover/aggregate-at docs #71: Commit eeb89ac pushed by alexkeizer
September 9, 2024 18:48 3m 17s main
main
September 9, 2024 18:48 3m 17s
Clean up of AddLoop and Abs VCG proofs (#144) docs #70: Commit 81d0ab2 pushed by shigoel
September 9, 2024 18:20 3m 22s main
main
September 9, 2024 18:20 3m 22s
feat: prove specification of Max program that manipulates memory via … docs #69: Commit 74aba78 pushed by shigoel
September 8, 2024 20:03 3m 32s main
main
September 8, 2024 20:03 3m 32s
feat: enable fuel for CSE (#130) docs #68: Commit e23d005 pushed by shigoel
September 8, 2024 19:54 3m 27s main
main
September 8, 2024 19:54 3m 27s
feat: add automation support for pairwise memory separation (#126) docs #67: Commit c6c48a0 pushed by shigoel
September 6, 2024 16:04 3m 26s main
main
September 6, 2024 16:04 3m 26s
fix: better handling of unconditional branches (#143) docs #66: Commit cfabb12 pushed by shigoel
September 6, 2024 00:26 3m 15s main
main
September 6, 2024 00:26 3m 15s
Add StateEq theorems to Arm/State.lean (#141) docs #65: Commit 4e7e52c pushed by shigoel
September 5, 2024 22:13 3m 14s main
main
September 5, 2024 22:13 3m 14s
feat: simp-based aggregation of effects (#133) docs #64: Commit 8e35a19 pushed by shigoel
September 5, 2024 17:39 3m 20s main
main
September 5, 2024 17:39 3m 20s
feat: efficient axiomatization of effects (#129) docs #63: Commit a52baba pushed by shigoel
September 4, 2024 19:58 3m 21s main
main
September 4, 2024 19:58 3m 21s
Total Correctness Framework (#119) docs #62: Commit b0a10ee pushed by shigoel
September 3, 2024 22:49 3m 3s main
main
September 3, 2024 22:49 3m 3s
Fix DPI.Logical_imm instructions to account for aliases TST and MOV (… docs #61: Commit 3fff61c pushed by shigoel
September 3, 2024 22:06 3m 1s main
main
September 3, 2024 22:06 3m 1s
chore: bump toolchain to nightly-2024-08-29 (#132) docs #60: Commit 099e085 pushed by shigoel
August 30, 2024 16:06 3m 36s main
main
August 30, 2024 16:06 3m 36s
chore: Memory Tactic now solves in a loop and throws error if failed … docs #59: Commit c4d5be0 pushed by shigoel
August 28, 2024 03:02 4m 32s main
main
August 28, 2024 03:02 4m 32s
feat: Do not CSE Nat literals (#124) docs #58: Commit 13ffb2f pushed by shigoel
August 27, 2024 15:57 4m 26s main
main
August 27, 2024 15:57 4m 26s
chore: checkpoint tactic state before in CSE and restore on failure … docs #57: Commit 45b7fb4 pushed by shigoel
August 26, 2024 21:06 4m 28s main
main
August 26, 2024 21:06 4m 28s
Merge pull request #98 from bollu/cosim-config-cache docs #56: Commit f203e58 pushed by bollu
August 26, 2024 20:52 4m 32s main
main
August 26, 2024 20:52 4m 32s
feat: add .github/CODEOWNERS to allow smooth collaboration. (#120) docs #55: Commit 168a1bd pushed by shigoel
August 26, 2024 16:14 4m 31s main
main
August 26, 2024 16:14 4m 31s