Code

Fix Store iteration bug#1383

Code

Merged

hannobraun merged 10 commits intomainhannobraun/fornjot:mainfrom storehannobraun/fornjot:storeCopy head branch name to clipboardNov 23, 2022

+41-21

Commits

Commits on Nov 23, 2022

• Use Index in store::Iter

  hannobraun

  committed
  24e16fc

• Add Index::zero

  hannobraun

  committed
  3a5acbf

• Increase type safety of argument

  hannobraun

  committed
  1bbe302

• Add Index::inc

  hannobraun

  committed
  690040d

• Replace Blocks::get with Blocks::get_and_inc

  hannobraun

  committed
  f8ad2e3

• Remove unnecessary pubs

  hannobraun

  committed
  66e5b3a

• Add Store::with_block_size

  hannobraun

  committed
  446807d

• Inline constant

  hannobraun

  committed
  3f9a252

• Update doc comment

  hannobraun

  committed
  d44b6b0

• Fix Store iteration bug

  Show description for 12f0c11
  hannobraun

  committed
  12f0c11