Skip to content

Actions: opencompl/lean4

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
623 workflow runs
623 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI CI #623: Scheduled
October 28, 2024 07:01 27s master
master
October 28, 2024 07:01 27s
feat: toNat theorems for signExtend CI #622: Pull request #30 synchronize by mhk119
October 27, 2024 19:53 16m 43s signExtend
signExtend
October 27, 2024 19:53 16m 43s
feat: toNat theorems for signExtend CI #621: Pull request #30 synchronize by mhk119
October 27, 2024 19:48 5m 9s signExtend
signExtend
October 27, 2024 19:48 5m 9s
feat: toNat theorems for signExtend CI #620: Pull request #30 opened by mhk119
October 27, 2024 19:40 8m 9s signExtend
signExtend
October 27, 2024 19:40 8m 9s
feat: add BitVec zero/one simplifications CI #619: Pull request #29 synchronize by tobiasgrosser
October 27, 2024 15:31 20m 26s bv_zero_one_simps
bv_zero_one_simps
October 27, 2024 15:31 20m 26s
feat: add BitVec zero/one simplifications CI #618: Pull request #29 synchronize by tobiasgrosser
October 27, 2024 14:47 20m 45s bv_zero_one_simps
bv_zero_one_simps
October 27, 2024 14:47 20m 45s
feat: add BitVec zero/one simplifications CI #617: Pull request #29 synchronize by tobiasgrosser
October 27, 2024 14:41 6m 11s bv_zero_one_simps
bv_zero_one_simps
October 27, 2024 14:41 6m 11s
feat: add BitVec zero/one simplifications CI #616: Pull request #29 synchronize by tobiasgrosser
October 27, 2024 14:31 10m 29s bv_zero_one_simps
bv_zero_one_simps
October 27, 2024 14:31 10m 29s
feat: add BitVec zero/one simplifications CI #615: Pull request #29 synchronize by tobiasgrosser
October 27, 2024 14:27 4m 27s bv_zero_one_simps
bv_zero_one_simps
October 27, 2024 14:27 4m 27s
feat: add BitVec zero/one simplifications CI #614: Pull request #29 opened by tobiasgrosser
October 27, 2024 14:22 4m 51s bv_zero_one_simps
bv_zero_one_simps
October 27, 2024 14:22 4m 51s
feat: if support and more in bv_decide (#5855) CI #613: Commit 8c7f748 pushed by tobiasgrosser
October 27, 2024 14:22 28m 2s master
master
October 27, 2024 14:22 28m 2s
feat: BitVec.[udiv_twoPow|sdiv_twoPow] CI #612: Pull request #28 synchronize by tobiasgrosser
October 27, 2024 12:19 6m 9s div_twoPow
div_twoPow
October 27, 2024 12:19 6m 9s
CI CI #611: Scheduled
October 27, 2024 07:01 29s master
master
October 27, 2024 07:01 29s
feat: BitVec.[udiv_twoPow|sdiv_twoPow] CI #610: Pull request #28 opened by tobiasgrosser
October 26, 2024 22:38 16m 30s div_twoPow
div_twoPow
October 26, 2024 22:38 16m 30s
feat: support BitVec.ofBool in bv_decide (#5852) CI #609: Commit 8b5443e pushed by tobiasgrosser
October 26, 2024 22:37 47m 28s master
master
October 26, 2024 22:37 47m 28s
CI CI #608: Scheduled
October 26, 2024 07:00 25s master
master
October 26, 2024 07:00 25s
CI CI #607: Scheduled
October 25, 2024 07:01 29s master
master
October 25, 2024 07:01 29s
CI CI #606: Scheduled
October 24, 2024 07:01 27s master
master
October 24, 2024 07:01 27s
feat: fix BitVec.abs, prove toInt produces the expected value CI #605: Pull request #26 synchronize by bollu
October 23, 2024 20:23 31m 32s lean4-toint-abs
lean4-toint-abs
October 23, 2024 20:23 31m 32s
CI CI #604: Scheduled
October 23, 2024 07:01 23s master
master
October 23, 2024 07:01 23s
feat: fix BitVec.abs, prove toInt produces the expected value CI #603: Pull request #26 synchronize by bollu
October 22, 2024 22:21 16m 12s lean4-toint-abs
lean4-toint-abs
October 22, 2024 22:21 16m 12s
CI CI #602: Scheduled
October 22, 2024 07:01 25s master
master
October 22, 2024 07:01 25s
feat: fix BitVec.abs, prove toInt produces the expected value CI #601: Pull request #26 synchronize by bollu
October 21, 2024 17:18 16m 8s lean4-toint-abs
lean4-toint-abs
October 21, 2024 17:18 16m 8s
feat: add BitVec.toInt_sub CI #600: Pull request #27 synchronize by tobiasgrosser
October 21, 2024 09:58 19m 42s toInt_sub
toInt_sub
October 21, 2024 09:58 19m 42s
feat: fix BitVec.abs, prove toInt produces the expected value CI #599: Pull request #26 synchronize by bollu
October 21, 2024 08:23 8m 34s lean4-toint-abs
lean4-toint-abs
October 21, 2024 08:23 8m 34s