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 #291: Pull request #30 synchronize by bollu
November 21, 2024 15:36 53s signExtend
signExtend
November 21, 2024 15:36 53s
feat: toNat and toInt theorems for signExtend Check for stage0 changes #290: Pull request #30 synchronize by bollu
November 21, 2024 15:33 44s signExtend
signExtend
November 21, 2024 15:33 44s
feat: toNat and toInt theorems for signExtend Check for stage0 changes #289: Pull request #30 synchronize by bollu
November 21, 2024 15:32 45s signExtend
signExtend
November 21, 2024 15:32 45s
feat: toNat and toInt theorems for signExtend Check for stage0 changes #288: Pull request #30 synchronize by mhk119
November 19, 2024 20:17 42s signExtend
signExtend
November 19, 2024 20:17 42s
feat: toNat and toInt theorems for signExtend Check for stage0 changes #287: Pull request #30 synchronize by mhk119
November 19, 2024 20:15 46s signExtend
signExtend
November 19, 2024 20:15 46s
feat: convert x.sdiv (2^k) into x.sshiftRight k Check for stage0 changes #286: Pull request #35 synchronize by bollu
November 14, 2024 18:17 46s sdiv-two-pow
sdiv-two-pow
November 14, 2024 18:17 46s
feat: convert x.sdiv (2^k) into x.sshiftRight k Check for stage0 changes #285: 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 stage0 changes #284: Pull request #35 synchronize by bollu
November 13, 2024 22:03 40s sdiv-two-pow
sdiv-two-pow
November 13, 2024 22:03 40s
feat: convert x.sdiv (2^k) into x.sshiftRight k Check for stage0 changes #283: Pull request #35 synchronize by lfrenot
November 13, 2024 17:38 38s sdiv-two-pow
sdiv-two-pow
November 13, 2024 17:38 38s
feat: add BitVec.(getMsbD, msb)_(rotateLeft, RotateRight) Check for stage0 changes #282: Pull request #34 synchronize by luisacicolini
November 13, 2024 16:36 31s bitveg-getmsbd-rotate
bitveg-getmsbd-rotate
November 13, 2024 16:36 31s
feat: add BitVec.(getMsbD, msb)_(rotateLeft, RotateRight) Check for stage0 changes #281: Pull request #34 synchronize by luisacicolini
November 13, 2024 16:34 36s bitveg-getmsbd-rotate
bitveg-getmsbd-rotate
November 13, 2024 16:34 36s
feat: add BitVec.(getMsbD, msb)_(rotateLeft, RotateRight) Check for stage0 changes #280: Pull request #34 synchronize by luisacicolini
November 13, 2024 16:33 34s bitveg-getmsbd-rotate
bitveg-getmsbd-rotate
November 13, 2024 16:33 34s
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