Skip to content

Actions: opencompl/lean4

Actions

Check for copyright header

Actions

Loading...
Loading

Show workflow options

Create status badge

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