Skip to content

Actions: pennyannn/LNSym-public

Actions

docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
doc.yml
37 workflow runs
37 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use AbstractAtoms in PruneUpdates docs #37: Commit 678c2ce pushed by pennyannn
November 20, 2024 02:13 8m 42s main
main
November 20, 2024 02:13 8m 42s
Update the gcm_init_v8 proof (#245) docs #36: Commit 16a1dd9 pushed by pennyannn
November 12, 2024 18:45 7m 16s main
main
November 12, 2024 18:45 7m 16s
feat: enable simp_mem to be used in ITP style [8/?] (#240) docs #35: Commit e397f57 pushed by pennyannn
November 5, 2024 20:02 6m 32s main
main
November 5, 2024 20:02 6m 32s
Progress towards GCMGMultV8 and associated BitVec cleanup (#243) docs #34: Commit 1b67f50 pushed by pennyannn
October 28, 2024 02:54 6m 49s main
main
October 28, 2024 02:54 6m 49s
chore: bump toolchain to nightly-2024-10-07 (#217) docs #33: Commit 2e4d59c pushed by pennyannn
October 11, 2024 21:48 7m 33s main
main
October 11, 2024 21:48 7m 33s
feat: mem_separate_of_mem_separate' (#229) docs #32: Commit 004e068 pushed by pennyannn
October 11, 2024 17:36 7m 20s main
main
October 11, 2024 17:36 7m 20s
refactor: remove SymContext.h_sp?, replacing uses with the correspo… docs #31: Commit c498cbe pushed by pennyannn
October 7, 2024 17:50 7m 30s main
main
October 7, 2024 17:50 7m 30s
Merge pull request #208 from leanprover/remove-toNat-bitvec-rules docs #30: Commit 55f27e3 pushed by pennyannn
October 3, 2024 17:40 6m 57s main
main
October 3, 2024 17:40 6m 57s
Merge pull request #189 from leanprover/refactor-state-monads-5 docs #29: Commit 16e3f4f pushed by pennyannn
October 2, 2024 18:21 7m 43s main
main
October 2, 2024 18:21 7m 43s
chore: add commented set_option trace.profiler true for easy logging … docs #28: Commit 3607f93 pushed by pennyannn
September 30, 2024 18:34 6m 55s main
main
September 30, 2024 18:34 6m 55s
Merge pull request #196 from leanprover/fix-geomean docs #27: Commit 0194790 pushed by pennyannn
September 27, 2024 00:22 6m 50s main
main
September 27, 2024 00:22 6m 50s
Add workflow to check for presence of copyright headers (#185) docs #26: Commit 27a2f3b pushed by pennyannn
September 24, 2024 20:23 6m 15s main
main
September 24, 2024 20:23 6m 15s
Use structural recursion and rfl (#158) docs #25: Commit 79a5cc1 pushed by pennyannn
September 20, 2024 21:50 7m 1s main
main
September 20, 2024 21:50 7m 1s
chore: Switch to Std.HashMap (#172) docs #24: Commit 31a381d pushed by pennyannn
September 20, 2024 19:14 6m 29s main
main
September 20, 2024 19:14 6m 29s
feat: Decidable instances for mem_legal', mem_subset', mem_separate' … docs #23: Commit 9580cd7 pushed by pennyannn
September 19, 2024 17:12 7m 16s main
main
September 19, 2024 17:12 7m 16s
chore: add q0..4 accessors for registers [4/? memcpy] (#166) docs #22: Commit 5f6bd3b pushed by pennyannn
September 19, 2024 04:57 7m 10s main
main
September 19, 2024 04:57 7m 10s
Remove explicit caching of .lake folder; enable use of Github cache (… docs #21: Commit 8f5ea59 pushed by pennyannn
September 16, 2024 18:19 7m 7s main
main
September 16, 2024 18:19 7m 7s
feat: change AxEffects.toSimpTheorems to generate more specific dis… docs #20: Commit a5f4285 pushed by pennyannn
September 12, 2024 18:16 5m 28s main
main
September 12, 2024 18:16 5m 28s
Add symbolic simulation for AES-GCM functions (#131) docs #19: Commit 4744656 pushed by pennyannn
September 11, 2024 00:02 5m 38s main
main
September 11, 2024 00:02 5m 38s
chore: add .vscode/ to gitignore (#150) docs #18: Commit 1214bd1 pushed by pennyannn
September 10, 2024 23:20 3m 42s main
main
September 10, 2024 23:20 3m 42s
chore: add tracing for heartbeat usage of sym_n, refactor the way (… docs #17: Commit 40dfc1d pushed by pennyannn
September 9, 2024 22:55 3m 20s main
main
September 9, 2024 22:55 3m 20s
Merge pull request #147 from leanprover/aggregate-at docs #16: Commit eeb89ac pushed by pennyannn
September 9, 2024 18:49 3m 22s main
main
September 9, 2024 18:49 3m 22s
feat: add automation support for pairwise memory separation (#126) docs #15: Commit c6c48a0 pushed by pennyannn
September 6, 2024 17:56 3m 22s main
main
September 6, 2024 17:56 3m 22s
feat: efficient axiomatization of effects (#129) docs #14: Commit a52baba pushed by pennyannn
September 4, 2024 20:17 3m 33s main
main
September 4, 2024 20:17 3m 33s
chore: bump toolchain to nightly-2024-08-29 (#132) docs #13: Commit 099e085 pushed by pennyannn
August 30, 2024 21:43 3m 36s main
main
August 30, 2024 21:43 3m 36s