Skip to content

Actions: leanprover/lean4

Actions

Backport

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
backport.yml
1,221 workflow run results
1,221 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

refactor: make BitVec.carry take bitvector arguments Backport #1368: Pull request #3461 closed by joehendrix
February 22, 2024 20:02 9s
February 22, 2024 20:02 9s
fix: split libInit_shared out of libleanshared Backport #1367: Pull request #3421 closed by Kha
February 22, 2024 19:55 11s
February 22, 2024 19:55 11s
fix: zetaDelta := false regression Backport #1366: Pull request #3459 closed by leodemoura
February 22, 2024 19:47 11s
February 22, 2024 19:47 11s
refactor: reduced unsed imports Backport #1365: Pull request #3464 closed by nomeata
February 22, 2024 18:50 14s
February 22, 2024 18:50 14s
refactor: reduced unsed imports Backport #1364: Pull request #3464 labeled by nomeata
February 22, 2024 17:34 2s
February 22, 2024 17:34 2s
refactor: reduced unsed imports Backport #1363: Pull request #3464 labeled by nomeata
February 22, 2024 17:27 2s
February 22, 2024 17:27 2s
fix: improve error message when termination argument is too dependent Backport #1362: Pull request #3414 closed by nomeata
February 22, 2024 17:17 27s
February 22, 2024 17:17 27s
refactor: module MatcherApp.Transform Backport #1361: Pull request #3439 closed by nomeata
February 22, 2024 17:01 14s
February 22, 2024 17:01 14s
chore: upstream exact? and apply? from Std Backport #1360: Pull request #3447 labeled by joehendrix
February 22, 2024 06:19 2s
February 22, 2024 06:19 2s
chore: more List lemmas for auto Backport #1359: Pull request #3454 closed by kim-em
February 22, 2024 05:52 12s
February 22, 2024 05:52 12s
chore: namespacing in solve_by_elim Backport #1358: Pull request #3453 closed by kim-em
February 22, 2024 03:44 13s
February 22, 2024 03:44 13s
feat: show basic properties of BitVec multiplication Backport #1357: Pull request #3445 closed by kim-em
February 22, 2024 03:25 10s
February 22, 2024 03:25 10s
chore: address copyright inconsistencies Backport #1356: Pull request #3448 closed by joehendrix
February 22, 2024 03:05 12s
February 22, 2024 03:05 12s
feat: bv_omega, a simple BitVec->Nat preprocessor + omega Backport #1355: Pull request #3435 closed by kim-em
February 22, 2024 02:27 10s
February 22, 2024 02:27 10s
fix: expression tree elaborator for relations now localizes error messages to the LHS or RHS Backport #1354: Pull request #3442 labeled by kmill
February 22, 2024 02:20 2s
February 22, 2024 02:20 2s
fix: address symm and label bugs from #3408 Backport #1353: Pull request #3429 labeled by kim-em
February 22, 2024 02:10 2s
February 22, 2024 02:10 2s
feat: setup simp lemmas: 'msb -> getLsb -> decide ...' Backport #1352: Pull request #3436 closed by kim-em
February 22, 2024 00:44 13s
February 22, 2024 00:44 13s
feat: show basic properties of BitVec multiplication Backport #1351: Pull request #3445 labeled by joehendrix
February 21, 2024 23:11 1s
February 21, 2024 23:11 1s
doc: correct typo "can calls" Backport #1350: Pull request #3446 closed by nomeata
February 21, 2024 23:07 9s
February 21, 2024 23:07 9s
chore: CI: count libleanshared.dll symbols Backport #1349: Pull request #3405 closed by Kha
February 21, 2024 21:50 2s
February 21, 2024 21:50 2s
chore: make server completion predicate not private Backport #1348: Pull request #3377 closed by Kha
February 21, 2024 20:58 10s
February 21, 2024 20:58 10s
fix: allow users to disable builtin simprocs in simp args Backport #1347: Pull request #3441 closed by leodemoura
February 21, 2024 20:38 8s
February 21, 2024 20:38 8s
fix: structural equation proof generator Backport #1346: Pull request #3444 closed by leodemoura
February 21, 2024 20:19 13s
February 21, 2024 20:19 13s
fix: support for Fin and BitVec literal normalization Backport #1345: Pull request #3443 closed by leodemoura
February 21, 2024 19:42 13s
February 21, 2024 19:42 13s
feat: BitVec.ofNatLt and updates to use it Backport #1344: Pull request #3430 closed by joehendrix
February 21, 2024 18:42 13s
February 21, 2024 18:42 13s