Skip to content

Actions: opencompl/lean4

Actions

Check for stage0 changes

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-stage0.yml
324 workflow runs
324 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 for stage0 changes #324: Pull request #42 opened by luisacicolini
January 13, 2025 13:29 45s smtlib-overflow-defs
smtlib-overflow-defs
January 13, 2025 13:29 45s
feat: toNat theorems for rotateLeft and rotateRight Check for stage0 changes #323: Pull request #38 synchronize by mhk119
January 9, 2025 20:53 43s rotate
rotate
January 9, 2025 20:53 43s
feat: toNat theorems for rotateLeft and rotateRight Check for stage0 changes #322: Pull request #38 synchronize by mhk119
January 9, 2025 20:47 44s rotate
rotate
January 9, 2025 20:47 44s
feat: toNat theorems for rotateLeft and rotateRight Check for stage0 changes #321: Pull request #38 synchronize by mhk119
January 9, 2025 20:47 36s rotate
rotate
January 9, 2025 20:47 36s
feat: Add BitVector overflow predicates from SMT-LIB. Check for stage0 changes #320: Pull request #41 synchronize by bollu
January 6, 2025 20:13 48s overflow-defs
overflow-defs
January 6, 2025 20:13 48s
feat: Add BitVector overflow predicates from SMT-LIB. Check for stage0 changes #319: Pull request #41 opened by bollu
January 6, 2025 11:52 44s overflow-defs
overflow-defs
January 6, 2025 11:52 44s
feat: BitVec.toInt_concat and BitVec.toFin_concat Check for stage0 changes #318: Pull request #40 synchronize by mhk119
December 16, 2024 12:43 41s concat
concat
December 16, 2024 12:43 41s
feat : toInt_shiftLeft theorem Check for stage0 changes #317: Pull request #37 synchronize by mhk119
December 16, 2024 09:21 39s toInt_shiftLeft
toInt_shiftLeft
December 16, 2024 09:21 39s
feat: toNat theorems for rotateLeft and rotateRight Check for stage0 changes #316: Pull request #38 synchronize by mhk119
December 16, 2024 09:10 44s rotate
rotate
December 16, 2024 09:10 44s
feat: BitVec.toInt_sshiftRight Check for stage0 changes #315: Pull request #39 synchronize by mhk119
December 10, 2024 00:17 35s sshiftright
sshiftright
December 10, 2024 00:17 35s
feat: BitVec.toInt_sshiftRight Check for stage0 changes #314: Pull request #39 opened by mhk119
December 10, 2024 00:15 42s sshiftright
sshiftright
December 10, 2024 00:15 42s
feat : toInt_shiftLeft theorem Check for stage0 changes #313: Pull request #37 synchronize by mhk119
December 9, 2024 19:20 40s toInt_shiftLeft
toInt_shiftLeft
December 9, 2024 19:20 40s
feat: toNat theorems for rotateLeft and rotateRight Check for stage0 changes #312: Pull request #38 synchronize by mhk119
December 9, 2024 19:18 46s rotate
rotate
December 9, 2024 19:18 46s
feat: toNat theorems for rotateLeft and rotateRight Check for stage0 changes #311: Pull request #38 synchronize by mhk119
December 9, 2024 17:49 39s rotate
rotate
December 9, 2024 17:49 39s
feat : toInt_shiftLeft theorem Check for stage0 changes #310: Pull request #37 synchronize by mhk119
December 9, 2024 17:45 43s toInt_shiftLeft
toInt_shiftLeft
December 9, 2024 17:45 43s
feat : toInt_shiftLeft theorem Check for stage0 changes #309: Pull request #37 synchronize by mhk119
December 9, 2024 17:43 33s toInt_shiftLeft
toInt_shiftLeft
December 9, 2024 17:43 33s
feat : toInt_shiftLeft theorem Check for stage0 changes #308: Pull request #37 synchronize by mhk119
December 9, 2024 17:40 32s toInt_shiftLeft
toInt_shiftLeft
December 9, 2024 17:40 32s
feat: add BitVec.toFin_append Check for stage0 changes #307: Pull request #36 synchronize by tobiasgrosser
December 8, 2024 15:55 39s bv_append
bv_append
December 8, 2024 15:55 39s
feat: add BitVec.toFin_append Check for stage0 changes #306: Pull request #36 synchronize by tobiasgrosser
December 8, 2024 15:18 45s bv_append
bv_append
December 8, 2024 15:18 45s
feat: add BitVec.toFin_append Check for stage0 changes #305: Pull request #36 synchronize by tobiasgrosser
December 8, 2024 13:03 42s bv_append
bv_append
December 8, 2024 13:03 42s
feat: toNat theorems for rotateLeft and rotateRight Check for stage0 changes #304: Pull request #38 opened by mhk119
December 8, 2024 07:16 35s rotate
rotate
December 8, 2024 07:16 35s
feat : toInt_shiftLeft theorem Check for stage0 changes #303: Pull request #37 opened by mhk119
December 8, 2024 06:45 29s toInt_shiftLeft
toInt_shiftLeft
December 8, 2024 06:45 29s
feat: add BitVec.toFin_append Check for stage0 changes #302: Pull request #36 synchronize by tobiasgrosser
December 7, 2024 14:08 46s bv_append
bv_append
December 7, 2024 14:08 46s
feat: add BitVec.toFin_append Check for stage0 changes #301: Pull request #36 synchronize by tobiasgrosser
December 7, 2024 13:18 42s bv_append
bv_append
December 7, 2024 13:18 42s
feat: add BitVec.toFin_append Check for stage0 changes #300: Pull request #36 synchronize by tobiasgrosser
December 7, 2024 13:01 1m 32s bv_append
bv_append
December 7, 2024 13:01 1m 32s