Skip to content

Actions: opencompl/lean4

Actions

Check PR title for commit convention

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr-title.yml
362 workflow runs
362 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: toNat and toInt theorems for signExtend Check PR title for commit convention #287: Pull request #30 synchronize by mhk119
October 27, 2024 19:53 11s signExtend
signExtend
October 27, 2024 19:53 11s
feat: toNat and toInt theorems for signExtend Check PR title for commit convention #286: Pull request #30 synchronize by mhk119
October 27, 2024 19:48 13s signExtend
signExtend
October 27, 2024 19:48 13s
feat: toNat and toInt theorems for signExtend Check PR title for commit convention #285: Pull request #30 opened by mhk119
October 27, 2024 19:40 11s signExtend
signExtend
October 27, 2024 19:40 11s
feat: add BitVec zero/one simplifications Check PR title for commit convention #284: Pull request #29 synchronize by tobiasgrosser
October 27, 2024 15:31 12s bv_zero_one_simps
bv_zero_one_simps
October 27, 2024 15:31 12s
feat: add BitVec zero/one simplifications Check PR title for commit convention #283: Pull request #29 synchronize by tobiasgrosser
October 27, 2024 14:47 11s bv_zero_one_simps
bv_zero_one_simps
October 27, 2024 14:47 11s
feat: add BitVec zero/one simplifications Check PR title for commit convention #282: Pull request #29 synchronize by tobiasgrosser
October 27, 2024 14:41 10s bv_zero_one_simps
bv_zero_one_simps
October 27, 2024 14:41 10s
feat: add BitVec zero/one simplifications Check PR title for commit convention #281: Pull request #29 synchronize by tobiasgrosser
October 27, 2024 14:31 11s bv_zero_one_simps
bv_zero_one_simps
October 27, 2024 14:31 11s
feat: add BitVec zero/one simplifications Check PR title for commit convention #280: Pull request #29 synchronize by tobiasgrosser
October 27, 2024 14:27 12s bv_zero_one_simps
bv_zero_one_simps
October 27, 2024 14:27 12s
feat: add BitVec zero/one simplifications Check PR title for commit convention #279: Pull request #29 opened by tobiasgrosser
October 27, 2024 14:22 11s bv_zero_one_simps
bv_zero_one_simps
October 27, 2024 14:22 11s
feat: BitVec.[udiv_twoPow|sdiv_twoPow] Check PR title for commit convention #278: Pull request #28 synchronize by tobiasgrosser
October 27, 2024 12:19 10s div_twoPow
div_twoPow
October 27, 2024 12:19 10s
feat: BitVec.[udiv_twoPow|sdiv_twoPow] Check PR title for commit convention #277: Pull request #28 opened by tobiasgrosser
October 26, 2024 22:38 11s div_twoPow
div_twoPow
October 26, 2024 22:38 11s
feat: fix BitVec.abs, prove toInt produces the expected value Check PR title for commit convention #276: Pull request #26 synchronize by bollu
October 23, 2024 20:23 11s lean4-toint-abs
lean4-toint-abs
October 23, 2024 20:23 11s
feat: fix BitVec.abs, prove toInt produces the expected value Check PR title for commit convention #275: Pull request #26 synchronize by bollu
October 22, 2024 22:21 10s lean4-toint-abs
lean4-toint-abs
October 22, 2024 22:21 10s
feat: fix BitVec.abs, prove toInt produces the expected value Check PR title for commit convention #274: 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 PR title for commit convention #273: Pull request #27 synchronize by tobiasgrosser
October 21, 2024 09:58 13s toInt_sub
toInt_sub
October 21, 2024 09:58 13s
feat: fix BitVec.abs, prove toInt produces the expected value Check PR title for commit convention #272: Pull request #26 synchronize by bollu
October 21, 2024 08:23 11s lean4-toint-abs
lean4-toint-abs
October 21, 2024 08:23 11s
feat: fix BitVec.abs, prove toInt produces the expected value Check PR title for commit convention #271: Pull request #26 synchronize by bollu
October 21, 2024 08:18 13s lean4-toint-abs
lean4-toint-abs
October 21, 2024 08:18 13s
feat: fix BitVec.abs, prove toInt produces the expected value Check PR title for commit convention #270: Pull request #26 synchronize by bollu
October 21, 2024 08:14 12s lean4-toint-abs
lean4-toint-abs
October 21, 2024 08:14 12s
feat: fix BitVec.abs, prove toInt produces the expected value Check PR title for commit convention #269: Pull request #26 synchronize by bollu
October 21, 2024 08:08 10s lean4-toint-abs
lean4-toint-abs
October 21, 2024 08:08 10s
feat: fix BitVec.abs, prove toInt produces the expected value Check PR title for commit convention #268: Pull request #26 synchronize by bollu
October 21, 2024 07:57 10s lean4-toint-abs
lean4-toint-abs
October 21, 2024 07:57 10s
feat: fix BitVec.abs, prove toInt produces the expected value Check PR title for commit convention #267: Pull request #26 synchronize by bollu
October 21, 2024 07:54 15s lean4-toint-abs
lean4-toint-abs
October 21, 2024 07:54 15s
feat: fix BitVec.abs, prove toInt produces the expected value Check PR title for commit convention #266: Pull request #26 synchronize by bollu
October 21, 2024 07:40 15s lean4-toint-abs
lean4-toint-abs
October 21, 2024 07:40 15s
feat: fix BitVec.abs, prove toInt produces the expected value Check PR title for commit convention #265: Pull request #26 synchronize by bollu
October 21, 2024 07:34 14s lean4-toint-abs
lean4-toint-abs
October 21, 2024 07:34 14s
feat: fix BitVec.abs, prove toInt produces the expected value Check PR title for commit convention #264: Pull request #26 synchronize by bollu
October 21, 2024 07:27 12s lean4-toint-abs
lean4-toint-abs
October 21, 2024 07:27 12s
feat: fix BitVec.abs, prove toInt produces the expected value Check PR title for commit convention #263: Pull request #26 synchronize by bollu
October 21, 2024 07:20 11s lean4-toint-abs
lean4-toint-abs
October 21, 2024 07:20 11s