Skip to content

Actions: opencompl/lean4

Actions

Check PR body for changelog convention

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr-body.yml
35 workflow runs
35 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: toNat and toInt theorems for signExtend Check PR body for changelog convention #35: Pull request #30 synchronize by bollu
November 21, 2024 15:36 28s signExtend
signExtend
November 21, 2024 15:36 28s
feat: toNat and toInt theorems for signExtend Check PR body for changelog convention #34: Pull request #30 synchronize by bollu
November 21, 2024 15:33 14s signExtend
signExtend
November 21, 2024 15:33 14s
feat: toNat and toInt theorems for signExtend Check PR body for changelog convention #33: Pull request #30 synchronize by bollu
November 21, 2024 15:32 13s signExtend
signExtend
November 21, 2024 15:32 13s
feat: toNat and toInt theorems for signExtend Check PR body for changelog convention #32: Pull request #30 synchronize by mhk119
November 19, 2024 20:17 20s signExtend
signExtend
November 19, 2024 20:17 20s
feat: toNat and toInt theorems for signExtend Check PR body for changelog convention #31: Pull request #30 synchronize by mhk119
November 19, 2024 20:15 13s signExtend
signExtend
November 19, 2024 20:15 13s
feat: convert x.sdiv (2^k) into x.sshiftRight k Check PR body for changelog convention #30: Pull request #35 synchronize by bollu
November 14, 2024 18:17 12s sdiv-two-pow
sdiv-two-pow
November 14, 2024 18:17 12s
feat: convert x.sdiv (2^k) into x.sshiftRight k Check PR body for changelog convention #29: Pull request #35 synchronize by lfrenot
November 14, 2024 17:53 11s sdiv-two-pow
sdiv-two-pow
November 14, 2024 17:53 11s
feat: convert x.sdiv (2^k) into x.sshiftRight k Check PR body for changelog convention #28: Pull request #35 synchronize by bollu
November 13, 2024 22:03 14s sdiv-two-pow
sdiv-two-pow
November 13, 2024 22:03 14s
feat: convert x.sdiv (2^k) into x.sshiftRight k Check PR body for changelog convention #27: Pull request #35 synchronize by lfrenot
November 13, 2024 17:38 13s sdiv-two-pow
sdiv-two-pow
November 13, 2024 17:38 13s
feat: add BitVec.(getMsbD, msb)_(rotateLeft, RotateRight) Check PR body for changelog convention #26: Pull request #34 synchronize by luisacicolini
November 13, 2024 16:36 13s bitveg-getmsbd-rotate
bitveg-getmsbd-rotate
November 13, 2024 16:36 13s
feat: add BitVec.(getMsbD, msb)_(rotateLeft, RotateRight) Check PR body for changelog convention #25: Pull request #34 synchronize by luisacicolini
November 13, 2024 16:34 13s bitveg-getmsbd-rotate
bitveg-getmsbd-rotate
November 13, 2024 16:34 13s
feat: add BitVec.(getMsbD, msb)_(rotateLeft, RotateRight) Check PR body for changelog convention #24: Pull request #34 synchronize by luisacicolini
November 13, 2024 16:33 12s bitveg-getmsbd-rotate
bitveg-getmsbd-rotate
November 13, 2024 16:33 12s
feat: theorems for ushiftRight Check PR body for changelog convention #23: Pull request #33 synchronize by mhk119
November 12, 2024 20:34 12s ushiftRight
ushiftRight
November 12, 2024 20:34 12s
feat: theorems for ushiftRight Check PR body for changelog convention #22: Pull request #33 synchronize by mhk119
November 12, 2024 20:34 14s ushiftRight
ushiftRight
November 12, 2024 20:34 14s
feat: theorems for ushiftRight Check PR body for changelog convention #21: Pull request #33 synchronize by mhk119
November 12, 2024 20:34 14s ushiftRight
ushiftRight
November 12, 2024 20:34 14s
feat: theorems for ushiftRight Check PR body for changelog convention #20: Pull request #33 synchronize by mhk119
November 12, 2024 20:33 13s ushiftRight
ushiftRight
November 12, 2024 20:33 13s
feat: convert x.sdiv (2^k) into x.sshiftRight k Check PR body for changelog convention #19: Pull request #35 edited by bollu
November 12, 2024 18:56 16s sdiv-two-pow
sdiv-two-pow
November 12, 2024 18:56 16s
feat: convert x.sdiv (2^k) into x.sshiftRight k Check PR body for changelog convention #18: Pull request #35 opened by bollu
November 12, 2024 18:55 16s sdiv-two-pow
sdiv-two-pow
November 12, 2024 18:55 16s
feat: theorems for ushiftRight Check PR body for changelog convention #17: Pull request #33 synchronize by bollu
November 11, 2024 18:37 13s ushiftRight
ushiftRight
November 11, 2024 18:37 13s
feat: add BitVec.(getMsbD, msb)_(rotateLeft, RotateRight) Check PR body for changelog convention #16: Pull request #34 synchronize by luisacicolini
November 11, 2024 17:48 11s bitveg-getmsbd-rotate
bitveg-getmsbd-rotate
November 11, 2024 17:48 11s
feat: add BitVec.(getMsbD, msb)_(rotateLeft, RotateRight) Check PR body for changelog convention #15: Pull request #34 synchronize by luisacicolini
November 11, 2024 17:45 15s bitveg-getmsbd-rotate
bitveg-getmsbd-rotate
November 11, 2024 17:45 15s
feat: toNat and toInt theorems for signExtend Check PR body for changelog convention #14: Pull request #30 converted_to_draft by mhk119
November 11, 2024 17:36 13s signExtend
signExtend
November 11, 2024 17:36 13s
feat: toNat and toInt theorems for signExtend Check PR body for changelog convention #13: Pull request #30 ready_for_review by mhk119
November 11, 2024 17:35 14s signExtend
signExtend
November 11, 2024 17:35 14s
feat: add BitVec.(getMsbD, msb)_(rotateLeft, RotateRight) Check PR body for changelog convention #12: Pull request #34 synchronize by luisacicolini
November 11, 2024 14:35 41s bitveg-getmsbd-rotate
bitveg-getmsbd-rotate
November 11, 2024 14:35 41s
feat: add BitVec.(getMsbD, msb)_(rotateLeft, RotateRight) Check PR body for changelog convention #11: Pull request #34 synchronize by luisacicolini
November 11, 2024 14:08 12s bitveg-getmsbd-rotate
bitveg-getmsbd-rotate
November 11, 2024 14:08 12s