Skip to content

Actions: opencompl/lean4

Actions

Label PR based on Comment

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
labels-from-comments.yml
17 workflow runs
17 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: add DecidableRel instances for BitVec Label PR based on Comment #17: Issue comment #24 (comment) created by tobiasgrosser
September 27, 2024 05:18 2s
September 27, 2024 05:18 2s
feat: add getElem_truncate Label PR based on Comment #16: Issue comment #19 (comment) created by tobiasgrosser
September 18, 2024 22:39 2s
September 18, 2024 22:39 2s
feat: udiv/urem bitblasting Label PR based on Comment #15: Issue comment #18 (comment) created by alexkeizer
September 11, 2024 16:05 3s
September 11, 2024 16:05 3s
feat: add simple co-inductive predicates Label PR based on Comment #14: Issue comment #17 (comment) created by alexkeizer
August 23, 2024 12:50 3s
August 23, 2024 12:50 3s
feat: add BitVec.toNat_[udiv|umod] and [udiv|umod]_eq Label PR based on Comment #13: Issue comment #15 (comment) created by tobiasgrosser
August 15, 2024 05:40 2s
August 15, 2024 05:40 2s
feat: add sshiftRight/shiftLeft_*_distrib Label PR based on Comment #12: Issue comment #13 (comment) created by tobiasgrosser
August 12, 2024 06:11 2s
August 12, 2024 06:11 2s
feat: add sshiftRight/shiftLeft_*_distrib Label PR based on Comment #11: Issue comment #13 (comment) created by tobiasgrosser
August 12, 2024 06:11 2s
August 12, 2024 06:11 2s
feat: add BitVec.neg_neg Label PR based on Comment #10: Issue comment #14 (comment) created by tobiasgrosser
August 12, 2024 06:10 2s
August 12, 2024 06:10 2s
Label PR based on Comment Label PR based on Comment #9: created by tobiasgrosser
August 12, 2024 06:09 2s
August 12, 2024 06:09 2s
feat: add BitVec.toNat_[udiv|umod] and [udiv|umod]_eq Label PR based on Comment #8: Issue comment #15 (comment) created by tobiasgrosser
August 10, 2024 09:59 2s
August 10, 2024 09:59 2s
feat: getLsb_replicate Label PR based on Comment #7: Issue comment #10 (comment) created by tobiasgrosser
August 8, 2024 06:08 1s
August 8, 2024 06:08 1s
feat: shiftRight bitblasting theorems Label PR based on Comment #6: Issue comment #11 (comment) created by tobiasgrosser
August 8, 2024 06:08 3s
August 8, 2024 06:08 3s
feat: shiftRight bitblasting theorems Label PR based on Comment #5: Issue comment #11 (comment) created by tobiasgrosser
July 30, 2024 19:42 2s
July 30, 2024 19:42 2s
feat: shiftRight bitblasting theorems Label PR based on Comment #4: Issue comment #11 (comment) created by bollu
July 30, 2024 19:29 2s
July 30, 2024 19:29 2s
feat: shiftRight bitblasting theorems Label PR based on Comment #3: Issue comment #11 (comment) created by tobiasgrosser
July 30, 2024 19:20 3s
July 30, 2024 19:20 3s
feat: add BitVec _assoc lemmas Label PR based on Comment #2: Issue comment #4 (comment) created by alexkeizer
May 28, 2024 13:05 3s
May 28, 2024 13:05 3s
feat: add BitVec _assoc lemmas Label PR based on Comment #1: Issue comment #4 (comment) created by tobiasgrosser
May 27, 2024 18:46 2s
May 27, 2024 18:46 2s