Code

Searching through Vector{IndexEntry}#46

Code

Open

rofinn wants to merge 3 commits intomaininvenia/Checkpoints.jl:mainfrom rf/searchinvenia/Checkpoints.jl:rf/searchCopy head branch name to clipboard

+174-15

Commits

Commits on Jul 11, 2022

• Support deprecating checkpoint names.

  rofinn

  committed
  fd8a055

  Copy full SHA for fd8a055

Commits on Jul 12, 2022

• Support recursive deprecations

  rofinn

  committed
  a708f90

  Copy full SHA for a708f90

• Add deprecated_names to the IndexEntry and include a search function for selection entries by fullname or deprecated name.

  rofinn

  committed
  e8b6484

  Copy full SHA for e8b6484