Skip to content

Actions: opencompl/lean4

Actions

Check for copyright header

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: toNat and toInt theorems for signExtend Check for copyright header #294: Pull request #30 synchronize by bollu
November 21, 2024 15:36 42s signExtend
signExtend
November 21, 2024 15:36 42s
feat: toNat and toInt theorems for signExtend Check for copyright header #293: Pull request #30 synchronize by bollu
November 21, 2024 15:33 40s signExtend
signExtend
November 21, 2024 15:33 40s
feat: toNat and toInt theorems for signExtend Check for copyright header #292: Pull request #30 synchronize by bollu
November 21, 2024 15:32 41s signExtend
signExtend
November 21, 2024 15:32 41s
feat: toNat and toInt theorems for signExtend Check for copyright header #291: Pull request #30 synchronize by mhk119
November 19, 2024 20:17 34s signExtend
signExtend
November 19, 2024 20:17 34s
feat: toNat and toInt theorems for signExtend Check for copyright header #290: Pull request #30 synchronize by mhk119
November 19, 2024 20:15 41s signExtend
signExtend
November 19, 2024 20:15 41s
feat: convert x.sdiv (2^k) into x.sshiftRight k Check for copyright header #289: Pull request #35 synchronize by bollu
November 14, 2024 18:17 36s sdiv-two-pow
sdiv-two-pow
November 14, 2024 18:17 36s
feat: convert x.sdiv (2^k) into x.sshiftRight k Check for copyright header #288: Pull request #35 synchronize by lfrenot
November 14, 2024 17:53 36s sdiv-two-pow
sdiv-two-pow
November 14, 2024 17:53 36s
feat: convert x.sdiv (2^k) into x.sshiftRight k Check for copyright header #287: Pull request #35 synchronize by bollu
November 13, 2024 22:03 37s sdiv-two-pow
sdiv-two-pow
November 13, 2024 22:03 37s
feat: convert x.sdiv (2^k) into x.sshiftRight k Check for copyright header #286: Pull request #35 synchronize by lfrenot
November 13, 2024 17:38 36s sdiv-two-pow
sdiv-two-pow
November 13, 2024 17:38 36s
feat: add BitVec.(getMsbD, msb)_(rotateLeft, RotateRight) Check for copyright header #285: Pull request #34 synchronize by luisacicolini
November 13, 2024 16:36 34s bitveg-getmsbd-rotate
bitveg-getmsbd-rotate
November 13, 2024 16:36 34s
feat: add BitVec.(getMsbD, msb)_(rotateLeft, RotateRight) Check for copyright header #284: Pull request #34 synchronize by luisacicolini
November 13, 2024 16:34 33s bitveg-getmsbd-rotate
bitveg-getmsbd-rotate
November 13, 2024 16:34 33s
feat: add BitVec.(getMsbD, msb)_(rotateLeft, RotateRight) Check for copyright header #283: Pull request #34 synchronize by luisacicolini
November 13, 2024 16:33 36s bitveg-getmsbd-rotate
bitveg-getmsbd-rotate
November 13, 2024 16:33 36s
feat: theorems for ushiftRight Check for copyright header #282: Pull request #33 synchronize by mhk119
November 12, 2024 20:34 39s ushiftRight
ushiftRight
November 12, 2024 20:34 39s
feat: theorems for ushiftRight Check for copyright header #281: Pull request #33 synchronize by mhk119
November 12, 2024 20:34 39s ushiftRight
ushiftRight
November 12, 2024 20:34 39s
feat: theorems for ushiftRight Check for copyright header #280: Pull request #33 synchronize by mhk119
November 12, 2024 20:34 41s ushiftRight
ushiftRight
November 12, 2024 20:34 41s
feat: theorems for ushiftRight Check for copyright header #279: Pull request #33 synchronize by mhk119
November 12, 2024 20:33 40s ushiftRight
ushiftRight
November 12, 2024 20:33 40s
feat: convert x.sdiv (2^k) into x.sshiftRight k Check for copyright header #278: Pull request #35 opened by bollu
November 12, 2024 18:55 41s sdiv-two-pow
sdiv-two-pow
November 12, 2024 18:55 41s
feat: theorems for ushiftRight Check for copyright header #277: Pull request #33 synchronize by bollu
November 11, 2024 18:37 33s ushiftRight
ushiftRight
November 11, 2024 18:37 33s
feat: add BitVec.(getMsbD, msb)_(rotateLeft, RotateRight) Check for copyright header #276: Pull request #34 synchronize by luisacicolini
November 11, 2024 17:48 30s bitveg-getmsbd-rotate
bitveg-getmsbd-rotate
November 11, 2024 17:48 30s
feat: add BitVec.(getMsbD, msb)_(rotateLeft, RotateRight) Check for copyright header #275: Pull request #34 synchronize by luisacicolini
November 11, 2024 17:45 31s bitveg-getmsbd-rotate
bitveg-getmsbd-rotate
November 11, 2024 17:45 31s
feat: add BitVec.(getMsbD, msb)_(rotateLeft, RotateRight) Check for copyright header #274: Pull request #34 synchronize by luisacicolini
November 11, 2024 14:35 29s bitveg-getmsbd-rotate
bitveg-getmsbd-rotate
November 11, 2024 14:35 29s
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