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: udiv/urem bitblasting Check for copyright header #110: Pull request #18 opened by bollu
August 23, 2024 20:11 31s upstream-div
upstream-div
August 23, 2024 20:11 31s
feat: add simple co-inductive predicates Check for copyright header #109: Pull request #17 synchronize by Equilibris
August 23, 2024 16:32 31s coinductive-predicates
coinductive-predicates
August 23, 2024 16:32 31s
feat: add simple co-inductive predicates Check for copyright header #108: Pull request #17 synchronize by Equilibris
August 23, 2024 12:49 30s coinductive-predicates
coinductive-predicates
August 23, 2024 12:49 30s
feat: add simple co-inductive predicates Check for copyright header #107: Pull request #17 synchronize by Equilibris
August 23, 2024 12:47 32s coinductive-predicates
coinductive-predicates
August 23, 2024 12:47 32s
feat: add simple co-inductive predicates Check for copyright header #106: Pull request #17 synchronize by Equilibris
August 23, 2024 12:45 30s coinductive-predicates
coinductive-predicates
August 23, 2024 12:45 30s
feat: add simple co-inductive predicates Check for copyright header #105: Pull request #17 synchronize by Equilibris
August 22, 2024 16:16 1m 8s coinductive-predicates
coinductive-predicates
August 22, 2024 16:16 1m 8s
feat: add simple co-inductive predicates Check for copyright header #104: Pull request #17 synchronize by Equilibris
August 22, 2024 14:25 35s coinductive-predicates
coinductive-predicates
August 22, 2024 14:25 35s
feat: add simple co-inductive predicates Check for copyright header #103: Pull request #17 synchronize by Equilibris
August 22, 2024 10:28 29s coinductive-predicates
coinductive-predicates
August 22, 2024 10:28 29s
feat: add simple co-inductive predicates Check for copyright header #102: Pull request #17 synchronize by Equilibris
August 21, 2024 15:50 36s coinductive-predicates
coinductive-predicates
August 21, 2024 15:50 36s
feat: add simple co-inductive predicates Check for copyright header #101: Pull request #17 synchronize by Equilibris
August 21, 2024 13:16 35s coinductive-predicates
coinductive-predicates
August 21, 2024 13:16 35s
feat: add simple co-inductive predicates Check for copyright header #100: Pull request #17 opened by Equilibris
August 21, 2024 13:09 36s coinductive-predicates
coinductive-predicates
August 21, 2024 13:09 36s
feat: add BitVec.intMin Check for copyright header #99: Pull request #16 synchronize by tobiasgrosser
August 20, 2024 04:39 30s add_BitVec_intMin
add_BitVec_intMin
August 20, 2024 04:39 30s
feat: add BitVec.intMin Check for copyright header #98: Pull request #16 synchronize by tobiasgrosser
August 20, 2024 04:37 30s add_BitVec_intMin
add_BitVec_intMin
August 20, 2024 04:37 30s
feat: add BitVec.intMin Check for copyright header #97: Pull request #16 synchronize by tobiasgrosser
August 20, 2024 04:29 33s add_BitVec_intMin
add_BitVec_intMin
August 20, 2024 04:29 33s
feat: add BitVec.intMin Check for copyright header #96: Pull request #16 opened by tobiasgrosser
August 20, 2024 04:04 29s add_BitVec_intMin
add_BitVec_intMin
August 20, 2024 04:04 29s
feat: bitblasting udiv/urem Check for copyright header #95: Pull request #12 synchronize by tobiasgrosser
August 15, 2024 05:46 31s upstream-div-recurrence
upstream-div-recurrence
August 15, 2024 05:46 31s
feat: add BitVec.toNat_[udiv|umod] and [udiv|umod]_eq Check for copyright header #94: Pull request #15 synchronize by tobiasgrosser
August 13, 2024 15:59 30s bitvec_udiv_umod_basics
bitvec_udiv_umod_basics
August 13, 2024 15:59 30s
feat: add BitVec.toNat_[udiv|umod] and [udiv|umod]_eq Check for copyright header #93: Pull request #15 synchronize by tobiasgrosser
August 12, 2024 08:50 45s bitvec_udiv_umod_basics
bitvec_udiv_umod_basics
August 12, 2024 08:50 45s
feat: add BitVec.toNat_[udiv|umod] and [udiv|umod]_eq Check for copyright header #92: Pull request #15 synchronize by tobiasgrosser
August 12, 2024 06:53 29s bitvec_udiv_umod_basics
bitvec_udiv_umod_basics
August 12, 2024 06:53 29s
feat: add BitVec.toNat_[udiv|umod] and [udiv|umod]_eq Check for copyright header #91: Pull request #15 synchronize by tobiasgrosser
August 12, 2024 06:52 32s bitvec_udiv_umod_basics
bitvec_udiv_umod_basics
August 12, 2024 06:52 32s
feat: add BitVec.toNat_[udiv|umod] and [udiv|umod]_eq Check for copyright header #90: Pull request #15 reopened by tobiasgrosser
August 12, 2024 06:19 30s bitvec_udiv_umod_basics
bitvec_udiv_umod_basics
August 12, 2024 06:19 30s
feat: add BitVec.neg_neg Check for copyright header #89: Pull request #14 synchronize by tobiasgrosser
August 11, 2024 09:50 29s bitvec_neg_neg
bitvec_neg_neg
August 11, 2024 09:50 29s
feat: add BitVec.neg_neg Check for copyright header #88: Pull request #14 synchronize by tobiasgrosser
August 11, 2024 09:49 28s bitvec_neg_neg
bitvec_neg_neg
August 11, 2024 09:49 28s
feat: add BitVec.toNat_[udiv|umod] and [udiv|umod]_eq Check for copyright header #87: Pull request #15 opened by tobiasgrosser
August 10, 2024 09:56 30s bitvec_udiv_umod_basics
bitvec_udiv_umod_basics
August 10, 2024 09:56 30s
feat: add BitVec.neg_neg Check for copyright header #86: Pull request #14 synchronize by tobiasgrosser
August 10, 2024 09:15 34s bitvec_neg_neg
bitvec_neg_neg
August 10, 2024 09:15 34s