Skip to content

Actions: opencompl/lean4

Actions

Check for copyright header

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: add BitVec.(getMsbD, msb)_(rotateLeft, RotateRight) Check for copyright header #273: Pull request #34 synchronize by luisacicolini
November 11, 2024 14:08 34s bitveg-getmsbd-rotate
bitveg-getmsbd-rotate
November 11, 2024 14:08 34s
feat: add BitVec.(getMsbD, msb)_(rotateLeft, RotateRight) Check for copyright header #272: Pull request #34 synchronize by luisacicolini
November 11, 2024 13:28 33s bitveg-getmsbd-rotate
bitveg-getmsbd-rotate
November 11, 2024 13:28 33s
feat: add BitVec.(getMsbD, msb)_(rotateLeft, RotateRight) Check for copyright header #271: Pull request #34 synchronize by luisacicolini
November 11, 2024 13:13 30s bitveg-getmsbd-rotate
bitveg-getmsbd-rotate
November 11, 2024 13:13 30s
feat: toNat and toInt theorems for signExtend Check for copyright header #270: Pull request #30 synchronize by bollu
November 11, 2024 11:11 31s signExtend
signExtend
November 11, 2024 11:11 31s
feat: toNat and toInt theorems for signExtend Check for copyright header #269: Pull request #30 synchronize by bollu
November 11, 2024 10:54 35s signExtend
signExtend
November 11, 2024 10:54 35s
feat: toNat and toInt theorems for signExtend Check for copyright header #268: Pull request #30 synchronize by bollu
November 11, 2024 10:52 31s signExtend
signExtend
November 11, 2024 10:52 31s
feat: add BitVec.(getMsbD, msb)_(rotateLeft, RotateRight) Check for copyright header #267: Pull request #34 synchronize by luisacicolini
November 11, 2024 09:08 36s bitveg-getmsbd-rotate
bitveg-getmsbd-rotate
November 11, 2024 09:08 36s
feat: add BitVec.(getMsbD, msb)_(rotateLeft, RotateRight) Check for copyright header #266: Pull request #34 opened by luisacicolini
November 11, 2024 07:33 33s bitveg-getmsbd-rotate
bitveg-getmsbd-rotate
November 11, 2024 07:33 33s
feat: theorems for ushiftRight Check for copyright header #265: Pull request #33 opened by mhk119
November 8, 2024 00:26 36s ushiftRight
ushiftRight
November 8, 2024 00:26 36s
Simp rfl thm Check for copyright header #264: Pull request #32 opened by tobiasgrosser
November 1, 2024 02:02 33s simp_rfl_thm
simp_rfl_thm
November 1, 2024 02:02 33s
hack: disable snapshotting Check for copyright header #263: Pull request #31 opened by bollu
November 1, 2024 00:26 29s disable-snapshots
disable-snapshots
November 1, 2024 00:26 29s
feat: toNat and toInt theorems for signExtend Check for copyright header #262: Pull request #30 synchronize by mhk119
November 1, 2024 00:10 30s signExtend
signExtend
November 1, 2024 00:10 30s
feat: toNat and toInt theorems for signExtend Check for copyright header #261: Pull request #30 synchronize by mhk119
October 28, 2024 17:30 36s signExtend
signExtend
October 28, 2024 17:30 36s
feat: toNat and toInt theorems for signExtend Check for copyright header #260: Pull request #30 synchronize by mhk119
October 27, 2024 19:53 28s signExtend
signExtend
October 27, 2024 19:53 28s
feat: toNat and toInt theorems for signExtend Check for copyright header #259: Pull request #30 synchronize by mhk119
October 27, 2024 19:48 32s signExtend
signExtend
October 27, 2024 19:48 32s
feat: toNat and toInt theorems for signExtend Check for copyright header #258: Pull request #30 opened by mhk119
October 27, 2024 19:40 31s signExtend
signExtend
October 27, 2024 19:40 31s
feat: add BitVec zero/one simplifications Check for copyright header #257: 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 copyright header #256: Pull request #29 synchronize by tobiasgrosser
October 27, 2024 14:47 28s bv_zero_one_simps
bv_zero_one_simps
October 27, 2024 14:47 28s
feat: add BitVec zero/one simplifications Check for copyright header #255: Pull request #29 synchronize by tobiasgrosser
October 27, 2024 14:41 30s bv_zero_one_simps
bv_zero_one_simps
October 27, 2024 14:41 30s
feat: add BitVec zero/one simplifications Check for copyright header #254: Pull request #29 synchronize by tobiasgrosser
October 27, 2024 14:31 33s bv_zero_one_simps
bv_zero_one_simps
October 27, 2024 14:31 33s
feat: add BitVec zero/one simplifications Check for copyright header #253: Pull request #29 synchronize by tobiasgrosser
October 27, 2024 14:27 28s bv_zero_one_simps
bv_zero_one_simps
October 27, 2024 14:27 28s
feat: add BitVec zero/one simplifications Check for copyright header #252: Pull request #29 opened by tobiasgrosser
October 27, 2024 14:22 27s bv_zero_one_simps
bv_zero_one_simps
October 27, 2024 14:22 27s
feat: BitVec.[udiv_twoPow|sdiv_twoPow] Check for copyright header #251: Pull request #28 synchronize by tobiasgrosser
October 27, 2024 12:19 27s div_twoPow
div_twoPow
October 27, 2024 12:19 27s
feat: BitVec.[udiv_twoPow|sdiv_twoPow] Check for copyright header #250: Pull request #28 opened by tobiasgrosser
October 26, 2024 22:38 31s div_twoPow
div_twoPow
October 26, 2024 22:38 31s
feat: fix BitVec.abs, prove toInt produces the expected value Check for copyright header #249: Pull request #26 synchronize by bollu
October 23, 2024 20:23 26s lean4-toint-abs
lean4-toint-abs
October 23, 2024 20:23 26s