Skip to content

Actions: opencompl/lean4

Actions

Backport

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
backport.yml
17 workflow runs
17 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: udiv/urem bitblasting Backport #17: Pull request #18 closed by bollu
September 27, 2024 13:45 3s
September 27, 2024 13:45 3s
feat: sdiv reduction to udiv Backport #16: Pull request #23 closed by bollu
September 27, 2024 13:23 2s
September 27, 2024 13:23 2s
feat: add DecidableRel instances for BitVec Backport #15: Pull request #24 closed by bollu
September 27, 2024 13:23 3s
September 27, 2024 13:23 3s
refactor: bundle wn and wr into DivModState Backport #14: Pull request #21 closed by alexkeizer
September 24, 2024 16:34 11s
September 24, 2024 16:34 11s
feat: add getElem_truncate Backport #13: Pull request #19 closed by tobiasgrosser
September 18, 2024 22:40 3s
September 18, 2024 22:40 3s
feat: add BitVec.intMin Backport #12: Pull request #16 closed by tobiasgrosser
August 20, 2024 05:30 2s
August 20, 2024 05:30 2s
feat: add BitVec.toNat_[udiv|umod] and [udiv|umod]_eq Backport #11: Pull request #15 closed by tobiasgrosser
August 15, 2024 05:40 2s
August 15, 2024 05:40 2s
feat: add sshiftRight/shiftLeft_*_distrib Backport #10: Pull request #13 closed by tobiasgrosser
August 12, 2024 06:11 3s
August 12, 2024 06:11 3s
feat: add BitVec.neg_neg Backport #9: Pull request #14 closed by tobiasgrosser
August 12, 2024 06:10 2s
August 12, 2024 06:10 2s
feat: add BitVec.toNat_[udiv|umod] and [udiv|umod]_eq Backport #8: Pull request #15 closed by tobiasgrosser
August 12, 2024 06:10 2s
August 12, 2024 06:10 2s
feat: getLsb_replicate Backport #7: Pull request #10 closed by tobiasgrosser
August 8, 2024 06:08 2s
August 8, 2024 06:08 2s
feat: shiftRight bitblasting theorems Backport #6: Pull request #11 closed by tobiasgrosser
August 8, 2024 06:08 2s
August 8, 2024 06:08 2s
WIP: multiplication circuit for bit blasting Backport #5: Pull request #2 closed by alexkeizer
July 1, 2024 14:17 3s
July 1, 2024 14:17 3s
div proofs for bitblaster Backport #4: Pull request #7 closed by bollu
June 13, 2024 17:04 2s
June 13, 2024 17:04 2s
wip: bitblast shifts Backport #3: Pull request #8 closed by bollu
June 13, 2024 17:04 2s
June 13, 2024 17:04 2s
getLsb_sshiftRight Backport #2: Pull request #3 closed by bollu
May 24, 2024 22:43 3s
May 24, 2024 22:43 3s
WIP: blast_bv tactic Backport #1: Pull request #1 closed by alexkeizer
May 23, 2024 11:39 2s
May 23, 2024 11:39 2s