Skip to content

Actions: leanprover/lean4

Actions

Check for copyright header

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
copyright-header.yml
8,941 workflow runs
8,941 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: conversions between Float and finite integers Check for copyright header #8920: Pull request #7083 opened by TwoFX
February 14, 2025 12:34 40s markus/float-uint-conversions
markus/float-uint-conversions
February 14, 2025 12:34 40s
feat: add BitVec.[(getMsbD, msb)_extractLsb', (getLsbD, getMsbD, msb)_extractLsb] Check for copyright header #8919: Pull request #6792 synchronize by luisacicolini
February 14, 2025 11:53 37s opencompl:extractlsb-msb
opencompl:extractlsb-msb
February 14, 2025 11:53 37s
feat: add BitVec.[(getMsbD, msb)_extractLsb', (getLsbD, getMsbD, msb)_extractLsb] Check for copyright header #8918: Pull request #6792 synchronize by luisacicolini
February 14, 2025 11:44 36s opencompl:extractlsb-msb
opencompl:extractlsb-msb
February 14, 2025 11:44 36s
feat: verify toList for hash maps Check for copyright header #8917: Pull request #6954 synchronize by jt0202
February 14, 2025 11:13 41s jt0202:master
jt0202:master
February 14, 2025 11:13 41s
feat: try? to use fun_induction Check for copyright header #8916: Pull request #7082 opened by nomeata
February 14, 2025 11:00 33s joachim/funind-tactic-try
joachim/funind-tactic-try
February 14, 2025 11:00 33s
feat: add BitVec.[(getMsbD, msb)_extractLsb', (getLsbD, getMsbD, msb)_extractLsb] Check for copyright header #8915: Pull request #6792 synchronize by luisacicolini
February 14, 2025 10:59 43s opencompl:extractlsb-msb
opencompl:extractlsb-msb
February 14, 2025 10:59 43s
fix: incremental goal state requests select incomplete snapshot Check for copyright header #8914: Pull request #6887 synchronize by mhuisi
February 14, 2025 10:58 37s mhuisi:mhuisi/no-goals-after-subgoal
mhuisi:mhuisi/no-goals-after-subgoal
February 14, 2025 10:58 37s
feat: fun_induction and fun_cases tactics Check for copyright header #8913: Pull request #7069 synchronize by nomeata
February 14, 2025 10:48 42s joachim/funind-tactic
joachim/funind-tactic
February 14, 2025 10:48 42s
feat: Environment.realizeConst Check for copyright header #8912: Pull request #7076 synchronize by Kha
February 14, 2025 10:33 39s Kha:push-ktptptrwtztp
Kha:push-ktptptrwtztp
February 14, 2025 10:33 39s
feat: fun_induction and fun_cases tactics Check for copyright header #8911: Pull request #7069 synchronize by nomeata
February 14, 2025 10:30 38s joachim/funind-tactic
joachim/funind-tactic
February 14, 2025 10:30 38s
feat: IntX.minValue, IntX.maxValue, IntX.ofIntLE, IntX.ofIntTruncate Check for copyright header #8910: Pull request #7081 opened by TwoFX
February 14, 2025 09:45 37s markus/intx-ofint
markus/intx-ofint
February 14, 2025 09:45 37s
feat: fun_induction and fun_cases tactics Check for copyright header #8909: Pull request #7069 synchronize by nomeata
February 14, 2025 09:39 37s joachim/funind-tactic
joachim/funind-tactic
February 14, 2025 09:39 37s
feat: Environment.realizeConst Check for copyright header #8908: Pull request #7076 synchronize by Kha
February 14, 2025 09:39 40s Kha:push-ktptptrwtztp
Kha:push-ktptptrwtztp
February 14, 2025 09:39 40s
feat: add BitVec.[(getMsbD, msb)_extractLsb', (getLsbD, getMsbD, msb)_extractLsb] Check for copyright header #8907: Pull request #6792 synchronize by luisacicolini
February 14, 2025 09:36 45s opencompl:extractlsb-msb
opencompl:extractlsb-msb
February 14, 2025 09:36 45s
feat: min, max, minKey, maxKey, atIndex, getEntryLE, getKeyLE, ... functions for the tree map Check for copyright header #8906: Pull request #7070 synchronize by datokrat
February 14, 2025 08:45 36s paul/treemap-minmax
paul/treemap-minmax
February 14, 2025 08:45 36s
feat: tree map lemmas about empty, isEmpty, insert, contains Check for copyright header #8905: Pull request #6850 synchronize by datokrat
February 14, 2025 08:28 40s paul/treemap1b
paul/treemap1b
February 14, 2025 08:28 40s
feat: verify toList for hash maps Check for copyright header #8904: Pull request #6954 synchronize by jt0202
February 14, 2025 08:24 39s jt0202:master
jt0202:master
February 14, 2025 08:24 39s
feat: UIntX.ofNatTruncate Check for copyright header #8903: Pull request #7080 opened by TwoFX
February 14, 2025 07:58 41s uintx-ofnattruncate
uintx-ofnattruncate
February 14, 2025 07:58 41s
feat: insertMany, ofList, ofArray, foldr, foldM functions for the tree map Check for copyright header #8902: Pull request #7051 synchronize by datokrat
February 14, 2025 07:54 1m 31s paul/treemap-operations2
paul/treemap-operations2
February 14, 2025 07:54 1m 31s
feat: make BitVec.getElem the simp normal form and use it in ext Check for copyright header #8901: Pull request #5498 synchronize by tobiasgrosser
February 14, 2025 07:54 38s opencompl:getLsbD_eq_getElem_simp
opencompl:getLsbD_eq_getElem_simp
February 14, 2025 07:54 38s
feat: Fin.toNat Check for copyright header #8900: Pull request #7079 opened by TwoFX
February 14, 2025 07:41 36s markus/fin-tonat
markus/fin-tonat
February 14, 2025 07:41 36s
feat: make BitVec.getElem the simp normal form and use it in ext Check for copyright header #8899: Pull request #5498 synchronize by tobiasgrosser
February 14, 2025 07:32 38s opencompl:getLsbD_eq_getElem_simp
opencompl:getLsbD_eq_getElem_simp
February 14, 2025 07:32 38s
feat: make BitVec.getElem the simp normal form and use it in ext Check for copyright header #8898: Pull request #5498 synchronize by tobiasgrosser
February 14, 2025 07:31 41s opencompl:getLsbD_eq_getElem_simp
opencompl:getLsbD_eq_getElem_simp
February 14, 2025 07:31 41s
feat: make BitVec.getElem the simp normal form and use it in ext Check for copyright header #8897: Pull request #5498 synchronize by tobiasgrosser
February 14, 2025 07:30 38s opencompl:getLsbD_eq_getElem_simp
opencompl:getLsbD_eq_getElem_simp
February 14, 2025 07:30 38s
feat: make BitVec.getElem the simp normal form and use it in ext Check for copyright header #8896: Pull request #5498 synchronize by tobiasgrosser
February 14, 2025 07:27 42s opencompl:getLsbD_eq_getElem_simp
opencompl:getLsbD_eq_getElem_simp
February 14, 2025 07:27 42s