Skip to content

Actions: leanprover/lean4

Actions

Check for copyright header

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
copyright-header.yml
7,069 workflow runs
7,069 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: add BitVec.(getMSbD, msb)_replicate, replicate_append_replicate_eq and support theorems Check for copyright header #7023: Pull request #6326 synchronize by luisacicolini
December 9, 2024 17:07 41s opencompl:msb-replicate
opencompl:msb-replicate
December 9, 2024 17:07 41s
feat: add BitVec.(getMSbD, msb)_replicate, replicate_append_replicate_eq and support theorems Check for copyright header #7022: Pull request #6326 synchronize by luisacicolini
December 9, 2024 17:05 40s opencompl:msb-replicate
opencompl:msb-replicate
December 9, 2024 17:05 40s
fix: indent nested traces correctly Check for copyright header #7021: Pull request #6345 opened by eric-wieser
December 9, 2024 15:53 42s eric-wieser:patch-30
eric-wieser:patch-30
December 9, 2024 15:53 42s
doc: clarify difference between Expr.hasLooseBVars and Expr.hasLooseBVar Check for copyright header #7020: Pull request #6344 opened by alexkeizer
December 9, 2024 15:06 35s opencompl:doc-expr-hasLooseBVar
opencompl:doc-expr-hasLooseBVar
December 9, 2024 15:06 35s
feat: BitVec.[toFin|getMsbD]_setWidth and [getMsbD|msb]_signExtend Check for copyright header #7019: Pull request #6338 synchronize by tobiasgrosser
December 9, 2024 14:32 38s opencompl:bv_msb_signzeroextend
opencompl:bv_msb_signzeroextend
December 9, 2024 14:32 38s
feat: BitVec.[toFin|getMsbD]_setWidth and [getMsbD|msb]_signExtend Check for copyright header #7018: Pull request #6338 synchronize by tobiasgrosser
December 9, 2024 14:31 37s opencompl:bv_msb_signzeroextend
opencompl:bv_msb_signzeroextend
December 9, 2024 14:31 37s
feat: BitVec.[toFin|getMsbD]_setWidth and [getMsbD|msb]_signExtend Check for copyright header #7017: Pull request #6338 synchronize by tobiasgrosser
December 9, 2024 14:26 2m 19s opencompl:bv_msb_signzeroextend
opencompl:bv_msb_signzeroextend
December 9, 2024 14:26 2m 19s
chore: cleanup of Array lemmas Check for copyright header #7016: Pull request #6343 opened by kim-em
December 9, 2024 13:50 38s array_cleanup7
array_cleanup7
December 9, 2024 13:50 38s
feat: elaborate theorem bodies in parallel Check for copyright header #7015: Pull request #5864 synchronize by Kha
December 9, 2024 11:26 45s Kha:async-proofs
Kha:async-proofs
December 9, 2024 11:26 45s
feat: importModules without loading environment extensions Check for copyright header #7014: Pull request #6325 synchronize by Kha
December 9, 2024 11:26 35s Kha:push-mtllrxtzuprp
Kha:push-mtllrxtzuprp
December 9, 2024 11:26 35s
chore: alignment of Array and List lemmas Check for copyright header #7013: Pull request #6342 opened by kim-em
December 9, 2024 11:16 41s array_cleanup6
array_cleanup6
December 9, 2024 11:16 41s
chore: DecidableRel allows a heterogeneous relation Check for copyright header #7012: Pull request #6341 opened by kim-em
December 9, 2024 06:00 39s generalize_DecidableRel
generalize_DecidableRel
December 9, 2024 06:00 39s
chore: release notes for 4.14.0 Check for copyright header #7011: Pull request #6339 synchronize by kmill
December 9, 2024 05:07 38s kmill:changelog_4.14
kmill:changelog_4.14
December 9, 2024 05:07 38s
chore: release notes for 4.14.0 Check for copyright header #7010: Pull request #6339 synchronize by kmill
December 9, 2024 05:06 41s kmill:changelog_4.14
kmill:changelog_4.14
December 9, 2024 05:06 41s
chore: release notes for 4.14.0 Check for copyright header #7009: Pull request #6339 synchronize by kmill
December 9, 2024 03:23 38s kmill:changelog_4.14
kmill:changelog_4.14
December 9, 2024 03:23 38s
chore: release notes for 4.14.0 Check for copyright header #7008: Pull request #6339 synchronize by kmill
December 9, 2024 03:20 36s kmill:changelog_4.14
kmill:changelog_4.14
December 9, 2024 03:20 36s
doc: split the docstring of LocalContext Check for copyright header #7007: Pull request #6340 synchronize by eric-wieser
December 9, 2024 02:47 38s eric-wieser:patch-29
eric-wieser:patch-29
December 9, 2024 02:47 38s
doc: split the docstring of LocalContext Check for copyright header #7006: Pull request #6340 opened by eric-wieser
December 9, 2024 02:46 1m 26s eric-wieser:patch-29
eric-wieser:patch-29
December 9, 2024 02:46 1m 26s
chore: release notes for 4.14.0 Check for copyright header #7005: Pull request #6339 synchronize by kmill
December 9, 2024 02:38 36s kmill:changelog_4.14
kmill:changelog_4.14
December 9, 2024 02:38 36s
chore: release notes for 4.14.0 Check for copyright header #7004: Pull request #6339 opened by kmill
December 9, 2024 02:37 38s kmill:changelog_4.14
kmill:changelog_4.14
December 9, 2024 02:37 38s
feat: BitVec.[toFin|getMsbD]_setWidth and [getMsbD|msb]_signExtend Check for copyright header #7003: Pull request #6338 synchronize by tobiasgrosser
December 9, 2024 02:29 42s opencompl:bv_msb_signzeroextend
opencompl:bv_msb_signzeroextend
December 9, 2024 02:29 42s
chore: cleanup of Array lemmas Check for copyright header #7002: Pull request #6337 synchronize by kim-em
December 8, 2024 21:43 37s array_cleanup5
array_cleanup5
December 8, 2024 21:43 37s
feat: labeled and unique sorries Check for copyright header #7001: Pull request #5757 synchronize by kmill
December 8, 2024 21:15 40s kmill:unique_sorry
kmill:unique_sorry
December 8, 2024 21:15 40s
feat: BitVec.[toFin|getMsbD]_setWidth and [getMsbD|msb]_signExtend Check for copyright header #7000: Pull request #6338 synchronize by tobiasgrosser
December 8, 2024 19:48 38s opencompl:bv_msb_signzeroextend
opencompl:bv_msb_signzeroextend
December 8, 2024 19:48 38s
feat: BitVec.[toFin|getMsbD]_setWidth and [getMsbD|msb]_signExtend Check for copyright header #6999: Pull request #6338 synchronize by tobiasgrosser
December 8, 2024 19:07 39s opencompl:bv_msb_signzeroextend
opencompl:bv_msb_signzeroextend
December 8, 2024 19:07 39s