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: expand sym_aggregate search to include equalities ?state.program = ?program Check for copyright header #335: Pull request #236 opened by alexkeizer
October 11, 2024 20:24 24s empower-sym-aggregate
empower-sym-aggregate
October 11, 2024 20:24 24s
refactor: rename Tactic.sym.debug traceclass to avoid confusion with the option of the same name. Check for copyright header #334: Pull request #235 synchronize by alexkeizer
October 11, 2024 19:54 17s rename-sym-debug
rename-sym-debug
October 11, 2024 19:54 17s
refactor: rename Tactic.sym.debug traceclass to avoid confusion with the option of the same name. Check for copyright header #333: Pull request #235 opened by alexkeizer
October 11, 2024 19:47 17s rename-sym-debug
rename-sym-debug
October 11, 2024 19:47 17s
refactor: change memory-effects theorem to a quantifier-free statement Check for copyright header #332: Pull request #224 synchronize by alexkeizer
October 11, 2024 19:42 21s memory-effects-proof-as-mem-equals
memory-effects-proof-as-mem-equals
October 11, 2024 19:42 21s
feat: Track whether simp_mem made progress in the monad state [5/?] Check for copyright header #331: Pull request #234 opened by bollu
October 11, 2024 19:31 22s simp-mem-mem-omega-5
simp-mem-mem-omega-5
October 11, 2024 19:31 22s
refactor: change memory-effects theorem to a quantifier-free statement Check for copyright header #330: Pull request #224 synchronize by alexkeizer
October 11, 2024 19:13 17s memory-effects-proof-as-mem-equals
memory-effects-proof-as-mem-equals
October 11, 2024 19:13 17s
feat: Switch out all of mem_omega with MetaM [4/?] Check for copyright header #329: Pull request #233 opened by bollu
October 11, 2024 19:09 15s simp-mem-mem-omega-4
simp-mem-mem-omega-4
October 11, 2024 19:09 15s
refactor: change memory-effects theorem to a quantifier-free statement Check for copyright header #328: Pull request #224 synchronize by alexkeizer
October 11, 2024 19:09 16s memory-effects-proof-as-mem-equals
memory-effects-proof-as-mem-equals
October 11, 2024 19:09 16s
chore: bump toolchain to nightly-2024-10-07 Check for copyright header #327: Pull request #217 synchronize by alexkeizer
October 11, 2024 18:44 19s bump-toolchain-2024-10-04
bump-toolchain-2024-10-04
October 11, 2024 18:44 19s
feat: Switch bvOmegaBench to use MetaM [3/?] Check for copyright header #326: Pull request #232 synchronize by bollu
October 11, 2024 18:35 13s simp-mem-mem-omega-3
simp-mem-mem-omega-3
October 11, 2024 18:35 13s
feat: Switch bvOmegaBench to use MetaM [3/?] Check for copyright header #325: Pull request #232 synchronize by bollu
October 11, 2024 18:15 18s simp-mem-mem-omega-3
simp-mem-mem-omega-3
October 11, 2024 18:15 18s
chore: bump toolchain to nightly-2024-10-07 Check for copyright header #324: Pull request #217 synchronize by alexkeizer
October 11, 2024 18:02 23s bump-toolchain-2024-10-04
bump-toolchain-2024-10-04
October 11, 2024 18:02 23s
chore: bump toolchain to nightly-2024-10-07 Check for copyright header #323: Pull request #217 synchronize by alexkeizer
October 11, 2024 18:01 23s bump-toolchain-2024-10-04
bump-toolchain-2024-10-04
October 11, 2024 18:01 23s
chore: bump toolchain to nightly-2024-10-07 Check for copyright header #322: Pull request #217 synchronize by alexkeizer
October 11, 2024 17:55 25s bump-toolchain-2024-10-04
bump-toolchain-2024-10-04
October 11, 2024 17:55 25s
feat: Switch bvOmegaBench to use MetaM [3/?] Check for copyright header #321: Pull request #232 synchronize by bollu
October 11, 2024 17:49 12s simp-mem-mem-omega-3
simp-mem-mem-omega-3
October 11, 2024 17:49 12s
chore: bump toolchain to nightly-2024-10-07 Check for copyright header #320: Pull request #217 synchronize by alexkeizer
October 11, 2024 17:43 26s bump-toolchain-2024-10-04
bump-toolchain-2024-10-04
October 11, 2024 17:43 26s
WIP: trying out a non-trivial correctness goal for gcm_init_v8 Check for copyright header #319: Pull request #173 synchronize by pennyannn
October 11, 2024 17:39 18s pennyannn:yppe/gcm_init_v8
pennyannn:yppe/gcm_init_v8
October 11, 2024 17:39 18s
feat: Switch bvOmegaBench to use MetaM [3/?] Check for copyright header #318: Pull request #232 opened by bollu
October 11, 2024 16:51 13s simp-mem-mem-omega-3
simp-mem-mem-omega-3
October 11, 2024 16:51 13s
Determining possibly modified registers statically Check for copyright header #317: Pull request #226 synchronize by bollu
October 11, 2024 15:49 14s cfg_maybe_modified_regs
cfg_maybe_modified_regs
October 11, 2024 15:49 14s
Determining possibly modified registers statically Check for copyright header #316: Pull request #226 synchronize by shigoel
October 11, 2024 15:22 15s cfg_maybe_modified_regs
cfg_maybe_modified_regs
October 11, 2024 15:22 15s
Determining possibly modified registers statically Check for copyright header #315: Pull request #226 synchronize by shigoel
October 11, 2024 14:48 17s cfg_maybe_modified_regs
cfg_maybe_modified_regs
October 11, 2024 14:48 17s
Determining possibly modified registers statically Check for copyright header #314: Pull request #226 synchronize by shigoel
October 11, 2024 14:47 13s cfg_maybe_modified_regs
cfg_maybe_modified_regs
October 11, 2024 14:47 13s
Determining possibly modified registers statically Check for copyright header #313: Pull request #226 synchronize by shigoel
October 11, 2024 14:47 18s cfg_maybe_modified_regs
cfg_maybe_modified_regs
October 11, 2024 14:47 18s
Determining possibly modified registers statically Check for copyright header #312: Pull request #226 synchronize by shigoel
October 11, 2024 14:47 21s cfg_maybe_modified_regs
cfg_maybe_modified_regs
October 11, 2024 14:47 21s
chore: Split out the finishing tactic aspect of simp_mem into mem_omega [2/?] Check for copyright header #311: Pull request #231 synchronize by bollu
October 10, 2024 23:21 13s simp-mem-mem-omega-2
simp-mem-mem-omega-2
October 10, 2024 23:21 13s