Skip to content

Actions: opencompl/lean4

Actions

Check for stage0 changes

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-stage0.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 stage0 changes #474: Pull request #57 opened by tobiasgrosser
34s toBitVecList
toBitVecList
34s
chore: ignore me Check for stage0 changes #473: Pull request #55 opened by luisacicolini
45s clz-not-clean
clz-not-clean
45s
feat: msb_sdiv Check for stage0 changes #472: Pull request #54 synchronize by bollu
57s msb_sdiv
msb_sdiv
57s
Sdiv overflow [WIP] Check for stage0 changes #471: Pull request #52 synchronize by luisacicolini
48s sdiv-overflow
sdiv-overflow
48s
Sdiv overflow [WIP] Check for stage0 changes #470: Pull request #52 synchronize by luisacicolini
42s sdiv-overflow
sdiv-overflow
42s
Sdiv overflow [WIP] Check for stage0 changes #469: Pull request #52 synchronize by luisacicolini
50s sdiv-overflow
sdiv-overflow
50s
Sdiv overflow [WIP] Check for stage0 changes #468: Pull request #52 synchronize by luisacicolini
42s sdiv-overflow
sdiv-overflow
42s
Sdiv overflow [WIP] Check for stage0 changes #467: Pull request #52 synchronize by luisacicolini
51s sdiv-overflow
sdiv-overflow
51s
Sdiv overflow [WIP] Check for stage0 changes #466: Pull request #52 synchronize by luisacicolini
47s sdiv-overflow
sdiv-overflow
47s
Sdiv overflow [WIP] Check for stage0 changes #465: Pull request #52 synchronize by luisacicolini
45s sdiv-overflow
sdiv-overflow
45s
Sdiv overflow [WIP] Check for stage0 changes #464: Pull request #52 synchronize by luisacicolini
48s sdiv-overflow
sdiv-overflow
48s
Sdiv overflow [WIP] Check for stage0 changes #463: Pull request #52 synchronize by luisacicolini
48s sdiv-overflow
sdiv-overflow
48s
Sdiv overflow [WIP] Check for stage0 changes #462: Pull request #52 synchronize by luisacicolini
48s sdiv-overflow
sdiv-overflow
48s
Sdiv overflow [WIP] Check for stage0 changes #461: Pull request #52 synchronize by luisacicolini
50s sdiv-overflow
sdiv-overflow
50s
Sdiv overflow [WIP] Check for stage0 changes #460: Pull request #52 synchronize by luisacicolini
50s sdiv-overflow
sdiv-overflow
50s
Sdiv overflow [WIP] Check for stage0 changes #459: Pull request #52 synchronize by luisacicolini
47s sdiv-overflow
sdiv-overflow
47s
draft: Scalable bit blasting with abstractions Check for stage0 changes #458: Pull request #53 opened by bollu
44s scalable-bit-blasting-with-abstractions
scalable-bit-blasting-with-abstractions
44s
Sdiv overflow [WIP] Check for stage0 changes #457: Pull request #52 synchronize by luisacicolini
52s sdiv-overflow
sdiv-overflow
52s
Sdiv overflow [WIP] Check for stage0 changes #456: Pull request #52 synchronize by luisacicolini
44s sdiv-overflow
sdiv-overflow
44s
Sdiv overflow [WIP] Check for stage0 changes #455: Pull request #52 synchronize by luisacicolini
51s sdiv-overflow
sdiv-overflow
51s
feat: add BitVec.(toNat, toInt, toFin)_shiftLeftZeroExtend Check for stage0 changes #454: Pull request #47 synchronize by luisacicolini
47s shiftLeftZeroExtend
shiftLeftZeroExtend
47s
feat: add BitVec.(toInt, toFin)_setWidth' Check for stage0 changes #453: Pull request #48 synchronize by luisacicolini
54s setwidth-prime
setwidth-prime
54s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account Check for stage0 changes #452: Pull request #43 synchronize by bollu
1m 1s ac-rfl-term-sharing
ac-rfl-term-sharing
1m 1s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account Check for stage0 changes #451: Pull request #43 synchronize by bollu
49s ac-rfl-term-sharing
ac-rfl-term-sharing
49s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account Check for stage0 changes #450: Pull request #43 synchronize by bollu
50s ac-rfl-term-sharing
ac-rfl-term-sharing
50s