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: add BitVec.toInt_sub Check for stage0 changes #216: Pull request #27 synchronize by tobiasgrosser
October 19, 2024 11:03 30s toInt_sub
toInt_sub
October 19, 2024 11:03 30s
feat: add BitVec.toInt_sub Check for stage0 changes #215: Pull request #27 synchronize by tobiasgrosser
October 19, 2024 11:00 27s toInt_sub
toInt_sub
October 19, 2024 11:00 27s
feat: add BitVec.toInt_sub Check for stage0 changes #214: Pull request #27 synchronize by tobiasgrosser
October 19, 2024 10:23 24s toInt_sub
toInt_sub
October 19, 2024 10:23 24s
feat: add BitVec.toInt_sub Check for stage0 changes #213: Pull request #27 synchronize by tobiasgrosser
October 19, 2024 08:34 29s toInt_sub
toInt_sub
October 19, 2024 08:34 29s
feat: add BitVec.toInt_sub Check for stage0 changes #212: Pull request #27 opened by tobiasgrosser
October 19, 2024 05:45 28s toInt_sub
toInt_sub
October 19, 2024 05:45 28s
feat: lazy ackermannization for bv_decide Check for stage0 changes #211: Pull request #25 synchronize by bollu
October 17, 2024 07:25 57s lazy-ackermannization
lazy-ackermannization
October 17, 2024 07:25 57s
feat: fix BitVec.abs, prove toInt produces the expected value Check for stage0 changes #210: Pull request #26 synchronize by bollu
October 15, 2024 04:12 52s lean4-toint-abs
lean4-toint-abs
October 15, 2024 04:12 52s
feat: fix BitVec.abs, prove toInt produces the expected value Check for stage0 changes #209: Pull request #26 opened by bollu
October 15, 2024 03:54 53s lean4-toint-abs
lean4-toint-abs
October 15, 2024 03:54 53s
feat: documentation of how bitblasting works Check for stage0 changes #208: Pull request #22 synchronize by bollu
October 4, 2024 20:50 35s document-bitblasting
document-bitblasting
October 4, 2024 20:50 35s
feat: documentation of how bitblasting works Check for stage0 changes #207: Pull request #22 synchronize by bollu
October 4, 2024 14:23 40s document-bitblasting
document-bitblasting
October 4, 2024 14:23 40s
feat: documentation of how bitblasting works Check for stage0 changes #206: Pull request #22 synchronize by bollu
October 4, 2024 14:23 43s document-bitblasting
document-bitblasting
October 4, 2024 14:23 43s
feat: lazy ackermannization for bv_decide Check for stage0 changes #205: Pull request #25 synchronize by bollu
September 28, 2024 22:05 36s lazy-ackermannization
lazy-ackermannization
September 28, 2024 22:05 36s
feat: lazy ackermannization for bv_decide Check for stage0 changes #204: Pull request #25 opened by bollu
September 27, 2024 05:13 34s lazy-ackermannization
lazy-ackermannization
September 27, 2024 05:13 34s
feat: sdiv reduction to udiv Check for stage0 changes #203: Pull request #23 synchronize by bollu
September 27, 2024 04:26 34s sdiv-reduction
sdiv-reduction
September 27, 2024 04:26 34s
feat: add DecidableRel instances for BitVec Check for stage0 changes #202: Pull request #24 opened by bollu
September 27, 2024 04:24 44s bv-decidable-rel
bv-decidable-rel
September 27, 2024 04:24 44s
feat: sdiv reduction to udiv Check for stage0 changes #201: Pull request #23 synchronize by bollu
September 27, 2024 04:22 38s sdiv-reduction
sdiv-reduction
September 27, 2024 04:22 38s
feat: sdiv reduction to udiv Check for stage0 changes #200: Pull request #23 synchronize by bollu
September 27, 2024 04:04 36s sdiv-reduction
sdiv-reduction
September 27, 2024 04:04 36s
feat: sdiv reduction to udiv Check for stage0 changes #199: Pull request #23 opened by bollu
September 27, 2024 03:47 37s sdiv-reduction
sdiv-reduction
September 27, 2024 03:47 37s
feat: documentation of how bitblasting works Check for stage0 changes #198: Pull request #22 opened by bollu
September 26, 2024 16:27 41s document-bitblasting
document-bitblasting
September 26, 2024 16:27 41s
feat: udiv/urem bitblasting Check for stage0 changes #197: Pull request #18 synchronize by tobiasgrosser
September 26, 2024 03:15 33s upstream-div
upstream-div
September 26, 2024 03:15 33s
feat: udiv/urem bitblasting Check for stage0 changes #196: Pull request #18 synchronize by tobiasgrosser
September 26, 2024 03:10 37s upstream-div
upstream-div
September 26, 2024 03:10 37s
feat: udiv/urem bitblasting Check for stage0 changes #195: Pull request #18 synchronize by tobiasgrosser
September 26, 2024 03:01 41s upstream-div
upstream-div
September 26, 2024 03:01 41s
feat: udiv/urem bitblasting Check for stage0 changes #194: Pull request #18 synchronize by bollu
September 26, 2024 02:41 39s upstream-div
upstream-div
September 26, 2024 02:41 39s
feat: udiv/urem bitblasting Check for stage0 changes #193: Pull request #18 synchronize by bollu
September 26, 2024 02:13 36s upstream-div
upstream-div
September 26, 2024 02:13 36s
feat: udiv/urem bitblasting Check for stage0 changes #192: Pull request #18 synchronize by bollu
September 26, 2024 02:13 35s upstream-div
upstream-div
September 26, 2024 02:13 35s