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

Add reference implementation of prune_updates Check for copyright header #435: Pull request #246 synchronize by shigoel
November 12, 2024 23:51 17s more_preprocessing
more_preprocessing
November 12, 2024 23:51 17s
Add reference implementation of prune_updates Check for copyright header #434: Pull request #246 synchronize by shigoel
November 12, 2024 17:33 34s more_preprocessing
more_preprocessing
November 12, 2024 17:33 34s
Add reference implementation of prune_updates Check for copyright header #433: Pull request #246 synchronize by shigoel
November 12, 2024 16:42 38s more_preprocessing
more_preprocessing
November 12, 2024 16:42 38s
Add reference implementation of prune_updates Check for copyright header #432: Pull request #246 opened by shigoel
November 12, 2024 16:42 25s more_preprocessing
more_preprocessing
November 12, 2024 16:42 25s
Update the gcm_init_v8 proof Check for copyright header #431: Pull request #245 synchronize by pennyannn
November 7, 2024 23:53 21s pennyannn:yppe/gcm_init_v8
pennyannn:yppe/gcm_init_v8
November 7, 2024 23:53 21s
Update the gcm_init_v8 proof Check for copyright header #430: Pull request #245 synchronize by pennyannn
November 7, 2024 19:27 23s pennyannn:yppe/gcm_init_v8
pennyannn:yppe/gcm_init_v8
November 7, 2024 19:27 23s
Update the gcm_init_v8 proof Check for copyright header #429: Pull request #245 synchronize by pennyannn
November 7, 2024 18:18 17s pennyannn:yppe/gcm_init_v8
pennyannn:yppe/gcm_init_v8
November 7, 2024 18:18 17s
Update the gcm_init_v8 proof Check for copyright header #428: Pull request #245 synchronize by pennyannn
November 7, 2024 17:40 17s pennyannn:yppe/gcm_init_v8
pennyannn:yppe/gcm_init_v8
November 7, 2024 17:40 17s
Update the gcm_init_v8 proof Check for copyright header #427: Pull request #245 synchronize by pennyannn
November 7, 2024 17:38 19s pennyannn:yppe/gcm_init_v8
pennyannn:yppe/gcm_init_v8
November 7, 2024 17:38 19s
Update the gcm_init_v8 proof Check for copyright header #426: Pull request #245 synchronize by pennyannn
November 6, 2024 02:09 22s pennyannn:yppe/gcm_init_v8
pennyannn:yppe/gcm_init_v8
November 6, 2024 02:09 22s
Update the gcm_init_v8 proof Check for copyright header #425: Pull request #245 synchronize by pennyannn
November 6, 2024 02:02 20s pennyannn:yppe/gcm_init_v8
pennyannn:yppe/gcm_init_v8
November 6, 2024 02:02 20s
Update the gcm_init_v8 proof Check for copyright header #424: Pull request #245 synchronize by pennyannn
November 5, 2024 23:34 22s pennyannn:yppe/gcm_init_v8
pennyannn:yppe/gcm_init_v8
November 5, 2024 23:34 22s
Update the gcm_init_v8 proof Check for copyright header #423: Pull request #245 synchronize by pennyannn
November 5, 2024 22:06 32s pennyannn:yppe/gcm_init_v8
pennyannn:yppe/gcm_init_v8
November 5, 2024 22:06 32s
Update the gcm_init_v8 proof Check for copyright header #422: Pull request #245 opened by pennyannn
November 5, 2024 21:29 20s pennyannn:yppe/gcm_init_v8
pennyannn:yppe/gcm_init_v8
November 5, 2024 21:29 20s
WIP: Experimental method to aggregate state effects Check for copyright header #421: Pull request #239 synchronize by shigoel
November 5, 2024 18:59 18s aggr_dsl
aggr_dsl
November 5, 2024 18:59 18s
WIP: Experimental method to aggregate state effects Check for copyright header #420: Pull request #239 synchronize by shigoel
November 5, 2024 18:57 1m 45s aggr_dsl
aggr_dsl
November 5, 2024 18:57 1m 45s
Bump toolchain 2024 11 01 Check for copyright header #419: Pull request #244 synchronize by bollu
November 1, 2024 18:49 17s bump-toolchain-2024-11-01
bump-toolchain-2024-11-01
November 1, 2024 18:49 17s
Bump toolchain 2024 11 01 Check for copyright header #418: Pull request #244 opened by bollu
November 1, 2024 18:37 1m 29s bump-toolchain-2024-11-01
bump-toolchain-2024-11-01
November 1, 2024 18:37 1m 29s
feat: enable simp_mem to be used in ITP style [8/?] Check for copyright header #417: Pull request #240 synchronize by bollu
November 1, 2024 15:04 1m 32s simp-mem-mem-omega-8
simp-mem-mem-omega-8
November 1, 2024 15:04 1m 32s
feat: enable simp_mem to be used in ITP style [8/?] Check for copyright header #416: Pull request #240 synchronize by bollu
October 31, 2024 21:06 18s simp-mem-mem-omega-8
simp-mem-mem-omega-8
October 31, 2024 21:06 18s
feat: Add fine grained control over mem_omega rewriting [7/?] Check for copyright header #415: Pull request #238 synchronize by shigoel
October 31, 2024 20:52 1m 30s simp-mem-mem-omega-7
simp-mem-mem-omega-7
October 31, 2024 20:52 1m 30s
refactor: rephrase the register frame-condition precondition as non-membership in a list of modified registers Check for copyright header #414: Pull request #242 synchronize by shigoel
October 31, 2024 20:14 20s register-frame-condition-refactor
register-frame-condition-refactor
October 31, 2024 20:14 20s
feat: Add fine grained control over mem_omega rewriting [7/?] Check for copyright header #413: Pull request #238 synchronize by bollu
October 31, 2024 19:53 16s simp-mem-mem-omega-7
simp-mem-mem-omega-7
October 31, 2024 19:53 16s
feat: Add fine grained control over mem_omega rewriting [7/?] Check for copyright header #412: Pull request #238 synchronize by bollu
October 31, 2024 19:51 25s simp-mem-mem-omega-7
simp-mem-mem-omega-7
October 31, 2024 19:51 25s
feat: Rewrite simp_mem to build a new expression, thereby localizing the effects of rewrites [6/?] Check for copyright header #411: Pull request #237 synchronize by bollu
October 31, 2024 19:28 20s simp-mem-mem-omega-6
simp-mem-mem-omega-6
October 31, 2024 19:28 20s