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
200 workflow runs
200 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: add SMT-LIB overflow definitions for bitvectors (not_overflow,uadd_overflow,sadd_overflow,umul_overflow,smul_overflow) Check PR body for changelog convention #75: Pull request #42 opened by luisacicolini
January 13, 2025 13:29 16s smtlib-overflow-defs
smtlib-overflow-defs
January 13, 2025 13:29 16s
feat: toNat theorems for rotateLeft and rotateRight Check PR body for changelog convention #74: Pull request #38 synchronize by mhk119
January 9, 2025 20:53 10s rotate
rotate
January 9, 2025 20:53 10s
feat: toNat theorems for rotateLeft and rotateRight Check PR body for changelog convention #73: Pull request #38 synchronize by mhk119
January 9, 2025 20:47 14s rotate
rotate
January 9, 2025 20:47 14s
feat: toNat theorems for rotateLeft and rotateRight Check PR body for changelog convention #72: Pull request #38 synchronize by mhk119
January 9, 2025 20:47 15s rotate
rotate
January 9, 2025 20:47 15s
feat: Add BitVector overflow predicates from SMT-LIB. Check PR body for changelog convention #71: Pull request #41 synchronize by bollu
January 6, 2025 20:13 14s overflow-defs
overflow-defs
January 6, 2025 20:13 14s
feat: Add BitVector overflow predicates from SMT-LIB. Check PR body for changelog convention #70: Pull request #41 edited by bollu
January 6, 2025 12:31 13s overflow-defs
overflow-defs
January 6, 2025 12:31 13s
feat: Add BitVector overflow predicates from SMT-LIB. Check PR body for changelog convention #69: Pull request #41 edited by bollu
January 6, 2025 12:31 10s overflow-defs
overflow-defs
January 6, 2025 12:31 10s
feat: Add BitVector overflow predicates from SMT-LIB. Check PR body for changelog convention #68: Pull request #41 edited by bollu
January 6, 2025 12:28 8s overflow-defs
overflow-defs
January 6, 2025 12:28 8s
feat: Add BitVector overflow predicates from SMT-LIB. Check PR body for changelog convention #67: Pull request #41 edited by bollu
January 6, 2025 12:28 9s overflow-defs
overflow-defs
January 6, 2025 12:28 9s
feat: Add BitVector overflow predicates from SMT-LIB. Check PR body for changelog convention #66: Pull request #41 opened by bollu
January 6, 2025 11:52 12s overflow-defs
overflow-defs
January 6, 2025 11:52 12s
feat: BitVec.toInt_concat and BitVec.toFin_concat Check PR body for changelog convention #65: Pull request #40 synchronize by mhk119
December 16, 2024 12:43 11s concat
concat
December 16, 2024 12:43 11s
feat : toInt_shiftLeft theorem Check PR body for changelog convention #64: Pull request #37 synchronize by mhk119
December 16, 2024 09:21 11s toInt_shiftLeft
toInt_shiftLeft
December 16, 2024 09:21 11s
feat: toNat theorems for rotateLeft and rotateRight Check PR body for changelog convention #63: Pull request #38 synchronize by mhk119
December 16, 2024 09:10 12s rotate
rotate
December 16, 2024 09:10 12s
feat: BitVec.toInt_sshiftRight Check PR body for changelog convention #62: Pull request #39 edited by mhk119
December 15, 2024 06:51 13s sshiftright
sshiftright
December 15, 2024 06:51 13s
feat: BitVec.toInt_sshiftRight Check PR body for changelog convention #61: Pull request #39 synchronize by mhk119
December 10, 2024 00:17 10s sshiftright
sshiftright
December 10, 2024 00:17 10s
feat: BitVec.toInt_sshiftRight Check PR body for changelog convention #60: Pull request #39 opened by mhk119
December 10, 2024 00:15 12s sshiftright
sshiftright
December 10, 2024 00:15 12s
feat : toInt_shiftLeft theorem Check PR body for changelog convention #59: Pull request #37 synchronize by mhk119
December 9, 2024 19:20 14s toInt_shiftLeft
toInt_shiftLeft
December 9, 2024 19:20 14s
feat: toNat theorems for rotateLeft and rotateRight Check PR body for changelog convention #58: Pull request #38 synchronize by mhk119
December 9, 2024 19:18 15s rotate
rotate
December 9, 2024 19:18 15s
feat: toNat theorems for rotateLeft and rotateRight Check PR body for changelog convention #57: Pull request #38 synchronize by mhk119
December 9, 2024 17:49 10s rotate
rotate
December 9, 2024 17:49 10s
feat : toInt_shiftLeft theorem Check PR body for changelog convention #56: Pull request #37 synchronize by mhk119
December 9, 2024 17:45 12s toInt_shiftLeft
toInt_shiftLeft
December 9, 2024 17:45 12s
feat : toInt_shiftLeft theorem Check PR body for changelog convention #55: Pull request #37 synchronize by mhk119
December 9, 2024 17:43 15s toInt_shiftLeft
toInt_shiftLeft
December 9, 2024 17:43 15s
feat : toInt_shiftLeft theorem Check PR body for changelog convention #54: Pull request #37 synchronize by mhk119
December 9, 2024 17:40 12s toInt_shiftLeft
toInt_shiftLeft
December 9, 2024 17:40 12s
feat: add BitVec.toFin_append Check PR body for changelog convention #53: Pull request #36 synchronize by tobiasgrosser
December 8, 2024 15:55 10s bv_append
bv_append
December 8, 2024 15:55 10s
feat: add BitVec.toFin_append Check PR body for changelog convention #52: Pull request #36 synchronize by tobiasgrosser
December 8, 2024 15:18 10s bv_append
bv_append
December 8, 2024 15:18 10s
feat: add BitVec.toFin_append Check PR body for changelog convention #51: Pull request #36 synchronize by tobiasgrosser
December 8, 2024 13:03 12s bv_append
bv_append
December 8, 2024 13:03 12s