Skip to content

Actions: opencompl/lean4

Actions

Check for copyright header

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
copyright-header.yml
212 workflow runs
212 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: add BitVec.ofBitVecList Check for copyright header #477: Pull request #57 opened by tobiasgrosser
27s toBitVecList
toBitVecList
27s
chore: ignore me Check for copyright header #476: Pull request #55 opened by luisacicolini
40s clz-not-clean
clz-not-clean
40s
feat: msb_sdiv Check for copyright header #475: Pull request #54 synchronize by bollu
40s msb_sdiv
msb_sdiv
40s
Sdiv overflow [WIP] Check for copyright header #474: Pull request #52 synchronize by luisacicolini
38s sdiv-overflow
sdiv-overflow
38s
Sdiv overflow [WIP] Check for copyright header #473: Pull request #52 synchronize by luisacicolini
42s sdiv-overflow
sdiv-overflow
42s
Sdiv overflow [WIP] Check for copyright header #472: Pull request #52 synchronize by luisacicolini
45s sdiv-overflow
sdiv-overflow
45s
Sdiv overflow [WIP] Check for copyright header #471: Pull request #52 synchronize by luisacicolini
57s sdiv-overflow
sdiv-overflow
57s
Sdiv overflow [WIP] Check for copyright header #470: Pull request #52 synchronize by luisacicolini
38s sdiv-overflow
sdiv-overflow
38s
Sdiv overflow [WIP] Check for copyright header #469: Pull request #52 synchronize by luisacicolini
44s sdiv-overflow
sdiv-overflow
44s
Sdiv overflow [WIP] Check for copyright header #468: Pull request #52 synchronize by luisacicolini
42s sdiv-overflow
sdiv-overflow
42s
Sdiv overflow [WIP] Check for copyright header #467: Pull request #52 synchronize by luisacicolini
41s sdiv-overflow
sdiv-overflow
41s
Sdiv overflow [WIP] Check for copyright header #466: Pull request #52 synchronize by luisacicolini
42s sdiv-overflow
sdiv-overflow
42s
Sdiv overflow [WIP] Check for copyright header #465: Pull request #52 synchronize by luisacicolini
49s sdiv-overflow
sdiv-overflow
49s
Sdiv overflow [WIP] Check for copyright header #464: Pull request #52 synchronize by luisacicolini
49s sdiv-overflow
sdiv-overflow
49s
Sdiv overflow [WIP] Check for copyright header #463: Pull request #52 synchronize by luisacicolini
42s sdiv-overflow
sdiv-overflow
42s
Sdiv overflow [WIP] Check for copyright header #462: Pull request #52 synchronize by luisacicolini
44s sdiv-overflow
sdiv-overflow
44s
draft: Scalable bit blasting with abstractions Check for copyright header #461: Pull request #53 opened by bollu
42s scalable-bit-blasting-with-abstractions
scalable-bit-blasting-with-abstractions
42s
Sdiv overflow [WIP] Check for copyright header #460: Pull request #52 synchronize by luisacicolini
42s sdiv-overflow
sdiv-overflow
42s
Sdiv overflow [WIP] Check for copyright header #459: Pull request #52 synchronize by luisacicolini
41s sdiv-overflow
sdiv-overflow
41s
Sdiv overflow [WIP] Check for copyright header #458: Pull request #52 synchronize by luisacicolini
40s sdiv-overflow
sdiv-overflow
40s
feat: add BitVec.(toNat, toInt, toFin)_shiftLeftZeroExtend Check for copyright header #457: Pull request #47 synchronize by luisacicolini
46s shiftLeftZeroExtend
shiftLeftZeroExtend
46s
feat: add BitVec.(toInt, toFin)_setWidth' Check for copyright header #456: Pull request #48 synchronize by luisacicolini
40s setwidth-prime
setwidth-prime
40s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account Check for copyright header #455: Pull request #43 synchronize by bollu
47s ac-rfl-term-sharing
ac-rfl-term-sharing
47s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account Check for copyright header #454: Pull request #43 synchronize by bollu
41s ac-rfl-term-sharing
ac-rfl-term-sharing
41s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account Check for copyright header #453: Pull request #43 synchronize by bollu
41s ac-rfl-term-sharing
ac-rfl-term-sharing
41s