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

Use AbstractAtoms in PruneUpdates docs #154: Commit 678c2ce pushed by shigoel
November 15, 2024 21:11 8m 36s main
main
November 15, 2024 21:11 8m 36s
Fix typo. in prune_updates timeout example docs #153: Commit 8926219 pushed by shigoel
November 13, 2024 22:58 8m 45s main
main
November 13, 2024 22:58 8m 45s
Add reference implementation of prune_updates (#246) docs #152: Commit 6847ebc pushed by shigoel
November 13, 2024 21:30 8m 41s main
main
November 13, 2024 21:30 8m 41s
Update the gcm_init_v8 proof (#245) docs #151: Commit 16a1dd9 pushed by shigoel
November 12, 2024 16:33 7m 0s main
main
November 12, 2024 16:33 7m 0s
feat: enable simp_mem to be used in ITP style [8/?] (#240) docs #150: Commit e397f57 pushed by shigoel
November 1, 2024 15:43 5m 44s main
main
November 1, 2024 15:43 5m 44s
feat: Add fine grained control over mem_omega rewriting [7/?] (#238) docs #149: Commit 619ef75 pushed by shigoel
October 31, 2024 21:59 7m 1s main
main
October 31, 2024 21:59 7m 1s
refactor: rephrase the register frame-condition precondition as non-m… docs #148: Commit a4d2552 pushed by shigoel
October 31, 2024 20:52 6m 20s main
main
October 31, 2024 20:52 6m 20s
Merge pull request #237 from leanprover/simp-mem-mem-omega-6 docs #147: Commit 5eb5fa9 pushed by bollu
October 31, 2024 19:48 6m 7s main
main
October 31, 2024 19:48 6m 7s
feat: Track whether simp_mem made progress in the monad state [5/?] (… docs #146: Commit 37cb9f5 pushed by shigoel
October 31, 2024 16:00 6m 3s main
main
October 31, 2024 16:00 6m 3s
feat: Switch out all of mem_omega with MetaM [4/?] (#233) docs #145: Commit 49914dd pushed by shigoel
October 31, 2024 00:05 6m 2s main
main
October 31, 2024 00:05 6m 2s
feat: Switch bvOmegaBench to use MetaM [3/?] (#232) docs #144: Commit 486bd6e pushed by shigoel
October 30, 2024 19:55 6m 10s main
main
October 30, 2024 19:55 6m 10s
chore: Split out the finishing tactic aspect of simp_mem into mem_ome… docs #143: Commit 25fffe0 pushed by shigoel
October 29, 2024 16:53 6m 32s main
main
October 29, 2024 16:53 6m 32s
chore: split out simp_mem to Arm/Memory/Common [1/?] (#230) docs #142: Commit 3ac8c20 pushed by shigoel
October 28, 2024 19:52 6m 7s main
main
October 28, 2024 19:52 6m 7s
Progress towards GCMGMultV8 and associated BitVec cleanup (#243) docs #141: Commit 1b67f50 pushed by shigoel
October 17, 2024 20:11 6m 58s main
main
October 17, 2024 20:11 6m 58s
refactor: change memory-effects theorem to a quantifier-free statemen… docs #140: Commit a47a266 pushed by shigoel
October 16, 2024 22:50 6m 21s main
main
October 16, 2024 22:50 6m 21s
WIP: trying out a non-trivial correctness goal for gcm_init_v8 (#173) docs #139: Commit c7829f1 pushed by shigoel
October 16, 2024 20:29 6m 20s main
main
October 16, 2024 20:29 6m 20s
Determining possibly modified registers statically (#226) docs #138: Commit 807738b pushed by shigoel
October 14, 2024 16:26 6m 38s main
main
October 14, 2024 16:26 6m 38s
refactor: rename Tactic.sym.debug traceclass to avoid confusion wit… docs #137: Commit c9ca372 pushed by shigoel
October 14, 2024 15:56 6m 40s main
main
October 14, 2024 15:56 6m 40s
feat: expand sym_aggregate search to include equalities `?state.pro… docs #136: Commit 3b8f5f1 pushed by shigoel
October 13, 2024 04:13 6m 41s main
main
October 13, 2024 04:13 6m 41s
chore: bump toolchain to nightly-2024-10-07 (#217) docs #135: Commit 2e4d59c pushed by shigoel
October 11, 2024 19:11 7m 31s main
main
October 11, 2024 19:11 7m 31s
feat: mem_separate_of_mem_separate' (#229) docs #134: Commit 004e068 pushed by shigoel
October 10, 2024 19:55 7m 40s main
main
October 10, 2024 19:55 7m 40s
chore: do not CSE literals (#228) docs #133: Commit 0096556 pushed by shigoel
October 10, 2024 17:26 7m 6s main
main
October 10, 2024 17:26 7m 6s
chore: fix proof building in 'mem.read ... = mem.read ...' (#227) docs #132: Commit 8fdbadb pushed by shigoel
October 10, 2024 16:55 7m 17s main
main
October 10, 2024 16:55 7m 17s
refactor: extract out MemoryEffects structure (#222) docs #131: Commit 0ac14c8 pushed by shigoel
October 10, 2024 13:55 7m 8s main
main
October 10, 2024 13:55 7m 8s
feat: replace use of (evalTactic bv_omega) with a manual run of simp … docs #130: Commit ae0d779 pushed by shigoel
October 9, 2024 22:41 7m 15s main
main
October 9, 2024 22:41 7m 15s