Skip to content

Actions: opencompl/lean4

Actions

Check for stage0 changes

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-stage0.yml
358 workflow runs
358 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: udiv/urem bitblasting Check for stage0 changes #108: Pull request #18 synchronize by bollu
August 24, 2024 18:38 46s upstream-div
upstream-div
August 24, 2024 18:38 46s
feat: udiv/urem bitblasting Check for stage0 changes #107: Pull request #18 opened by bollu
August 23, 2024 20:11 38s upstream-div
upstream-div
August 23, 2024 20:11 38s
feat: add simple co-inductive predicates Check for stage0 changes #106: Pull request #17 synchronize by Equilibris
August 23, 2024 16:32 35s coinductive-predicates
coinductive-predicates
August 23, 2024 16:32 35s
feat: add simple co-inductive predicates Check for stage0 changes #105: Pull request #17 synchronize by Equilibris
August 23, 2024 12:49 39s coinductive-predicates
coinductive-predicates
August 23, 2024 12:49 39s
feat: add simple co-inductive predicates Check for stage0 changes #104: Pull request #17 synchronize by Equilibris
August 23, 2024 12:47 36s coinductive-predicates
coinductive-predicates
August 23, 2024 12:47 36s
feat: add simple co-inductive predicates Check for stage0 changes #103: Pull request #17 synchronize by Equilibris
August 23, 2024 12:45 35s coinductive-predicates
coinductive-predicates
August 23, 2024 12:45 35s
feat: add simple co-inductive predicates Check for stage0 changes #102: Pull request #17 synchronize by Equilibris
August 22, 2024 16:16 43s coinductive-predicates
coinductive-predicates
August 22, 2024 16:16 43s
feat: add simple co-inductive predicates Check for stage0 changes #101: Pull request #17 synchronize by Equilibris
August 22, 2024 14:25 37s coinductive-predicates
coinductive-predicates
August 22, 2024 14:25 37s
feat: add simple co-inductive predicates Check for stage0 changes #100: Pull request #17 synchronize by Equilibris
August 22, 2024 10:28 38s coinductive-predicates
coinductive-predicates
August 22, 2024 10:28 38s
feat: add simple co-inductive predicates Check for stage0 changes #99: Pull request #17 synchronize by Equilibris
August 21, 2024 15:50 39s coinductive-predicates
coinductive-predicates
August 21, 2024 15:50 39s
feat: add simple co-inductive predicates Check for stage0 changes #98: Pull request #17 synchronize by Equilibris
August 21, 2024 13:16 41s coinductive-predicates
coinductive-predicates
August 21, 2024 13:16 41s
feat: add simple co-inductive predicates Check for stage0 changes #97: Pull request #17 opened by Equilibris
August 21, 2024 13:09 40s coinductive-predicates
coinductive-predicates
August 21, 2024 13:09 40s
feat: add BitVec.intMin Check for stage0 changes #96: Pull request #16 synchronize by tobiasgrosser
August 20, 2024 04:39 38s add_BitVec_intMin
add_BitVec_intMin
August 20, 2024 04:39 38s
feat: add BitVec.intMin Check for stage0 changes #95: Pull request #16 synchronize by tobiasgrosser
August 20, 2024 04:37 38s add_BitVec_intMin
add_BitVec_intMin
August 20, 2024 04:37 38s
feat: add BitVec.intMin Check for stage0 changes #94: Pull request #16 synchronize by tobiasgrosser
August 20, 2024 04:29 34s add_BitVec_intMin
add_BitVec_intMin
August 20, 2024 04:29 34s
feat: add BitVec.intMin Check for stage0 changes #93: Pull request #16 opened by tobiasgrosser
August 20, 2024 04:04 34s add_BitVec_intMin
add_BitVec_intMin
August 20, 2024 04:04 34s
feat: bitblasting udiv/urem Check for stage0 changes #92: Pull request #12 synchronize by tobiasgrosser
August 15, 2024 05:46 34s upstream-div-recurrence
upstream-div-recurrence
August 15, 2024 05:46 34s
feat: add BitVec.toNat_[udiv|umod] and [udiv|umod]_eq Check for stage0 changes #91: Pull request #15 synchronize by tobiasgrosser
August 13, 2024 15:59 34s bitvec_udiv_umod_basics
bitvec_udiv_umod_basics
August 13, 2024 15:59 34s
feat: add BitVec.toNat_[udiv|umod] and [udiv|umod]_eq Check for stage0 changes #90: Pull request #15 synchronize by tobiasgrosser
August 12, 2024 08:50 38s bitvec_udiv_umod_basics
bitvec_udiv_umod_basics
August 12, 2024 08:50 38s
feat: add BitVec.toNat_[udiv|umod] and [udiv|umod]_eq Check for stage0 changes #89: Pull request #15 synchronize by tobiasgrosser
August 12, 2024 06:53 37s bitvec_udiv_umod_basics
bitvec_udiv_umod_basics
August 12, 2024 06:53 37s
feat: add BitVec.toNat_[udiv|umod] and [udiv|umod]_eq Check for stage0 changes #88: Pull request #15 synchronize by tobiasgrosser
August 12, 2024 06:52 35s bitvec_udiv_umod_basics
bitvec_udiv_umod_basics
August 12, 2024 06:52 35s
feat: add BitVec.toNat_[udiv|umod] and [udiv|umod]_eq Check for stage0 changes #87: Pull request #15 reopened by tobiasgrosser
August 12, 2024 06:19 32s bitvec_udiv_umod_basics
bitvec_udiv_umod_basics
August 12, 2024 06:19 32s
feat: add BitVec.neg_neg Check for stage0 changes #86: Pull request #14 synchronize by tobiasgrosser
August 11, 2024 09:50 31s bitvec_neg_neg
bitvec_neg_neg
August 11, 2024 09:50 31s
feat: add BitVec.neg_neg Check for stage0 changes #85: Pull request #14 synchronize by tobiasgrosser
August 11, 2024 09:49 32s bitvec_neg_neg
bitvec_neg_neg
August 11, 2024 09:49 32s
feat: add BitVec.toNat_[udiv|umod] and [udiv|umod]_eq Check for stage0 changes #84: Pull request #15 opened by tobiasgrosser
August 10, 2024 09:56 32s bitvec_udiv_umod_basics
bitvec_udiv_umod_basics
August 10, 2024 09:56 32s
ProTip! You can narrow down the results and go further in time using created:<2024-08-10 or the other filters available.