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

Determining possibly modified registers statically Check for copyright header #360: Pull request #226 synchronize by shigoel
October 14, 2024 16:14 18s cfg_maybe_modified_regs
cfg_maybe_modified_regs
October 14, 2024 16:14 18s
Determining possibly modified registers statically Check for copyright header #359: Pull request #226 synchronize by shigoel
October 14, 2024 16:14 20s cfg_maybe_modified_regs
cfg_maybe_modified_regs
October 14, 2024 16:14 20s
WIP: Experimental method to aggregate state effects Check for copyright header #358: Pull request #239 synchronize by shigoel
October 14, 2024 16:03 24s aggr_dsl
aggr_dsl
October 14, 2024 16:03 24s
WIP: Experimental method to aggregate state effects Check for copyright header #357: Pull request #239 synchronize by shigoel
October 14, 2024 15:58 19s aggr_dsl
aggr_dsl
October 14, 2024 15:58 19s
WIP: Experimental method to aggregate state effects Check for copyright header #356: Pull request #239 opened by shigoel
October 14, 2024 15:58 19s aggr_dsl
aggr_dsl
October 14, 2024 15:58 19s
feat: Add fine grained control over mem_omega rewriting [7/?] Check for copyright header #355: Pull request #238 synchronize by bollu
October 14, 2024 15:42 23s simp-mem-mem-omega-7
simp-mem-mem-omega-7
October 14, 2024 15:42 23s
feat: Add fine grained control over mem_omega rewriting [7/?] Check for copyright header #354: Pull request #238 synchronize by bollu
October 14, 2024 15:14 23s simp-mem-mem-omega-7
simp-mem-mem-omega-7
October 14, 2024 15:14 23s
feat: Rewrite simp_mem to build a new expression, thereby localizing the effects of rewrites [6/?] Check for copyright header #353: Pull request #237 synchronize by bollu
October 14, 2024 15:13 20s simp-mem-mem-omega-6
simp-mem-mem-omega-6
October 14, 2024 15:13 20s
feat: Add fine grained control over mem_omega rewriting [7/?] Check for copyright header #352: Pull request #238 synchronize by bollu
October 14, 2024 15:00 20s simp-mem-mem-omega-7
simp-mem-mem-omega-7
October 14, 2024 15:00 20s
feat: Add fine grained control over mem_omega rewriting [7/?] Check for copyright header #351: Pull request #238 opened by bollu
October 14, 2024 15:00 23s simp-mem-mem-omega-7
simp-mem-mem-omega-7
October 14, 2024 15:00 23s
refactor: rename Tactic.sym.debug traceclass to avoid confusion with the option of the same name. Check for copyright header #350: Pull request #235 synchronize by shigoel
October 13, 2024 04:14 20s rename-sym-debug
rename-sym-debug
October 13, 2024 04:14 20s
WIP: trying out a non-trivial correctness goal for gcm_init_v8 Check for copyright header #349: Pull request #173 synchronize by pennyannn
October 11, 2024 23:24 20s pennyannn:yppe/gcm_init_v8
pennyannn:yppe/gcm_init_v8
October 11, 2024 23:24 20s
WIP: trying out a non-trivial correctness goal for gcm_init_v8 Check for copyright header #348: Pull request #173 synchronize by pennyannn
October 11, 2024 23:16 20s pennyannn:yppe/gcm_init_v8
pennyannn:yppe/gcm_init_v8
October 11, 2024 23:16 20s
refactor: change memory-effects theorem to a quantifier-free statement Check for copyright header #347: Pull request #224 synchronize by alexkeizer
October 11, 2024 22:36 17s memory-effects-proof-as-mem-equals
memory-effects-proof-as-mem-equals
October 11, 2024 22:36 17s
refactor: change memory-effects theorem to a quantifier-free statement Check for copyright header #346: Pull request #224 synchronize by alexkeizer
October 11, 2024 22:35 17s memory-effects-proof-as-mem-equals
memory-effects-proof-as-mem-equals
October 11, 2024 22:35 17s
WIP: trying out a non-trivial correctness goal for gcm_init_v8 Check for copyright header #345: Pull request #173 synchronize by pennyannn
October 11, 2024 22:33 17s pennyannn:yppe/gcm_init_v8
pennyannn:yppe/gcm_init_v8
October 11, 2024 22:33 17s
WIP: trying out a non-trivial correctness goal for gcm_init_v8 Check for copyright header #344: Pull request #173 synchronize by pennyannn
October 11, 2024 22:27 17s pennyannn:yppe/gcm_init_v8
pennyannn:yppe/gcm_init_v8
October 11, 2024 22:27 17s
WIP: trying out a non-trivial correctness goal for gcm_init_v8 Check for copyright header #343: Pull request #173 synchronize by pennyannn
October 11, 2024 22:14 22s pennyannn:yppe/gcm_init_v8
pennyannn:yppe/gcm_init_v8
October 11, 2024 22:14 22s
refactor: change memory-effects theorem to a quantifier-free statement Check for copyright header #342: Pull request #224 synchronize by alexkeizer
October 11, 2024 22:13 18s memory-effects-proof-as-mem-equals
memory-effects-proof-as-mem-equals
October 11, 2024 22:13 18s
WIP: trying out a non-trivial correctness goal for gcm_init_v8 Check for copyright header #341: Pull request #173 synchronize by pennyannn
October 11, 2024 21:54 22s pennyannn:yppe/gcm_init_v8
pennyannn:yppe/gcm_init_v8
October 11, 2024 21:54 22s
WIP: trying out a non-trivial correctness goal for gcm_init_v8 Check for copyright header #340: Pull request #173 synchronize by pennyannn
October 11, 2024 21:50 40s pennyannn:yppe/gcm_init_v8
pennyannn:yppe/gcm_init_v8
October 11, 2024 21:50 40s
feat: Rewrite simp_mem to build a new expression, thereby localizing the effects of rewrites [6/?] Check for copyright header #339: Pull request #237 synchronize by bollu
October 11, 2024 21:29 21s simp-mem-mem-omega-6
simp-mem-mem-omega-6
October 11, 2024 21:29 21s
feat: Rewrite simp_mem to build a new expression, thereby localizing the effects of rewrites [6/?] Check for copyright header #338: Pull request #237 synchronize by bollu
October 11, 2024 21:21 26s simp-mem-mem-omega-6
simp-mem-mem-omega-6
October 11, 2024 21:21 26s
feat: Rewrite simp_mem to build a new expression, thereby localizing the effects of rewrites [6/?] Check for copyright header #337: Pull request #237 synchronize by bollu
October 11, 2024 21:14 6m 17s simp-mem-mem-omega-6
simp-mem-mem-omega-6
October 11, 2024 21:14 6m 17s
feat: Rewrite simp_mem to build a new expression, thereby localizing the effects of rewrites [6/?] Check for copyright header #336: Pull request #237 opened by bollu
October 11, 2024 20:59 58s simp-mem-mem-omega-6
simp-mem-mem-omega-6
October 11, 2024 20:59 58s