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: shiftRight bitblasting theorems Check for copyright header #60: Pull request #11 synchronize by bollu
July 30, 2024 19:56 33s upstream-shiftRight-recurrence
upstream-shiftRight-recurrence
July 30, 2024 19:56 33s
feat: shiftRight bitblasting theorems Check for copyright header #59: Pull request #11 synchronize by bollu
July 30, 2024 19:53 31s upstream-shiftRight-recurrence
upstream-shiftRight-recurrence
July 30, 2024 19:53 31s
feat: shiftRight bitblasting theorems Check for copyright header #58: Pull request #11 synchronize by bollu
July 27, 2024 10:13 30s upstream-shiftRight-recurrence
upstream-shiftRight-recurrence
July 27, 2024 10:13 30s
feat: getLsb_replicate Check for copyright header #57: Pull request #10 synchronize by bollu
July 24, 2024 16:09 38s getLsb_replicate
getLsb_replicate
July 24, 2024 16:09 38s
feat: shiftRight bitblasting theorems Check for copyright header #56: Pull request #11 synchronize by bollu
July 24, 2024 14:07 33s upstream-shiftRight-recurrence
upstream-shiftRight-recurrence
July 24, 2024 14:07 33s
feat: shiftRight bitblasting theorems Check for copyright header #55: Pull request #11 opened by bollu
July 24, 2024 14:02 36s upstream-shiftRight-recurrence
upstream-shiftRight-recurrence
July 24, 2024 14:02 36s
feat: getLsb_replicate Check for copyright header #54: Pull request #10 synchronize by bollu
July 23, 2024 14:00 32s getLsb_replicate
getLsb_replicate
July 23, 2024 14:00 32s
feat: getLsb_replicate Check for copyright header #53: Pull request #10 synchronize by bollu
July 23, 2024 13:49 30s getLsb_replicate
getLsb_replicate
July 23, 2024 13:49 30s
feat: getLsb_replicate Check for copyright header #52: Pull request #10 synchronize by bollu
July 23, 2024 06:54 32s getLsb_replicate
getLsb_replicate
July 23, 2024 06:54 32s
feat: getLsb_replicate Check for copyright header #51: Pull request #10 opened by bollu
July 22, 2024 17:42 36s getLsb_replicate
getLsb_replicate
July 22, 2024 17:42 36s
chore: document failed proof strategy exploration about the higher order shift left recurrence Check for copyright header #50: Pull request #9 opened by bollu
July 3, 2024 09:12 35s shiftLeft-recurrence-higher-order-lemma
shiftLeft-recurrence-higher-order-lemma
July 3, 2024 09:12 35s
wip: bitblast shifts Check for copyright header #49: Pull request #8 synchronize by bollu
June 13, 2024 13:58 26s hargonix-bitblast-shifts
hargonix-bitblast-shifts
June 13, 2024 13:58 26s
wip: bitblast shifts Check for copyright header #48: Pull request #8 opened by bollu
June 13, 2024 13:39 26s hargonix-bitblast-shifts
hargonix-bitblast-shifts
June 13, 2024 13:39 26s
feat: recurrence for BitVec.mul as repeated shifts for bitblasting Check for copyright header #47: Pull request #6 synchronize by bollu
June 8, 2024 08:10 32s hargonix-recurrences-statements
hargonix-recurrences-statements
June 8, 2024 08:10 32s
feat: recurrence for BitVec.mul as repeated shifts for bitblasting Check for copyright header #46: Pull request #6 synchronize by bollu
June 8, 2024 07:58 31s hargonix-recurrences-statements
hargonix-recurrences-statements
June 8, 2024 07:58 31s
feat: recurrence for BitVec.mul as repeated shifts for bitblasting Check for copyright header #45: Pull request #6 synchronize by bollu
June 8, 2024 07:57 36s hargonix-recurrences-statements
hargonix-recurrences-statements
June 8, 2024 07:57 36s
feat: recurrence for BitVec.mul as repeated shifts for bitblasting Check for copyright header #44: Pull request #6 synchronize by bollu
June 8, 2024 07:56 35s hargonix-recurrences-statements
hargonix-recurrences-statements
June 8, 2024 07:56 35s
feat: recurrence for BitVec.mul as repeated shifts for bitblasting Check for copyright header #43: Pull request #6 synchronize by bollu
June 8, 2024 07:55 30s hargonix-recurrences-statements
hargonix-recurrences-statements
June 8, 2024 07:55 30s
feat: recurrence for BitVec.mul as repeated shifts for bitblasting Check for copyright header #42: Pull request #6 synchronize by bollu
June 8, 2024 07:53 30s hargonix-recurrences-statements
hargonix-recurrences-statements
June 8, 2024 07:53 30s
feat: recurrence for BitVec.mul as repeated shifts for bitblasting Check for copyright header #41: Pull request #6 synchronize by bollu
June 8, 2024 07:37 32s hargonix-recurrences-statements
hargonix-recurrences-statements
June 8, 2024 07:37 32s
feat: recurrence for BitVec.mul as repeated shifts for bitblasting Check for copyright header #40: Pull request #6 synchronize by bollu
June 8, 2024 07:28 33s hargonix-recurrences-statements
hargonix-recurrences-statements
June 8, 2024 07:28 33s
feat: recurrence for BitVec.mul as repeated shifts for bitblasting Check for copyright header #39: Pull request #6 synchronize by bollu
June 8, 2024 07:23 34s hargonix-recurrences-statements
hargonix-recurrences-statements
June 8, 2024 07:23 34s
feat: recurrence for BitVec.mul as repeated shifts for bitblasting Check for copyright header #38: Pull request #6 synchronize by bollu
June 8, 2024 07:11 33s hargonix-recurrences-statements
hargonix-recurrences-statements
June 8, 2024 07:11 33s
div proofs for bitblaster Check for copyright header #37: Pull request #7 opened by bollu
June 8, 2024 06:31 36s mod-lemmas
mod-lemmas
June 8, 2024 06:31 36s
feat: recurrence for BitVec.mul as repeated shifts for bitblasting Check for copyright header #36: Pull request #6 synchronize by alexkeizer
June 7, 2024 12:57 32s hargonix-recurrences-statements
hargonix-recurrences-statements
June 7, 2024 12:57 32s