Skip to content

Actions: leanprover/lean4

Actions

Check PR title for commit convention

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr-title.yml
14,442 workflow runs
14,442 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: more robust equational theorems generation for partial_fixpoint Check PR title for commit convention #14400: Pull request #6790 synchronize by nomeata
January 27, 2025 12:48 15s joachim/issue6786
joachim/issue6786
January 27, 2025 12:48 15s
feat: add SMT-LIB overflow on addition for bitvectors (uadd_overflow,sadd_overflow, uadd_overflow_eq,sadd_overflow_eq) and support theorems Check PR title for commit convention #14399: Pull request #6628 synchronize by luisacicolini
January 27, 2025 12:19 14s opencompl:smtlib-overflow-defs
opencompl:smtlib-overflow-defs
January 27, 2025 12:19 14s
feat: add BitVec.(getMsbD, msb)_(extractLsb', extractLsb), getMsbD_extractLsb'_eq_getLsbD Check PR title for commit convention #14398: Pull request #6792 synchronize by luisacicolini
January 27, 2025 12:02 11s opencompl:extractlsb-msb
opencompl:extractlsb-msb
January 27, 2025 12:02 11s
feat: add BitVec.(getMsbD, msb)_(extractLsb', extractLsb), getMsbD_extractLsb'_eq_getLsbD Check PR title for commit convention #14397: Pull request #6792 opened by luisacicolini
January 27, 2025 12:02 19s opencompl:extractlsb-msb
opencompl:extractlsb-msb
January 27, 2025 12:02 19s
fix: more robust equational theorems generation for partial_fixpoint Check PR title for commit convention #14396: Pull request #6790 synchronize by nomeata
January 27, 2025 11:12 9s joachim/issue6786
joachim/issue6786
January 27, 2025 11:12 9s
fix: consume mdata in casesOnStuckLHS when checking that major is fvar Check PR title for commit convention #14395: Pull request #6791 edited by arthur-adjedj
January 27, 2025 11:10 11s arthur-adjedj:6789
arthur-adjedj:6789
January 27, 2025 11:10 11s
fix: consume mdata in casesOnStuckLHS when checking that major is fvar Check PR title for commit convention #14394: Pull request #6791 opened by arthur-adjedj
January 27, 2025 11:02 13s arthur-adjedj:6789
arthur-adjedj:6789
January 27, 2025 11:02 13s
fix: more robust equational theorems generation for partial_fixpoint Check PR title for commit convention #14393: Pull request #6790 opened by nomeata
January 27, 2025 11:00 12s joachim/issue6786
joachim/issue6786
January 27, 2025 11:00 12s
feat: add comparison lemmas to bv_normalize Check PR title for commit convention #14392: Pull request #6788 synchronize by vlad902
January 27, 2025 10:24 11s vlad902:lt-lemmas
vlad902:lt-lemmas
January 27, 2025 10:24 11s
feat: automatic attach introduction in well-founded recursion Check PR title for commit convention #14391: Pull request #6744 synchronize by nomeata
January 27, 2025 09:57 10s joachim/auto-attach
joachim/auto-attach
January 27, 2025 09:57 10s
Check PR title for commit convention Check PR title for commit convention #14390: Merge group checks requested
January 27, 2025 09:43 10s
January 27, 2025 09:43 10s
feat: add comparison lemmas to bv_normalize Check PR title for commit convention #14389: Pull request #6788 opened by vlad902
January 27, 2025 09:42 10s vlad902:lt-lemmas
vlad902:lt-lemmas
January 27, 2025 09:42 10s
doc: typos in partial_fixpoint related docstrings Check PR title for commit convention #14388: Pull request #6787 opened by nomeata
January 27, 2025 09:24 11s joachim/partial_fixpoint_typos
joachim/partial_fixpoint_typos
January 27, 2025 09:24 11s
Check PR title for commit convention Check PR title for commit convention #14387: Merge group checks requested
January 27, 2025 09:07 10s
January 27, 2025 09:07 10s
feat: support UIntX and USize in bv_decide Check PR title for commit convention #14386: Pull request #6711 synchronize by hargoniX
January 27, 2025 09:01 11s hbv/bv_decide_uint
hbv/bv_decide_uint
January 27, 2025 09:01 11s
Check PR title for commit convention Check PR title for commit convention #14385: Merge group checks requested
January 27, 2025 08:12 9s
January 27, 2025 08:12 9s
feat: bv_decide can reason about equality of structures Check PR title for commit convention #14384: Pull request #6740 edited by hargoniX
January 27, 2025 07:53 8s hbv/bv_decide_structure_eq
hbv/bv_decide_structure_eq
January 27, 2025 07:53 8s
feat: bv_decide can reason about equality of structures Check PR title for commit convention #14383: Pull request #6740 synchronize by hargoniX
January 27, 2025 07:53 9s hbv/bv_decide_structure_eq
hbv/bv_decide_structure_eq
January 27, 2025 07:53 9s
doc: standard library vision and call for contributions Check PR title for commit convention #14382: Pull request #6762 synchronize by TwoFX
January 27, 2025 06:54 9s markus/std-vision
markus/std-vision
January 27, 2025 06:54 9s
doc: standard library vision and call for contributions Check PR title for commit convention #14381: Pull request #6762 synchronize by TwoFX
January 27, 2025 06:41 10s markus/std-vision
markus/std-vision
January 27, 2025 06:41 10s
Check PR title for commit convention Check PR title for commit convention #14380: Merge group checks requested
January 27, 2025 01:31 11s
January 27, 2025 01:31 11s
feat: grind? infrastructure Check PR title for commit convention #14379: Pull request #6785 opened by leodemoura
January 27, 2025 01:11 10s grindTrace_step1
grindTrace_step1
January 27, 2025 01:11 10s
feat: lake query Check PR title for commit convention #14378: Pull request #6323 edited by tydeu
January 26, 2025 21:36 8s tydeu:lake/fetch
tydeu:lake/fetch
January 26, 2025 21:36 8s
feat: lake query Check PR title for commit convention #14377: Pull request #6323 edited by tydeu
January 26, 2025 21:36 11s tydeu:lake/fetch
tydeu:lake/fetch
January 26, 2025 21:36 11s
feat: lake query Check PR title for commit convention #14376: Pull request #6323 synchronize by tydeu
January 26, 2025 21:36 13s tydeu:lake/fetch
tydeu:lake/fetch
January 26, 2025 21:36 13s