Skip to content

Actions: leanprover/LNSym

Actions

docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
doc.yml
155 workflow runs
155 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
feat: add bv_omega_bench to run omega and produce goal states + timin… docs #129: Commit d11921b pushed by shigoel
October 9, 2024 19:14 7m 30s main
main
October 9, 2024 19:14 7m 30s
Work towards the GCM GMult functional correctness proof (#225) docs #128: Commit a499a57 pushed by shigoel
October 9, 2024 15:10 7m 22s main
main
October 9, 2024 15:10 7m 22s
chore: make section names more meaningful (#220) docs #127: Commit 22c4c3e pushed by shigoel
October 8, 2024 20:14 7m 12s main
main
October 8, 2024 20:14 7m 12s
feat: use withCurrHeartbeats to reset the heartbeat usage for each st… docs #126: Commit 139c089 pushed by shigoel
October 8, 2024 19:46 7m 10s main
main
October 8, 2024 19:46 7m 10s
chore: add more trace nodes, for better profiling data (#211) docs #125: Commit 85d5239 pushed by shigoel
October 8, 2024 19:31 7m 4s main
main
October 8, 2024 19:31 7m 4s
feat: add options for more control over benchmarking and better profi… docs #124: Commit 55a8638 pushed by alexkeizer
October 8, 2024 15:41 7m 16s main
main
October 8, 2024 15:41 7m 16s
feat: attempt to preserve stack alignment proof in AxEffect update (#… docs #123: Commit 055809c pushed by shigoel
October 8, 2024 01:48 7m 1s main
main
October 8, 2024 01:48 7m 1s
feat: generalize to arbitrary bitvec width `zeroextend_bigger_smaller… docs #122: Commit 7850ae0 pushed by shigoel
October 8, 2024 01:30 7m 6s main
main
October 8, 2024 01:30 7m 6s
refactor: remove SymContext.h_sp?, replacing uses with the correspo… docs #121: Commit c498cbe pushed by shigoel
October 6, 2024 02:15 7m 48s main
main
October 6, 2024 02:15 7m 48s
Simplify partInstall to use start and len (#216) docs #120: Commit d19c6e4 pushed by shigoel
October 6, 2024 01:30 6m 54s main
main
October 6, 2024 01:30 6m 54s
Merge pull request #208 from leanprover/remove-toNat-bitvec-rules docs #119: Commit 55f27e3 pushed by bollu
October 3, 2024 15:58 7m 13s main
main
October 3, 2024 15:58 7m 13s
refactor: use searchLCtx in sym_aggregate (#201) docs #118: Commit fbae789 pushed by shigoel
October 3, 2024 02:17 7m 53s main
main
October 3, 2024 02:17 7m 53s
feat: search for reads of *any* register when building an initial `Sy… docs #117: Commit 9431fcb pushed by shigoel
October 3, 2024 02:05 8m 25s main
main
October 3, 2024 02:05 8m 25s
Refactor to use extractLsb' instead of extractLsb (#191) docs #116: Commit 9f2c4f5 pushed by shigoel
October 3, 2024 01:47 7m 48s main
main
October 3, 2024 01:47 7m 48s
Merge pull request #189 from leanprover/refactor-state-monads-5 docs #115: Commit 16e3f4f pushed by alexkeizer
September 30, 2024 23:11 7m 35s main
main
September 30, 2024 23:11 7m 35s
Reasoning about GCMGmultV8 (#153) docs #114: Commit 3dffc70 pushed by shigoel
September 30, 2024 23:08 7m 11s main
main
September 30, 2024 23:08 7m 11s
Syntax for stating register and memory frame conditions (#205) docs #113: Commit 11d95ad pushed by shigoel
September 30, 2024 22:34 7m 38s main
main
September 30, 2024 22:34 7m 38s
feat: bitvector constant folding simprocs (#193) docs #112: Commit 98658e3 pushed by shigoel
September 30, 2024 21:59 7m 1s main
main
September 30, 2024 21:59 7m 1s
feat: add combinators for more fine-grained benchmarking (#198) docs #111: Commit 1f55d94 pushed by shigoel
September 30, 2024 21:02 7m 13s main
main
September 30, 2024 21:02 7m 13s
chore: add commented set_option trace.profiler true for easy logging … docs #110: Commit 3607f93 pushed by shigoel
September 28, 2024 17:47 6m 52s main
main
September 28, 2024 17:47 6m 52s
refactor: rename Reflect folder to Sym, move SymContext to `Sym… docs #109: Commit 3f6b34e pushed by shigoel
September 27, 2024 22:03 7m 12s main
main
September 27, 2024 22:03 7m 12s
Minor edits to SHA512 sym (#203) docs #108: Commit c097f65 pushed by shigoel
September 27, 2024 19:41 7m 0s main
main
September 27, 2024 19:41 7m 0s
fix: inferStatePrefix... should default to s1 as the first interm… docs #107: Commit 06bc3ec pushed by shigoel
September 27, 2024 16:57 7m 5s main
main
September 27, 2024 16:57 7m 5s
Merge pull request #196 from leanprover/fix-geomean docs #106: Commit 0194790 pushed by bollu
September 26, 2024 18:53 6m 49s main
main
September 26, 2024 18:53 6m 49s