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

refactor: rephrase the register frame-condition precondition as non-membership in a list of modified registers Check for copyright header #410: Pull request #242 synchronize by alexkeizer
October 31, 2024 18:31 1m 14s register-frame-condition-refactor
register-frame-condition-refactor
October 31, 2024 18:31 1m 14s
feat: Rewrite simp_mem to build a new expression, thereby localizing the effects of rewrites [6/?] Check for copyright header #409: Pull request #237 synchronize by bollu
October 31, 2024 16:43 27s simp-mem-mem-omega-6
simp-mem-mem-omega-6
October 31, 2024 16:43 27s
feat: Rewrite simp_mem to build a new expression, thereby localizing the effects of rewrites [6/?] Check for copyright header #408: Pull request #237 synchronize by bollu
October 31, 2024 16:36 1m 32s simp-mem-mem-omega-6
simp-mem-mem-omega-6
October 31, 2024 16:36 1m 32s
feat: Track whether simp_mem made progress in the monad state [5/?] Check for copyright header #407: Pull request #234 synchronize by bollu
October 31, 2024 15:37 1m 34s simp-mem-mem-omega-5
simp-mem-mem-omega-5
October 31, 2024 15:37 1m 34s
feat: Switch out all of mem_omega with MetaM [4/?] Check for copyright header #406: Pull request #233 synchronize by bollu
October 30, 2024 21:42 19s simp-mem-mem-omega-4
simp-mem-mem-omega-4
October 30, 2024 21:42 19s
feat: Switch bvOmegaBench to use MetaM [3/?] Check for copyright header #405: Pull request #232 synchronize by bollu
October 30, 2024 18:54 18s simp-mem-mem-omega-3
simp-mem-mem-omega-3
October 30, 2024 18:54 18s
feat: Switch bvOmegaBench to use MetaM [3/?] Check for copyright header #404: Pull request #232 synchronize by bollu
October 30, 2024 18:50 18s simp-mem-mem-omega-3
simp-mem-mem-omega-3
October 30, 2024 18:50 18s
WIP: Experimental method to aggregate state effects Check for copyright header #403: Pull request #239 synchronize by shigoel
October 30, 2024 18:46 22s aggr_dsl
aggr_dsl
October 30, 2024 18:46 22s
chore: Split out the finishing tactic aspect of simp_mem into mem_omega [2/?] Check for copyright header #402: Pull request #231 synchronize by bollu
October 29, 2024 16:30 1m 32s simp-mem-mem-omega-2
simp-mem-mem-omega-2
October 29, 2024 16:30 1m 32s
chore: Split out the finishing tactic aspect of simp_mem into mem_omega [2/?] Check for copyright header #401: Pull request #231 synchronize by bollu
October 29, 2024 16:27 1m 36s simp-mem-mem-omega-2
simp-mem-mem-omega-2
October 29, 2024 16:27 1m 36s
chore: Split out the finishing tactic aspect of simp_mem into mem_omega [2/?] Check for copyright header #400: Pull request #231 synchronize by bollu
October 28, 2024 20:53 18s simp-mem-mem-omega-2
simp-mem-mem-omega-2
October 28, 2024 20:53 18s
chore: split out simp_mem to Arm/Memory/Common [1/?] Check for copyright header #399: Pull request #230 synchronize by shigoel
October 28, 2024 18:56 1m 32s simp-mem-mem-omega
simp-mem-mem-omega
October 28, 2024 18:56 1m 32s
WIP: Experimental method to aggregate state effects Check for copyright header #398: Pull request #239 synchronize by shigoel
October 21, 2024 16:52 25s aggr_dsl
aggr_dsl
October 21, 2024 16:52 25s
WIP: Experimental method to aggregate state effects Check for copyright header #397: Pull request #239 synchronize by shigoel
October 21, 2024 16:13 19s aggr_dsl
aggr_dsl
October 21, 2024 16:13 19s
WIP: Experimental method to aggregate state effects Check for copyright header #396: Pull request #239 synchronize by shigoel
October 21, 2024 16:13 18s aggr_dsl
aggr_dsl
October 21, 2024 16:13 18s
refactor: rephrase the register frame-condition precondition as non-membership in a list of modified registers Check for copyright header #395: Pull request #242 synchronize by shigoel
October 17, 2024 20:43 18s register-frame-condition-refactor
register-frame-condition-refactor
October 17, 2024 20:43 18s
WIP: Experimental method to aggregate state effects Check for copyright header #394: Pull request #239 synchronize by shigoel
October 17, 2024 18:45 26s aggr_dsl
aggr_dsl
October 17, 2024 18:45 26s
Progress towards GCMGMultV8 and associated BitVec cleanup Check for copyright header #393: Pull request #243 synchronize by shigoel
October 17, 2024 18:42 22s bitvec_kitchen_sink_cleanup
bitvec_kitchen_sink_cleanup
October 17, 2024 18:42 22s
Progress towards GCMGMultV8 and associated BitVec cleanup Check for copyright header #392: Pull request #243 opened by shigoel
October 17, 2024 18:42 22s bitvec_kitchen_sink_cleanup
bitvec_kitchen_sink_cleanup
October 17, 2024 18:42 22s
refactor: rephrase the register frame-condition precondition as non-membership in a list of modified registers Check for copyright header #391: Pull request #242 synchronize by alexkeizer
October 17, 2024 17:15 21s register-frame-condition-refactor
register-frame-condition-refactor
October 17, 2024 17:15 21s
refactor: rephrase the register frame-condition precondition as non-membership in a list of modified registers Check for copyright header #390: Pull request #242 synchronize by alexkeizer
October 17, 2024 17:08 23s register-frame-condition-refactor
register-frame-condition-refactor
October 17, 2024 17:08 23s
feat: light-weight basic quotation macro Check for copyright header #389: Pull request #241 synchronize by shigoel
October 16, 2024 22:58 59s quotelight
quotelight
October 16, 2024 22:58 59s
refactor: change memory-effects theorem to a quantifier-free statement Check for copyright header #388: Pull request #224 synchronize by shigoel
October 16, 2024 22:39 21s memory-effects-proof-as-mem-equals
memory-effects-proof-as-mem-equals
October 16, 2024 22:39 21s
refactor: rephrase the register frame-condition precondition as non-membership in a list of modified registers Check for copyright header #387: Pull request #242 synchronize by alexkeizer
October 16, 2024 22:22 50s register-frame-condition-refactor
register-frame-condition-refactor
October 16, 2024 22:22 50s
refactor: rephrase the register frame-condition precondition as non-membership in a list of modified registers Check for copyright header #386: Pull request #242 opened by alexkeizer
October 16, 2024 22:21 18s register-frame-condition-refactor
register-frame-condition-refactor
October 16, 2024 22:21 18s