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: recurrence for BitVec.mul as repeated shifts for bitblasting Check for copyright header #35: Pull request #6 synchronize by bollu
June 4, 2024 21:42 37s hargonix-recurrences-statements
hargonix-recurrences-statements
June 4, 2024 21:42 37s
feat: recurrence for BitVec.mul as repeated shifts for bitblasting Check for copyright header #34: Pull request #6 synchronize by bollu
June 4, 2024 18:02 30s hargonix-recurrences-statements
hargonix-recurrences-statements
June 4, 2024 18:02 30s
feat: recurrence for BitVec.mul as repeated shifts for bitblasting Check for copyright header #33: Pull request #6 synchronize by bollu
June 4, 2024 17:43 37s hargonix-recurrences-statements
hargonix-recurrences-statements
June 4, 2024 17:43 37s
feat: recurrence for BitVec.mul as repeated shifts for bitblasting Check for copyright header #32: Pull request #6 synchronize by bollu
June 4, 2024 16:38 31s hargonix-recurrences-statements
hargonix-recurrences-statements
June 4, 2024 16:38 31s
feat: recurrence for BitVec.mul as repeated shifts for bitblasting Check for copyright header #31: Pull request #6 synchronize by bollu
June 4, 2024 16:28 35s hargonix-recurrences-statements
hargonix-recurrences-statements
June 4, 2024 16:28 35s
feat: recurrence for BitVec.mul as repeated shifts for bitblasting Check for copyright header #30: Pull request #6 synchronize by bollu
June 3, 2024 16:31 33s hargonix-recurrences-statements
hargonix-recurrences-statements
June 3, 2024 16:31 33s
feat: getLsb_signExtend Check for copyright header #29: Pull request #5 synchronize by tobiasgrosser
June 3, 2024 10:34 35s getLsb_signExtend_tobias
getLsb_signExtend_tobias
June 3, 2024 10:34 35s
feat: getLsb_signExtend Check for copyright header #28: Pull request #5 synchronize by tobiasgrosser
June 3, 2024 10:28 33s getLsb_signExtend_tobias
getLsb_signExtend_tobias
June 3, 2024 10:28 33s
feat: getLsb_signExtend Check for copyright header #27: Pull request #5 synchronize by tobiasgrosser
June 3, 2024 10:25 38s getLsb_signExtend_tobias
getLsb_signExtend_tobias
June 3, 2024 10:25 38s
feat: getLsb_signExtend Check for copyright header #26: Pull request #5 synchronize by tobiasgrosser
June 3, 2024 09:28 32s getLsb_signExtend_tobias
getLsb_signExtend_tobias
June 3, 2024 09:28 32s
feat: getLsb_signExtend Check for copyright header #25: Pull request #5 synchronize by tobiasgrosser
June 3, 2024 09:25 33s getLsb_signExtend_tobias
getLsb_signExtend_tobias
June 3, 2024 09:25 33s
feat: getLsb_signExtend Check for copyright header #24: Pull request #5 synchronize by tobiasgrosser
June 3, 2024 09:00 43s getLsb_signExtend_tobias
getLsb_signExtend_tobias
June 3, 2024 09:00 43s
feat: getLsb_signExtend Check for copyright header #23: Pull request #5 synchronize by tobiasgrosser
June 3, 2024 08:36 37s getLsb_signExtend_tobias
getLsb_signExtend_tobias
June 3, 2024 08:36 37s
feat: getLsb_signExtend Check for copyright header #22: Pull request #5 synchronize by tobiasgrosser
June 3, 2024 04:06 37s getLsb_signExtend_tobias
getLsb_signExtend_tobias
June 3, 2024 04:06 37s
feat: getLsb_signExtend Check for copyright header #21: Pull request #5 synchronize by tobiasgrosser
June 3, 2024 02:34 33s getLsb_signExtend_tobias
getLsb_signExtend_tobias
June 3, 2024 02:34 33s
feat: recurrence for BitVec.mul as repeated shifts for bitblasting Check for copyright header #20: Pull request #6 synchronize by bollu
June 3, 2024 01:14 37s hargonix-recurrences-statements
hargonix-recurrences-statements
June 3, 2024 01:14 37s
feat: recurrence for BitVec.mul as repeated shifts for bitblasting Check for copyright header #19: Pull request #6 opened by bollu
June 3, 2024 00:59 35s hargonix-recurrences-statements
hargonix-recurrences-statements
June 3, 2024 00:59 35s
feat: getLsb_signExtend Check for copyright header #18: Pull request #5 synchronize by tobiasgrosser
June 2, 2024 18:57 31s getLsb_signExtend_tobias
getLsb_signExtend_tobias
June 2, 2024 18:57 31s
feat: getLsb_signExtend Check for copyright header #17: Pull request #5 opened by tobiasgrosser
June 2, 2024 18:57 35s getLsb_signExtend_tobias
getLsb_signExtend_tobias
June 2, 2024 18:57 35s
feat: add BitVec _assoc lemmas Check for copyright header #16: Pull request #4 synchronize by tobiasgrosser
May 28, 2024 16:54 22s bitvec_assoc
bitvec_assoc
May 28, 2024 16:54 22s
feat: add BitVec _assoc lemmas Check for copyright header #15: Pull request #4 synchronize by tobiasgrosser
May 28, 2024 14:31 25s bitvec_assoc
bitvec_assoc
May 28, 2024 14:31 25s
feat: add BitVec _assoc lemmas Check for copyright header #14: Pull request #4 synchronize by tobiasgrosser
May 28, 2024 14:29 22s bitvec_assoc
bitvec_assoc
May 28, 2024 14:29 22s
feat: add BitVec _assoc lemmas Check for copyright header #13: Pull request #4 synchronize by tobiasgrosser
May 28, 2024 05:17 23s bitvec_assoc
bitvec_assoc
May 28, 2024 05:17 23s
feat: add BitVec _assoc lemmas Check for copyright header #12: Pull request #4 synchronize by tobiasgrosser
May 28, 2024 05:17 23s bitvec_assoc
bitvec_assoc
May 28, 2024 05:17 23s
feat: add BitVec _assoc lemmas Check for copyright header #11: Pull request #4 opened by tobiasgrosser
May 27, 2024 18:45 23s bitvec_assoc
bitvec_assoc
May 27, 2024 18:45 23s
ProTip! You can narrow down the results and go further in time using created:<2024-05-27 or the other filters available.