Skip to content

Actions: leanprover/LNSym

Actions

Check for copyright header

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
copyright-header.yml
459 workflow runs
459 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: LCtxSearch abstraction to search the local context in a single pass Check for copyright header #34: Pull request #189 synchronize by alexkeizer
September 25, 2024 21:35 13s refactor-state-monads-5
refactor-state-monads-5
September 25, 2024 21:35 13s
refactor: cleanup popcount proof Check for copyright header #33: Pull request #168 synchronize by shigoel
September 25, 2024 20:22 14s cleanup-popcount
cleanup-popcount
September 25, 2024 20:22 14s
feat: LCtxSearch abstraction to search the local context in a single pass Check for copyright header #32: Pull request #189 synchronize by alexkeizer
September 25, 2024 20:22 13s refactor-state-monads-5
refactor-state-monads-5
September 25, 2024 20:22 13s
feat: LCtxSearch abstraction to search the local context in a single pass Check for copyright header #31: Pull request #189 opened by alexkeizer
September 25, 2024 20:15 17s refactor-state-monads-5
refactor-state-monads-5
September 25, 2024 20:15 17s
refactor: cleanup popcount proof Check for copyright header #30: Pull request #168 synchronize by bollu
September 25, 2024 19:49 13s cleanup-popcount
cleanup-popcount
September 25, 2024 19:49 13s
chore: make simp_mem less aggressive, was timing out Check for copyright header #29: Pull request #188 opened by bollu
September 25, 2024 19:42 14s less-agressive-simp-mem
less-agressive-simp-mem
September 25, 2024 19:42 14s
feat: benchmark setup Check for copyright header #28: Pull request #183 synchronize by alexkeizer
September 25, 2024 18:56 15s alexkeizer:setup-benchmarks
alexkeizer:setup-benchmarks
September 25, 2024 18:56 15s
feat: benchmark setup Check for copyright header #27: Pull request #183 synchronize by alexkeizer
September 25, 2024 18:55 16s alexkeizer:setup-benchmarks
alexkeizer:setup-benchmarks
September 25, 2024 18:55 16s
feat: benchmark setup Check for copyright header #26: Pull request #183 synchronize by alexkeizer
September 25, 2024 18:50 14s alexkeizer:setup-benchmarks
alexkeizer:setup-benchmarks
September 25, 2024 18:50 14s
feat: benchmark setup Check for copyright header #25: Pull request #183 synchronize by alexkeizer
September 25, 2024 18:48 15s alexkeizer:setup-benchmarks
alexkeizer:setup-benchmarks
September 25, 2024 18:48 15s
feat: benchmark setup Check for copyright header #24: Pull request #183 synchronize by alexkeizer
September 25, 2024 18:46 1m 40s alexkeizer:setup-benchmarks
alexkeizer:setup-benchmarks
September 25, 2024 18:46 1m 40s
feat: Correctness of Memcpy program Check for copyright header #23: Pull request #138 synchronize by bollu
September 25, 2024 15:35 16s memcpy
memcpy
September 25, 2024 15:35 16s
refactor: cleanup popcount proof Check for copyright header #22: Pull request #168 synchronize by bollu
September 25, 2024 15:20 18s cleanup-popcount
cleanup-popcount
September 25, 2024 15:20 18s
feat: add address normalization Check for copyright header #21: Pull request #184 synchronize by bollu
September 25, 2024 14:59 15s address-normalization
address-normalization
September 25, 2024 14:59 15s
refactor: cleanup popcount proof Check for copyright header #20: Pull request #168 synchronize by shigoel
September 25, 2024 13:16 15s cleanup-popcount
cleanup-popcount
September 25, 2024 13:16 15s
feat: Correctness of Memcpy program Check for copyright header #19: Pull request #138 synchronize by shigoel
September 25, 2024 13:12 15s memcpy
memcpy
September 25, 2024 13:12 15s
feat: add address normalization Check for copyright header #18: Pull request #184 synchronize by bollu
September 24, 2024 22:50 14s address-normalization
address-normalization
September 24, 2024 22:50 14s
feat: add address normalization Check for copyright header #17: Pull request #184 synchronize by bollu
September 24, 2024 21:47 14s address-normalization
address-normalization
September 24, 2024 21:47 14s
feat: add address normalization Check for copyright header #16: Pull request #184 synchronize by bollu
September 24, 2024 21:19 18s address-normalization
address-normalization
September 24, 2024 21:19 18s
feat: add address normalization Check for copyright header #15: Pull request #184 synchronize by bollu
September 24, 2024 20:57 17s address-normalization
address-normalization
September 24, 2024 20:57 17s
WIP: trying out a non-trivial correctness goal for gcm_init_v8 Check for copyright header #14: Pull request #173 synchronize by pennyannn
September 24, 2024 20:25 15s pennyannn:yppe/gcm_init_v8
pennyannn:yppe/gcm_init_v8
September 24, 2024 20:25 15s
refactor: rename Reflect folder to Sym, move SymContext to Sym/Context Check for copyright header #13: Pull request #187 opened by alexkeizer
September 24, 2024 20:17 13s refactor-state-monads-4
refactor-state-monads-4
September 24, 2024 20:17 13s
feat: implement persistent AxEffects updates Check for copyright header #12: Pull request #182 synchronize by alexkeizer
September 24, 2024 20:05 18s refactor-state-monads-3
refactor-state-monads-3
September 24, 2024 20:05 18s
refactor: remove SymContext.h_err? field, move addGoalsForMissingHypotheses functionality into fromLocalContext Check for copyright header #11: Pull request #181 synchronize by alexkeizer
September 24, 2024 20:05 17s refactor-state-monads-2
refactor-state-monads-2
September 24, 2024 20:05 17s
refactor: incorporate an AxEffects field in SymContext, introduce SymM monad for SymContext state Check for copyright header #10: Pull request #180 synchronize by alexkeizer
September 24, 2024 19:51 15s refactor-state-monads-alt
refactor-state-monads-alt
September 24, 2024 19:51 15s
ProTip! You can narrow down the results and go further in time using created:<2024-09-24 or the other filters available.