Skip to content

Actions: opencompl/lean4

Actions

Check for modules that should use `prelude`

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-prelude.yml
326 workflow runs
326 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: toNat theorems for rotateLeft and rotateRight Check for modules that should use `prelude` #326: Pull request #38 synchronize by mhk119
January 9, 2025 20:53 15s rotate
rotate
January 9, 2025 20:53 15s
feat: toNat theorems for rotateLeft and rotateRight Check for modules that should use `prelude` #325: 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 for modules that should use `prelude` #324: Pull request #38 synchronize by mhk119
January 9, 2025 20:47 19s rotate
rotate
January 9, 2025 20:47 19s
feat: Add BitVector overflow predicates from SMT-LIB. Check for modules that should use `prelude` #323: Pull request #41 synchronize by bollu
January 6, 2025 20:13 18s overflow-defs
overflow-defs
January 6, 2025 20:13 18s
feat: Add BitVector overflow predicates from SMT-LIB. Check for modules that should use `prelude` #322: Pull request #41 opened by bollu
January 6, 2025 11:52 14s overflow-defs
overflow-defs
January 6, 2025 11:52 14s
feat: BitVec.toInt_concat and BitVec.toFin_concat Check for modules that should use `prelude` #321: Pull request #40 synchronize by mhk119
December 16, 2024 12:43 15s concat
concat
December 16, 2024 12:43 15s
feat : toInt_shiftLeft theorem Check for modules that should use `prelude` #320: Pull request #37 synchronize by mhk119
December 16, 2024 09:21 18s toInt_shiftLeft
toInt_shiftLeft
December 16, 2024 09:21 18s
feat: toNat theorems for rotateLeft and rotateRight Check for modules that should use `prelude` #319: Pull request #38 synchronize by mhk119
December 16, 2024 09:10 17s rotate
rotate
December 16, 2024 09:10 17s
feat: BitVec.toInt_sshiftRight Check for modules that should use `prelude` #318: Pull request #39 synchronize by mhk119
December 10, 2024 00:17 15s sshiftright
sshiftright
December 10, 2024 00:17 15s
feat: BitVec.toInt_sshiftRight Check for modules that should use `prelude` #317: Pull request #39 opened by mhk119
December 10, 2024 00:15 15s sshiftright
sshiftright
December 10, 2024 00:15 15s
feat : toInt_shiftLeft theorem Check for modules that should use `prelude` #316: Pull request #37 synchronize by mhk119
December 9, 2024 19:20 15s toInt_shiftLeft
toInt_shiftLeft
December 9, 2024 19:20 15s
feat: toNat theorems for rotateLeft and rotateRight Check for modules that should use `prelude` #315: Pull request #38 synchronize by mhk119
December 9, 2024 19:18 20s rotate
rotate
December 9, 2024 19:18 20s
feat: toNat theorems for rotateLeft and rotateRight Check for modules that should use `prelude` #314: Pull request #38 synchronize by mhk119
December 9, 2024 17:49 12s rotate
rotate
December 9, 2024 17:49 12s
feat : toInt_shiftLeft theorem Check for modules that should use `prelude` #313: Pull request #37 synchronize by mhk119
December 9, 2024 17:45 14s toInt_shiftLeft
toInt_shiftLeft
December 9, 2024 17:45 14s
feat : toInt_shiftLeft theorem Check for modules that should use `prelude` #312: Pull request #37 synchronize by mhk119
December 9, 2024 17:43 16s toInt_shiftLeft
toInt_shiftLeft
December 9, 2024 17:43 16s
feat : toInt_shiftLeft theorem Check for modules that should use `prelude` #311: Pull request #37 synchronize by mhk119
December 9, 2024 17:40 16s toInt_shiftLeft
toInt_shiftLeft
December 9, 2024 17:40 16s
feat: add BitVec.toFin_append Check for modules that should use `prelude` #310: Pull request #36 synchronize by tobiasgrosser
December 8, 2024 15:55 14s bv_append
bv_append
December 8, 2024 15:55 14s
feat: add BitVec.toFin_append Check for modules that should use `prelude` #309: Pull request #36 synchronize by tobiasgrosser
December 8, 2024 15:18 18s bv_append
bv_append
December 8, 2024 15:18 18s
feat: add BitVec.toFin_append Check for modules that should use `prelude` #308: Pull request #36 synchronize by tobiasgrosser
December 8, 2024 13:03 15s bv_append
bv_append
December 8, 2024 13:03 15s
feat: toNat theorems for rotateLeft and rotateRight Check for modules that should use `prelude` #307: Pull request #38 opened by mhk119
December 8, 2024 07:16 15s rotate
rotate
December 8, 2024 07:16 15s
feat : toInt_shiftLeft theorem Check for modules that should use `prelude` #306: Pull request #37 opened by mhk119
December 8, 2024 06:45 13s toInt_shiftLeft
toInt_shiftLeft
December 8, 2024 06:45 13s
feat: add BitVec.toFin_append Check for modules that should use `prelude` #305: Pull request #36 synchronize by tobiasgrosser
December 7, 2024 14:08 15s bv_append
bv_append
December 7, 2024 14:08 15s
feat: add BitVec.toFin_append Check for modules that should use `prelude` #304: Pull request #36 synchronize by tobiasgrosser
December 7, 2024 13:18 17s bv_append
bv_append
December 7, 2024 13:18 17s
feat: add BitVec.toFin_append Check for modules that should use `prelude` #303: Pull request #36 synchronize by tobiasgrosser
December 7, 2024 13:01 18s bv_append
bv_append
December 7, 2024 13:01 18s
feat: add BitVec.toFin_append Check for modules that should use `prelude` #302: Pull request #36 synchronize by tobiasgrosser
December 7, 2024 05:26 13s bv_append
bv_append
December 7, 2024 05:26 13s