Skip to content

Actions: opencompl/lean4

Actions

Check for stage0 changes

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-stage0.yml
291 workflow runs
291 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: fix BitVec.abs, prove toInt produces the expected value Check for stage0 changes #241: Pull request #26 synchronize by bollu
October 21, 2024 08:18 36s lean4-toint-abs
lean4-toint-abs
October 21, 2024 08:18 36s
feat: fix BitVec.abs, prove toInt produces the expected value Check for stage0 changes #240: Pull request #26 synchronize by bollu
October 21, 2024 08:14 40s lean4-toint-abs
lean4-toint-abs
October 21, 2024 08:14 40s
feat: fix BitVec.abs, prove toInt produces the expected value Check for stage0 changes #239: Pull request #26 synchronize by bollu
October 21, 2024 08:08 37s lean4-toint-abs
lean4-toint-abs
October 21, 2024 08:08 37s
feat: fix BitVec.abs, prove toInt produces the expected value Check for stage0 changes #238: Pull request #26 synchronize by bollu
October 21, 2024 07:57 39s lean4-toint-abs
lean4-toint-abs
October 21, 2024 07:57 39s
feat: fix BitVec.abs, prove toInt produces the expected value Check for stage0 changes #237: Pull request #26 synchronize by bollu
October 21, 2024 07:54 37s lean4-toint-abs
lean4-toint-abs
October 21, 2024 07:54 37s
feat: fix BitVec.abs, prove toInt produces the expected value Check for stage0 changes #236: Pull request #26 synchronize by bollu
October 21, 2024 07:40 35s lean4-toint-abs
lean4-toint-abs
October 21, 2024 07:40 35s
feat: fix BitVec.abs, prove toInt produces the expected value Check for stage0 changes #235: Pull request #26 synchronize by bollu
October 21, 2024 07:34 39s lean4-toint-abs
lean4-toint-abs
October 21, 2024 07:34 39s
feat: fix BitVec.abs, prove toInt produces the expected value Check for stage0 changes #234: Pull request #26 synchronize by bollu
October 21, 2024 07:27 38s lean4-toint-abs
lean4-toint-abs
October 21, 2024 07:27 38s
feat: fix BitVec.abs, prove toInt produces the expected value Check for stage0 changes #233: Pull request #26 synchronize by bollu
October 21, 2024 07:20 39s lean4-toint-abs
lean4-toint-abs
October 21, 2024 07:20 39s
feat: fix BitVec.abs, prove toInt produces the expected value Check for stage0 changes #232: Pull request #26 synchronize by bollu
October 21, 2024 07:19 37s lean4-toint-abs
lean4-toint-abs
October 21, 2024 07:19 37s
feat: fix BitVec.abs, prove toInt produces the expected value Check for stage0 changes #231: Pull request #26 synchronize by bollu
October 21, 2024 07:10 34s lean4-toint-abs
lean4-toint-abs
October 21, 2024 07:10 34s
feat: fix BitVec.abs, prove toInt produces the expected value Check for stage0 changes #230: Pull request #26 synchronize by bollu
October 21, 2024 07:04 43s lean4-toint-abs
lean4-toint-abs
October 21, 2024 07:04 43s
feat: fix BitVec.abs, prove toInt produces the expected value Check for stage0 changes #229: Pull request #26 synchronize by bollu
October 21, 2024 07:00 39s lean4-toint-abs
lean4-toint-abs
October 21, 2024 07:00 39s
feat: add BitVec.toInt_sub Check for stage0 changes #228: Pull request #27 synchronize by tobiasgrosser
October 19, 2024 18:20 30s toInt_sub
toInt_sub
October 19, 2024 18:20 30s
feat: add BitVec.toInt_sub Check for stage0 changes #227: Pull request #27 synchronize by alexkeizer
October 19, 2024 18:15 29s toInt_sub
toInt_sub
October 19, 2024 18:15 29s
feat: fix BitVec.abs, prove toInt produces the expected value Check for stage0 changes #226: Pull request #26 synchronize by bollu
October 19, 2024 15:37 38s lean4-toint-abs
lean4-toint-abs
October 19, 2024 15:37 38s
feat: add BitVec.toInt_sub Check for stage0 changes #225: Pull request #27 synchronize by tobiasgrosser
October 19, 2024 14:29 30s toInt_sub
toInt_sub
October 19, 2024 14:29 30s
feat: add BitVec.toInt_sub Check for stage0 changes #224: Pull request #27 synchronize by tobiasgrosser
October 19, 2024 14:28 23s toInt_sub
toInt_sub
October 19, 2024 14:28 23s
feat: add BitVec.toInt_sub Check for stage0 changes #223: Pull request #27 synchronize by tobiasgrosser
October 19, 2024 13:48 27s toInt_sub
toInt_sub
October 19, 2024 13:48 27s
feat: add BitVec.toInt_sub Check for stage0 changes #222: Pull request #27 synchronize by tobiasgrosser
October 19, 2024 13:47 27s toInt_sub
toInt_sub
October 19, 2024 13:47 27s
feat: add BitVec.toInt_sub Check for stage0 changes #221: Pull request #27 synchronize by tobiasgrosser
October 19, 2024 13:36 24s toInt_sub
toInt_sub
October 19, 2024 13:36 24s
feat: add BitVec.toInt_sub Check for stage0 changes #220: Pull request #27 synchronize by tobiasgrosser
October 19, 2024 13:33 24s toInt_sub
toInt_sub
October 19, 2024 13:33 24s
feat: add BitVec.toInt_sub Check for stage0 changes #219: Pull request #27 synchronize by tobiasgrosser
October 19, 2024 12:00 26s toInt_sub
toInt_sub
October 19, 2024 12:00 26s
feat: add BitVec.toInt_sub Check for stage0 changes #218: Pull request #27 synchronize by tobiasgrosser
October 19, 2024 11:49 25s toInt_sub
toInt_sub
October 19, 2024 11:49 25s
feat: add BitVec.toInt_sub Check for stage0 changes #217: Pull request #27 synchronize by tobiasgrosser
October 19, 2024 11:08 25s toInt_sub
toInt_sub
October 19, 2024 11:08 25s