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: recurrence for BitVec.mul as repeated shifts for bitblasting Check for stage0 changes #41: Pull request #6 synchronize by bollu
June 8, 2024 07:56 36s hargonix-recurrences-statements
hargonix-recurrences-statements
June 8, 2024 07:56 36s
feat: recurrence for BitVec.mul as repeated shifts for bitblasting Check for stage0 changes #40: Pull request #6 synchronize by bollu
June 8, 2024 07:55 35s hargonix-recurrences-statements
hargonix-recurrences-statements
June 8, 2024 07:55 35s
feat: recurrence for BitVec.mul as repeated shifts for bitblasting Check for stage0 changes #39: Pull request #6 synchronize by bollu
June 8, 2024 07:53 33s hargonix-recurrences-statements
hargonix-recurrences-statements
June 8, 2024 07:53 33s
feat: recurrence for BitVec.mul as repeated shifts for bitblasting Check for stage0 changes #38: Pull request #6 synchronize by bollu
June 8, 2024 07:37 31s hargonix-recurrences-statements
hargonix-recurrences-statements
June 8, 2024 07:37 31s
feat: recurrence for BitVec.mul as repeated shifts for bitblasting Check for stage0 changes #37: Pull request #6 synchronize by bollu
June 8, 2024 07:28 35s hargonix-recurrences-statements
hargonix-recurrences-statements
June 8, 2024 07:28 35s
feat: recurrence for BitVec.mul as repeated shifts for bitblasting Check for stage0 changes #36: Pull request #6 synchronize by bollu
June 8, 2024 07:23 37s hargonix-recurrences-statements
hargonix-recurrences-statements
June 8, 2024 07:23 37s
feat: recurrence for BitVec.mul as repeated shifts for bitblasting Check for stage0 changes #35: Pull request #6 synchronize by bollu
June 8, 2024 07:11 40s hargonix-recurrences-statements
hargonix-recurrences-statements
June 8, 2024 07:11 40s
div proofs for bitblaster Check for stage0 changes #34: Pull request #7 opened by bollu
June 8, 2024 06:31 38s mod-lemmas
mod-lemmas
June 8, 2024 06:31 38s
feat: recurrence for BitVec.mul as repeated shifts for bitblasting Check for stage0 changes #33: Pull request #6 synchronize by alexkeizer
June 7, 2024 12:57 38s hargonix-recurrences-statements
hargonix-recurrences-statements
June 7, 2024 12:57 38s
feat: recurrence for BitVec.mul as repeated shifts for bitblasting Check for stage0 changes #32: Pull request #6 synchronize by bollu
June 4, 2024 21:42 33s hargonix-recurrences-statements
hargonix-recurrences-statements
June 4, 2024 21:42 33s
feat: recurrence for BitVec.mul as repeated shifts for bitblasting Check for stage0 changes #31: Pull request #6 synchronize by bollu
June 4, 2024 18:02 39s hargonix-recurrences-statements
hargonix-recurrences-statements
June 4, 2024 18:02 39s
feat: recurrence for BitVec.mul as repeated shifts for bitblasting Check for stage0 changes #30: Pull request #6 synchronize by bollu
June 4, 2024 17:43 34s hargonix-recurrences-statements
hargonix-recurrences-statements
June 4, 2024 17:43 34s
feat: recurrence for BitVec.mul as repeated shifts for bitblasting Check for stage0 changes #29: Pull request #6 synchronize by bollu
June 4, 2024 16:38 39s hargonix-recurrences-statements
hargonix-recurrences-statements
June 4, 2024 16:38 39s
feat: recurrence for BitVec.mul as repeated shifts for bitblasting Check for stage0 changes #28: Pull request #6 synchronize by bollu
June 4, 2024 16:28 40s hargonix-recurrences-statements
hargonix-recurrences-statements
June 4, 2024 16:28 40s
feat: recurrence for BitVec.mul as repeated shifts for bitblasting Check for stage0 changes #27: Pull request #6 synchronize by bollu
June 3, 2024 16:31 32s hargonix-recurrences-statements
hargonix-recurrences-statements
June 3, 2024 16:31 32s
feat: getLsb_signExtend Check for stage0 changes #26: Pull request #5 synchronize by tobiasgrosser
June 3, 2024 10:34 43s getLsb_signExtend_tobias
getLsb_signExtend_tobias
June 3, 2024 10:34 43s
feat: getLsb_signExtend Check for stage0 changes #25: Pull request #5 synchronize by tobiasgrosser
June 3, 2024 10:28 50s getLsb_signExtend_tobias
getLsb_signExtend_tobias
June 3, 2024 10:28 50s
feat: getLsb_signExtend Check for stage0 changes #24: Pull request #5 synchronize by tobiasgrosser
June 3, 2024 10:25 54s getLsb_signExtend_tobias
getLsb_signExtend_tobias
June 3, 2024 10:25 54s
feat: getLsb_signExtend Check for stage0 changes #23: Pull request #5 synchronize by tobiasgrosser
June 3, 2024 09:28 57s getLsb_signExtend_tobias
getLsb_signExtend_tobias
June 3, 2024 09:28 57s
feat: getLsb_signExtend Check for stage0 changes #22: Pull request #5 synchronize by tobiasgrosser
June 3, 2024 09:25 46s getLsb_signExtend_tobias
getLsb_signExtend_tobias
June 3, 2024 09:25 46s
feat: getLsb_signExtend Check for stage0 changes #21: Pull request #5 synchronize by tobiasgrosser
June 3, 2024 09:00 54s getLsb_signExtend_tobias
getLsb_signExtend_tobias
June 3, 2024 09:00 54s
feat: getLsb_signExtend Check for stage0 changes #20: Pull request #5 synchronize by tobiasgrosser
June 3, 2024 08:36 46s getLsb_signExtend_tobias
getLsb_signExtend_tobias
June 3, 2024 08:36 46s
feat: getLsb_signExtend Check for stage0 changes #19: Pull request #5 synchronize by tobiasgrosser
June 3, 2024 04:06 58s getLsb_signExtend_tobias
getLsb_signExtend_tobias
June 3, 2024 04:06 58s
feat: getLsb_signExtend Check for stage0 changes #18: Pull request #5 synchronize by tobiasgrosser
June 3, 2024 02:34 50s getLsb_signExtend_tobias
getLsb_signExtend_tobias
June 3, 2024 02:34 50s
feat: recurrence for BitVec.mul as repeated shifts for bitblasting Check for stage0 changes #17: Pull request #6 synchronize by bollu
June 3, 2024 01:14 49s hargonix-recurrences-statements
hargonix-recurrences-statements
June 3, 2024 01:14 49s
ProTip! You can narrow down the results and go further in time using created:<2024-06-03 or the other filters available.