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
34 workflow runs
34 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: toNat theorems for rotateLeft and rotateRight Label PR based on Comment #34: Issue comment #38 (comment) created by mhk119
December 9, 2024 17:39 11s
December 9, 2024 17:39 11s
feat: add BitVec.toFin_append Label PR based on Comment #33: Issue comment #36 (comment) created by tobiasgrosser
December 7, 2024 03:53 2s
December 7, 2024 03:53 2s
feat: add BitVec.toInt_sub Label PR based on Comment #32: Issue comment #27 (comment) created by tobiasgrosser
December 5, 2024 07:54 2s
December 5, 2024 07:54 2s
feat: theorems for ushiftRight Label PR based on Comment #31: Issue comment #33 (comment) created by tobiasgrosser
December 5, 2024 07:53 3s
December 5, 2024 07:53 3s
feat: toNat and toInt theorems for signExtend Label PR based on Comment #30: Issue comment #30 (comment) created by bollu
November 27, 2024 13:31 3s
November 27, 2024 13:31 3s
feat: fix BitVec.abs, prove toInt produces the expected value Label PR based on Comment #29: Issue comment #26 (comment) created by bollu
November 21, 2024 15:27 3s
November 21, 2024 15:27 3s
feat: convert x.sdiv (2^k) into x.sshiftRight k Label PR based on Comment #28: Issue comment #35 (comment) created by bollu
November 18, 2024 19:12 2s
November 18, 2024 19:12 2s
feat: add BitVec.(getMsbD, msb)_(rotateLeft, RotateRight) Label PR based on Comment #27: Issue comment #34 (comment) created by luisacicolini
November 18, 2024 15:05 3s
November 18, 2024 15:05 3s
feat: convert x.sdiv (2^k) into x.sshiftRight k Label PR based on Comment #26: Issue comment #35 (comment) created by bollu
November 13, 2024 16:38 2s
November 13, 2024 16:38 2s
feat: theorems for ushiftRight Label PR based on Comment #25: Issue comment #33 (comment) created by mhk119
November 11, 2024 23:56 2s
November 11, 2024 23:56 2s
feat: theorems for ushiftRight Label PR based on Comment #24: Issue comment #33 (comment) created by bollu
November 11, 2024 18:47 3s
November 11, 2024 18:47 3s
feat: add BitVec.(getMsbD, msb)_(rotateLeft, RotateRight) Label PR based on Comment #23: Issue comment #34 (comment) created by luisacicolini
November 11, 2024 17:49 3s
November 11, 2024 17:49 3s
feat: add BitVec.(getMsbD, msb)_(rotateLeft, RotateRight) Label PR based on Comment #22: Issue comment #34 (comment) created by bollu
November 11, 2024 10:56 2s
November 11, 2024 10:56 2s
feat: add BitVec.(getMsbD, msb)_(rotateLeft, RotateRight) Label PR based on Comment #21: Issue comment #34 (comment) created by luisacicolini
November 11, 2024 10:33 2s
November 11, 2024 10:33 2s
feat: add BitVec.(getMsbD, msb)_(rotateLeft, RotateRight) Label PR based on Comment #20: Issue comment #34 (comment) created by bollu
November 11, 2024 10:02 2s
November 11, 2024 10:02 2s
feat: toNat and toInt theorems for signExtend Label PR based on Comment #19: Issue comment #30 (comment) created by tobiasgrosser
October 30, 2024 02:38 2s
October 30, 2024 02:38 2s
feat: toNat and toInt theorems for signExtend Label PR based on Comment #18: Issue comment #30 (comment) created by kim-em
October 30, 2024 02:35 2s
October 30, 2024 02:35 2s
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