Skip to content

Actions: opencompl/lean4

Actions

Check for stage0 changes

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-stage0.yml
354 workflow runs
354 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: theorems for ushiftRight Check for stage0 changes #279: Pull request #33 synchronize by mhk119
November 12, 2024 20:34 27s ushiftRight
ushiftRight
November 12, 2024 20:34 27s
feat: theorems for ushiftRight Check for stage0 changes #278: Pull request #33 synchronize by mhk119
November 12, 2024 20:34 29s ushiftRight
ushiftRight
November 12, 2024 20:34 29s
feat: theorems for ushiftRight Check for stage0 changes #277: Pull request #33 synchronize by mhk119
November 12, 2024 20:34 26s ushiftRight
ushiftRight
November 12, 2024 20:34 26s
feat: theorems for ushiftRight Check for stage0 changes #276: Pull request #33 synchronize by mhk119
November 12, 2024 20:33 30s ushiftRight
ushiftRight
November 12, 2024 20:33 30s
feat: convert x.sdiv (2^k) into x.sshiftRight k Check for stage0 changes #275: Pull request #35 opened by bollu
November 12, 2024 18:55 51s sdiv-two-pow
sdiv-two-pow
November 12, 2024 18:55 51s
feat: theorems for ushiftRight Check for stage0 changes #274: Pull request #33 synchronize by bollu
November 11, 2024 18:37 32s ushiftRight
ushiftRight
November 11, 2024 18:37 32s
feat: add BitVec.(getMsbD, msb)_(rotateLeft, RotateRight) Check for stage0 changes #273: Pull request #34 synchronize by luisacicolini
November 11, 2024 17:48 31s bitveg-getmsbd-rotate
bitveg-getmsbd-rotate
November 11, 2024 17:48 31s
feat: add BitVec.(getMsbD, msb)_(rotateLeft, RotateRight) Check for stage0 changes #272: Pull request #34 synchronize by luisacicolini
November 11, 2024 17:45 32s bitveg-getmsbd-rotate
bitveg-getmsbd-rotate
November 11, 2024 17:45 32s
feat: add BitVec.(getMsbD, msb)_(rotateLeft, RotateRight) Check for stage0 changes #271: Pull request #34 synchronize by luisacicolini
November 11, 2024 14:35 33s bitveg-getmsbd-rotate
bitveg-getmsbd-rotate
November 11, 2024 14:35 33s
feat: add BitVec.(getMsbD, msb)_(rotateLeft, RotateRight) Check for stage0 changes #270: Pull request #34 synchronize by luisacicolini
November 11, 2024 14:08 32s bitveg-getmsbd-rotate
bitveg-getmsbd-rotate
November 11, 2024 14:08 32s
feat: add BitVec.(getMsbD, msb)_(rotateLeft, RotateRight) Check for stage0 changes #269: Pull request #34 synchronize by luisacicolini
November 11, 2024 13:28 36s bitveg-getmsbd-rotate
bitveg-getmsbd-rotate
November 11, 2024 13:28 36s
feat: add BitVec.(getMsbD, msb)_(rotateLeft, RotateRight) Check for stage0 changes #268: Pull request #34 synchronize by luisacicolini
November 11, 2024 13:13 36s bitveg-getmsbd-rotate
bitveg-getmsbd-rotate
November 11, 2024 13:13 36s
feat: toNat and toInt theorems for signExtend Check for stage0 changes #267: Pull request #30 synchronize by bollu
November 11, 2024 11:11 39s signExtend
signExtend
November 11, 2024 11:11 39s
feat: toNat and toInt theorems for signExtend Check for stage0 changes #266: Pull request #30 synchronize by bollu
November 11, 2024 10:54 25s signExtend
signExtend
November 11, 2024 10:54 25s
feat: toNat and toInt theorems for signExtend Check for stage0 changes #265: Pull request #30 synchronize by bollu
November 11, 2024 10:52 32s signExtend
signExtend
November 11, 2024 10:52 32s
feat: add BitVec.(getMsbD, msb)_(rotateLeft, RotateRight) Check for stage0 changes #264: Pull request #34 synchronize by luisacicolini
November 11, 2024 09:08 35s bitveg-getmsbd-rotate
bitveg-getmsbd-rotate
November 11, 2024 09:08 35s
feat: add BitVec.(getMsbD, msb)_(rotateLeft, RotateRight) Check for stage0 changes #263: Pull request #34 opened by luisacicolini
November 11, 2024 07:33 32s bitveg-getmsbd-rotate
bitveg-getmsbd-rotate
November 11, 2024 07:33 32s
feat: theorems for ushiftRight Check for stage0 changes #262: Pull request #33 opened by mhk119
November 8, 2024 00:26 26s ushiftRight
ushiftRight
November 8, 2024 00:26 26s
Simp rfl thm Check for stage0 changes #261: Pull request #32 opened by tobiasgrosser
November 1, 2024 02:02 43s simp_rfl_thm
simp_rfl_thm
November 1, 2024 02:02 43s
hack: disable snapshotting Check for stage0 changes #260: Pull request #31 opened by bollu
November 1, 2024 00:26 35s disable-snapshots
disable-snapshots
November 1, 2024 00:26 35s
feat: toNat and toInt theorems for signExtend Check for stage0 changes #259: Pull request #30 synchronize by mhk119
November 1, 2024 00:10 25s signExtend
signExtend
November 1, 2024 00:10 25s
feat: toNat and toInt theorems for signExtend Check for stage0 changes #258: Pull request #30 synchronize by mhk119
October 28, 2024 17:30 32s signExtend
signExtend
October 28, 2024 17:30 32s
feat: toNat and toInt theorems for signExtend Check for stage0 changes #257: Pull request #30 synchronize by mhk119
October 27, 2024 19:53 31s signExtend
signExtend
October 27, 2024 19:53 31s
feat: toNat and toInt theorems for signExtend Check for stage0 changes #256: Pull request #30 synchronize by mhk119
October 27, 2024 19:48 30s signExtend
signExtend
October 27, 2024 19:48 30s
feat: toNat and toInt theorems for signExtend Check for stage0 changes #255: Pull request #30 opened by mhk119
October 27, 2024 19:40 30s signExtend
signExtend
October 27, 2024 19:40 30s