Skip to content

Actions: opencompl/lean4

Actions

Check for modules that should use `prelude`

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-prelude.yml
260 workflow runs
260 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 modules that should use `prelude` #235: Pull request #26 synchronize by bollu
October 21, 2024 07:19 14s lean4-toint-abs
lean4-toint-abs
October 21, 2024 07:19 14s
feat: fix BitVec.abs, prove toInt produces the expected value Check for modules that should use `prelude` #234: Pull request #26 synchronize by bollu
October 21, 2024 07:10 17s lean4-toint-abs
lean4-toint-abs
October 21, 2024 07:10 17s
feat: fix BitVec.abs, prove toInt produces the expected value Check for modules that should use `prelude` #233: Pull request #26 synchronize by bollu
October 21, 2024 07:04 15s lean4-toint-abs
lean4-toint-abs
October 21, 2024 07:04 15s
feat: fix BitVec.abs, prove toInt produces the expected value Check for modules that should use `prelude` #232: Pull request #26 synchronize by bollu
October 21, 2024 07:00 13s lean4-toint-abs
lean4-toint-abs
October 21, 2024 07:00 13s
feat: add BitVec.toInt_sub Check for modules that should use `prelude` #231: Pull request #27 synchronize by tobiasgrosser
October 19, 2024 18:20 18s toInt_sub
toInt_sub
October 19, 2024 18:20 18s
feat: add BitVec.toInt_sub Check for modules that should use `prelude` #230: Pull request #27 synchronize by alexkeizer
October 19, 2024 18:15 14s toInt_sub
toInt_sub
October 19, 2024 18:15 14s
feat: fix BitVec.abs, prove toInt produces the expected value Check for modules that should use `prelude` #229: Pull request #26 synchronize by bollu
October 19, 2024 15:37 15s lean4-toint-abs
lean4-toint-abs
October 19, 2024 15:37 15s
feat: add BitVec.toInt_sub Check for modules that should use `prelude` #228: Pull request #27 synchronize by tobiasgrosser
October 19, 2024 14:29 18s toInt_sub
toInt_sub
October 19, 2024 14:29 18s
feat: add BitVec.toInt_sub Check for modules that should use `prelude` #227: Pull request #27 synchronize by tobiasgrosser
October 19, 2024 14:28 14s toInt_sub
toInt_sub
October 19, 2024 14:28 14s
feat: add BitVec.toInt_sub Check for modules that should use `prelude` #226: Pull request #27 synchronize by tobiasgrosser
October 19, 2024 13:48 19s toInt_sub
toInt_sub
October 19, 2024 13:48 19s
feat: add BitVec.toInt_sub Check for modules that should use `prelude` #225: Pull request #27 synchronize by tobiasgrosser
October 19, 2024 13:47 15s toInt_sub
toInt_sub
October 19, 2024 13:47 15s
feat: add BitVec.toInt_sub Check for modules that should use `prelude` #224: Pull request #27 synchronize by tobiasgrosser
October 19, 2024 13:36 12s toInt_sub
toInt_sub
October 19, 2024 13:36 12s
feat: add BitVec.toInt_sub Check for modules that should use `prelude` #223: Pull request #27 synchronize by tobiasgrosser
October 19, 2024 13:33 18s toInt_sub
toInt_sub
October 19, 2024 13:33 18s
feat: add BitVec.toInt_sub Check for modules that should use `prelude` #222: Pull request #27 synchronize by tobiasgrosser
October 19, 2024 12:00 16s toInt_sub
toInt_sub
October 19, 2024 12:00 16s
feat: add BitVec.toInt_sub Check for modules that should use `prelude` #221: Pull request #27 synchronize by tobiasgrosser
October 19, 2024 11:49 15s toInt_sub
toInt_sub
October 19, 2024 11:49 15s
feat: add BitVec.toInt_sub Check for modules that should use `prelude` #220: Pull request #27 synchronize by tobiasgrosser
October 19, 2024 11:08 17s toInt_sub
toInt_sub
October 19, 2024 11:08 17s
feat: add BitVec.toInt_sub Check for modules that should use `prelude` #219: Pull request #27 synchronize by tobiasgrosser
October 19, 2024 11:03 12s toInt_sub
toInt_sub
October 19, 2024 11:03 12s
feat: add BitVec.toInt_sub Check for modules that should use `prelude` #218: Pull request #27 synchronize by tobiasgrosser
October 19, 2024 11:00 13s toInt_sub
toInt_sub
October 19, 2024 11:00 13s
feat: add BitVec.toInt_sub Check for modules that should use `prelude` #217: Pull request #27 synchronize by tobiasgrosser
October 19, 2024 10:23 17s toInt_sub
toInt_sub
October 19, 2024 10:23 17s
feat: add BitVec.toInt_sub Check for modules that should use `prelude` #216: Pull request #27 synchronize by tobiasgrosser
October 19, 2024 08:34 17s toInt_sub
toInt_sub
October 19, 2024 08:34 17s
feat: add BitVec.toInt_sub Check for modules that should use `prelude` #215: Pull request #27 opened by tobiasgrosser
October 19, 2024 05:45 16s toInt_sub
toInt_sub
October 19, 2024 05:45 16s
feat: lazy ackermannization for bv_decide Check for modules that should use `prelude` #214: Pull request #25 synchronize by bollu
October 17, 2024 07:25 14s lazy-ackermannization
lazy-ackermannization
October 17, 2024 07:25 14s
feat: fix BitVec.abs, prove toInt produces the expected value Check for modules that should use `prelude` #213: Pull request #26 synchronize by bollu
October 15, 2024 04:12 14s lean4-toint-abs
lean4-toint-abs
October 15, 2024 04:12 14s
feat: fix BitVec.abs, prove toInt produces the expected value Check for modules that should use `prelude` #212: Pull request #26 opened by bollu
October 15, 2024 03:54 15s lean4-toint-abs
lean4-toint-abs
October 15, 2024 03:54 15s
feat: documentation of how bitblasting works Check for modules that should use `prelude` #211: Pull request #22 synchronize by bollu
October 4, 2024 20:50 13s document-bitblasting
document-bitblasting
October 4, 2024 20:50 13s