Code

feat: getLsb_replicate#10

Code

Closed

bollu wants to merge 23 commits intomasteropencompl/lean4:masterfrom getLsb_replicateopencompl/lean4:getLsb_replicateCopy head branch name to clipboard

+39,622-31,128

Commits

Commits on Jul 30, 2024

• perf: precise cache for foldConsts (leanprover#4871)

  Show description for afe0b5a
  leodemoura

  authored
  afe0b5a

• feat: getLsb_replicate

  Show description for a4f997b
  bollu

  committed
  a4f997b

Commits on Jul 31, 2024

• chore: fix binder explicitness in List.map_subset (leanprover#4877)

  kim-em

  authored
  81719f9

• chore: rename PSigma.exists (leanprover#4878)

  kim-em

  authored
  a4015ca

• fix: mistake in statement of List.take_takeWhile (leanprover#4875)

  Show description for a827759
  kmill

  authored
  a827759

• chore: copy release notes from releases/v4.10.0 (leanprover#4864)

  Show description for 82f4874
  kmill

  authored
  82f4874

• fix: make "use `set_option diagnostics true" message conditional on current setting (leanprover#4781)

  Show description for d5e7dba
  kmill

  authored
  d5e7dba

• chore: updates to release_checklist.md (leanprover#4876)

  Show description for 688da9d
  

  kim-em

  and

  kmill

  authored
  688da9d

• chore: correct doc-string for Array.swap! (leanprover#4869)

  kim-em

  authored
  8acdafd

• refactor: split out Lean.Language.Lean.Types (leanprover#4881)

  Kha

  authored
  6a4159c

• feat: include command (leanprover#4883)

  Show description for d19bab0
  Kha

  authored
  d19bab0

• chore: @[simp]

  bollu

  committed
  41c094c

• chore: delete excessive paranthesization

  bollu

  committed
  d154c13

• feat: simplify proof with Nat.mod_def

  bollu

  committed
  fab15e3

• fix: make import resolution case-sensitive on all platforms (leanprover#4538)

  Show description for d5a8c96
  

  Kha

  and

  tydeu

  authored
  d5a8c96

• feat: Nat simprocs for simplifying bit expressions (leanprover#4874)

  Show description for f869902
  bollu

  authored
  f869902

• chore: shorten suggestion about diagnostics (leanprover#4882)

  Show description for dcea47d
  kim-em

  authored
  dcea47d

• refactor: sharecommon (leanprover#4887)

  Show description for db59442
  leodemoura

  authored
  db59442

• feat: ushiftRight bitblasting (leanprover#4872)

  Show description for c517688
  

  bollu

  and

  tobiasgrosser

  authored
  c517688

Commits on Aug 1, 2024

• perf: precise cache for expr_eq_fn (leanprover#4890)

  Show description for a856016
  leodemoura

  authored
  a856016

• fix: export symbols needed by Verso (leanprover#4884)

  Show description for 32b9de8
  david-christiansen

  authored
  32b9de8

• chore: update stage0

  

  Lean stage0 autoupdater

  committed
  e83f78d

• Merge remote-tracking branch 'origin/master' into getLsb_replicate

  tobiasgrosser

  committed
  d9c6f8a