Skip to content

Actions: opencompl/lean4

Actions

Check for stage0 changes

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
feat: add BitVec zero/one simplifications Check for stage0 changes #254: Pull request #29 synchronize by tobiasgrosser
October 27, 2024 15:31 31s bv_zero_one_simps
bv_zero_one_simps
October 27, 2024 15:31 31s
feat: add BitVec zero/one simplifications Check for stage0 changes #253: Pull request #29 synchronize by tobiasgrosser
October 27, 2024 14:47 31s bv_zero_one_simps
bv_zero_one_simps
October 27, 2024 14:47 31s
feat: add BitVec zero/one simplifications Check for stage0 changes #252: Pull request #29 synchronize by tobiasgrosser
October 27, 2024 14:41 36s bv_zero_one_simps
bv_zero_one_simps
October 27, 2024 14:41 36s
feat: add BitVec zero/one simplifications Check for stage0 changes #251: Pull request #29 synchronize by tobiasgrosser
October 27, 2024 14:31 37s bv_zero_one_simps
bv_zero_one_simps
October 27, 2024 14:31 37s
feat: add BitVec zero/one simplifications Check for stage0 changes #250: Pull request #29 synchronize by tobiasgrosser
October 27, 2024 14:27 31s bv_zero_one_simps
bv_zero_one_simps
October 27, 2024 14:27 31s
feat: add BitVec zero/one simplifications Check for stage0 changes #249: Pull request #29 opened by tobiasgrosser
October 27, 2024 14:22 35s bv_zero_one_simps
bv_zero_one_simps
October 27, 2024 14:22 35s
feat: BitVec.[udiv_twoPow|sdiv_twoPow] Check for stage0 changes #248: Pull request #28 synchronize by tobiasgrosser
October 27, 2024 12:19 32s div_twoPow
div_twoPow
October 27, 2024 12:19 32s
feat: BitVec.[udiv_twoPow|sdiv_twoPow] Check for stage0 changes #247: Pull request #28 opened by tobiasgrosser
October 26, 2024 22:38 30s div_twoPow
div_twoPow
October 26, 2024 22:38 30s
feat: fix BitVec.abs, prove toInt produces the expected value Check for stage0 changes #246: Pull request #26 synchronize by bollu
October 23, 2024 20:23 27s lean4-toint-abs
lean4-toint-abs
October 23, 2024 20:23 27s
feat: fix BitVec.abs, prove toInt produces the expected value Check for stage0 changes #245: Pull request #26 synchronize by bollu
October 22, 2024 22:21 25s lean4-toint-abs
lean4-toint-abs
October 22, 2024 22:21 25s
feat: fix BitVec.abs, prove toInt produces the expected value Check for stage0 changes #244: Pull request #26 synchronize by bollu
October 21, 2024 17:18 28s lean4-toint-abs
lean4-toint-abs
October 21, 2024 17:18 28s
feat: add BitVec.toInt_sub Check for stage0 changes #243: Pull request #27 synchronize by tobiasgrosser
October 21, 2024 09:58 29s toInt_sub
toInt_sub
October 21, 2024 09:58 29s
feat: fix BitVec.abs, prove toInt produces the expected value Check for stage0 changes #242: Pull request #26 synchronize by bollu
October 21, 2024 08:23 36s lean4-toint-abs
lean4-toint-abs
October 21, 2024 08:23 36s