Skip to content

Actions: opencompl/lean4

Actions

Check for copyright header

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
copyright-header.yml
260 workflow runs
260 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: documentation of how bitblasting works Check for copyright header #210: Pull request #22 synchronize by bollu
October 4, 2024 14:23 36s document-bitblasting
document-bitblasting
October 4, 2024 14:23 36s
feat: documentation of how bitblasting works Check for copyright header #209: Pull request #22 synchronize by bollu
October 4, 2024 14:23 39s document-bitblasting
document-bitblasting
October 4, 2024 14:23 39s
feat: lazy ackermannization for bv_decide Check for copyright header #208: Pull request #25 synchronize by bollu
September 28, 2024 22:05 35s lazy-ackermannization
lazy-ackermannization
September 28, 2024 22:05 35s
feat: lazy ackermannization for bv_decide Check for copyright header #207: Pull request #25 opened by bollu
September 27, 2024 05:13 37s lazy-ackermannization
lazy-ackermannization
September 27, 2024 05:13 37s
feat: sdiv reduction to udiv Check for copyright header #206: Pull request #23 synchronize by bollu
September 27, 2024 04:26 32s sdiv-reduction
sdiv-reduction
September 27, 2024 04:26 32s
feat: add DecidableRel instances for BitVec Check for copyright header #205: Pull request #24 opened by bollu
September 27, 2024 04:24 33s bv-decidable-rel
bv-decidable-rel
September 27, 2024 04:24 33s
feat: sdiv reduction to udiv Check for copyright header #204: Pull request #23 synchronize by bollu
September 27, 2024 04:22 34s sdiv-reduction
sdiv-reduction
September 27, 2024 04:22 34s
feat: sdiv reduction to udiv Check for copyright header #203: 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 copyright header #202: Pull request #23 opened by bollu
September 27, 2024 03:47 36s sdiv-reduction
sdiv-reduction
September 27, 2024 03:47 36s
feat: documentation of how bitblasting works Check for copyright header #201: Pull request #22 opened by bollu
September 26, 2024 16:27 36s document-bitblasting
document-bitblasting
September 26, 2024 16:27 36s
feat: udiv/urem bitblasting Check for copyright header #200: Pull request #18 synchronize by tobiasgrosser
September 26, 2024 03:15 38s upstream-div
upstream-div
September 26, 2024 03:15 38s
feat: udiv/urem bitblasting Check for copyright header #199: Pull request #18 synchronize by tobiasgrosser
September 26, 2024 03:10 36s upstream-div
upstream-div
September 26, 2024 03:10 36s
feat: udiv/urem bitblasting Check for copyright header #198: Pull request #18 synchronize by tobiasgrosser
September 26, 2024 03:01 33s upstream-div
upstream-div
September 26, 2024 03:01 33s
feat: udiv/urem bitblasting Check for copyright header #197: Pull request #18 synchronize by bollu
September 26, 2024 02:41 35s upstream-div
upstream-div
September 26, 2024 02:41 35s
feat: udiv/urem bitblasting Check for copyright header #196: Pull request #18 synchronize by bollu
September 26, 2024 02:13 35s upstream-div
upstream-div
September 26, 2024 02:13 35s
feat: udiv/urem bitblasting Check for copyright header #195: Pull request #18 synchronize by bollu
September 26, 2024 02:13 40s upstream-div
upstream-div
September 26, 2024 02:13 40s
feat: udiv/urem bitblasting Check for copyright header #194: Pull request #18 synchronize by alexkeizer
September 24, 2024 16:40 33s upstream-div
upstream-div
September 24, 2024 16:40 33s
feat: udiv/urem bitblasting Check for copyright header #193: Pull request #18 synchronize by alexkeizer
September 24, 2024 16:34 32s upstream-div
upstream-div
September 24, 2024 16:34 32s
refactor: bundle wn and wr into DivModState Check for copyright header #192: Pull request #21 synchronize by alexkeizer
September 24, 2024 16:33 34s upstream-div-alt
upstream-div-alt
September 24, 2024 16:33 34s
refactor: bundle wn and wr into DivModState Check for copyright header #191: Pull request #21 synchronize by alexkeizer
September 24, 2024 16:31 35s upstream-div-alt
upstream-div-alt
September 24, 2024 16:31 35s
refactor: bundle wn and wr into DivModState Check for copyright header #190: Pull request #21 synchronize by alexkeizer
September 24, 2024 02:27 34s upstream-div-alt
upstream-div-alt
September 24, 2024 02:27 34s
refactor: bundle wn and wr into DivModState Check for copyright header #189: Pull request #21 opened by alexkeizer
September 24, 2024 02:25 38s upstream-div-alt
upstream-div-alt
September 24, 2024 02:25 38s
feat: udiv/urem bitblasting Check for copyright header #188: Pull request #18 synchronize by alexkeizer
September 23, 2024 22:35 34s upstream-div
upstream-div
September 23, 2024 22:35 34s
feat: udiv/urem bitblasting Check for copyright header #187: Pull request #18 synchronize by bollu
September 23, 2024 19:59 36s upstream-div
upstream-div
September 23, 2024 19:59 36s
feat: udiv/urem bitblasting Check for copyright header #186: Pull request #18 synchronize by bollu
September 23, 2024 17:41 38s upstream-div
upstream-div
September 23, 2024 17:41 38s