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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: toNat theorems for signExtend Check for modules that should use `prelude` #260: Pull request #30 synchronize by mhk119
October 27, 2024 19:53 17s signExtend
signExtend
October 27, 2024 19:53 17s
feat: toNat theorems for signExtend Check for modules that should use `prelude` #259: Pull request #30 synchronize by mhk119
October 27, 2024 19:48 16s signExtend
signExtend
October 27, 2024 19:48 16s
feat: toNat theorems for signExtend Check for modules that should use `prelude` #258: Pull request #30 opened by mhk119
October 27, 2024 19:40 16s signExtend
signExtend
October 27, 2024 19:40 16s
feat: add BitVec zero/one simplifications Check for modules that should use `prelude` #257: Pull request #29 synchronize by tobiasgrosser
October 27, 2024 15:31 13s bv_zero_one_simps
bv_zero_one_simps
October 27, 2024 15:31 13s
feat: add BitVec zero/one simplifications Check for modules that should use `prelude` #256: Pull request #29 synchronize by tobiasgrosser
October 27, 2024 14:47 17s bv_zero_one_simps
bv_zero_one_simps
October 27, 2024 14:47 17s
feat: add BitVec zero/one simplifications Check for modules that should use `prelude` #255: Pull request #29 synchronize by tobiasgrosser
October 27, 2024 14:41 14s bv_zero_one_simps
bv_zero_one_simps
October 27, 2024 14:41 14s
feat: add BitVec zero/one simplifications Check for modules that should use `prelude` #254: Pull request #29 synchronize by tobiasgrosser
October 27, 2024 14:31 12s bv_zero_one_simps
bv_zero_one_simps
October 27, 2024 14:31 12s
feat: add BitVec zero/one simplifications Check for modules that should use `prelude` #253: Pull request #29 synchronize by tobiasgrosser
October 27, 2024 14:27 16s bv_zero_one_simps
bv_zero_one_simps
October 27, 2024 14:27 16s
feat: add BitVec zero/one simplifications Check for modules that should use `prelude` #252: Pull request #29 opened by tobiasgrosser
October 27, 2024 14:22 14s bv_zero_one_simps
bv_zero_one_simps
October 27, 2024 14:22 14s
feat: BitVec.[udiv_twoPow|sdiv_twoPow] Check for modules that should use `prelude` #251: Pull request #28 synchronize by tobiasgrosser
October 27, 2024 12:19 18s div_twoPow
div_twoPow
October 27, 2024 12:19 18s
feat: BitVec.[udiv_twoPow|sdiv_twoPow] Check for modules that should use `prelude` #250: Pull request #28 opened by tobiasgrosser
October 26, 2024 22:38 17s div_twoPow
div_twoPow
October 26, 2024 22:38 17s
feat: fix BitVec.abs, prove toInt produces the expected value Check for modules that should use `prelude` #249: Pull request #26 synchronize by bollu
October 23, 2024 20:23 18s lean4-toint-abs
lean4-toint-abs
October 23, 2024 20:23 18s
feat: fix BitVec.abs, prove toInt produces the expected value Check for modules that should use `prelude` #248: Pull request #26 synchronize by bollu
October 22, 2024 22:21 14s lean4-toint-abs
lean4-toint-abs
October 22, 2024 22:21 14s
feat: fix BitVec.abs, prove toInt produces the expected value Check for modules that should use `prelude` #247: Pull request #26 synchronize by bollu
October 21, 2024 17:18 16s lean4-toint-abs
lean4-toint-abs
October 21, 2024 17:18 16s
feat: add BitVec.toInt_sub Check for modules that should use `prelude` #246: Pull request #27 synchronize by tobiasgrosser
October 21, 2024 09:58 14s toInt_sub
toInt_sub
October 21, 2024 09:58 14s
feat: fix BitVec.abs, prove toInt produces the expected value Check for modules that should use `prelude` #245: Pull request #26 synchronize by bollu
October 21, 2024 08:23 15s lean4-toint-abs
lean4-toint-abs
October 21, 2024 08:23 15s
feat: fix BitVec.abs, prove toInt produces the expected value Check for modules that should use `prelude` #244: Pull request #26 synchronize by bollu
October 21, 2024 08:18 16s lean4-toint-abs
lean4-toint-abs
October 21, 2024 08:18 16s
feat: fix BitVec.abs, prove toInt produces the expected value Check for modules that should use `prelude` #243: Pull request #26 synchronize by bollu
October 21, 2024 08:14 13s lean4-toint-abs
lean4-toint-abs
October 21, 2024 08:14 13s
feat: fix BitVec.abs, prove toInt produces the expected value Check for modules that should use `prelude` #242: Pull request #26 synchronize by bollu
October 21, 2024 08:08 17s lean4-toint-abs
lean4-toint-abs
October 21, 2024 08:08 17s
feat: fix BitVec.abs, prove toInt produces the expected value Check for modules that should use `prelude` #241: Pull request #26 synchronize by bollu
October 21, 2024 07:57 17s lean4-toint-abs
lean4-toint-abs
October 21, 2024 07:57 17s
feat: fix BitVec.abs, prove toInt produces the expected value Check for modules that should use `prelude` #240: Pull request #26 synchronize by bollu
October 21, 2024 07:54 14s lean4-toint-abs
lean4-toint-abs
October 21, 2024 07:54 14s
feat: fix BitVec.abs, prove toInt produces the expected value Check for modules that should use `prelude` #239: Pull request #26 synchronize by bollu
October 21, 2024 07:40 19s lean4-toint-abs
lean4-toint-abs
October 21, 2024 07:40 19s
feat: fix BitVec.abs, prove toInt produces the expected value Check for modules that should use `prelude` #238: Pull request #26 synchronize by bollu
October 21, 2024 07:34 16s lean4-toint-abs
lean4-toint-abs
October 21, 2024 07:34 16s
feat: fix BitVec.abs, prove toInt produces the expected value Check for modules that should use `prelude` #237: Pull request #26 synchronize by bollu
October 21, 2024 07:27 13s lean4-toint-abs
lean4-toint-abs
October 21, 2024 07:27 13s
feat: fix BitVec.abs, prove toInt produces the expected value Check for modules that should use `prelude` #236: Pull request #26 synchronize by bollu
October 21, 2024 07:20 13s lean4-toint-abs
lean4-toint-abs
October 21, 2024 07:20 13s