Code

More robust "KnownNames" resolution#27

Code

Merged

hermanventer merged 5 commits intoendorlabs:mainendorlabs/MIRAI:mainfrom davidsemakula:known-name-resolutiondavidsemakula/MIRAI:known-name-resolutionCopy head branch name to clipboardJan 2, 2025

+427-445

Commits

Commits on Jan 1, 2025

• More robust "KnownNames" resolution

  davidsemakula

  committed
  5768d8e

• Remove macro def id mappings for mirai-annotations KnownNames

  davidsemakula

  committed
  a049e35

• Removing lang item-based matching for KnownNames

  davidsemakula

  committed
  46944ed

• Remove lang item related TODOs

  davidsemakula

  committed
  62c5570

• Revert KnownNamesCache::get_known_name_for signature

  davidsemakula

  committed
  8327ae2