5.3-502

CHANGES:

Tue Nov 26 17:30:42 CET 2024

• merlin binary
  • Respect the EXCLUDE_QUERY_DIR configuration directive when looking for cmt
    files (#1854)
  • Fix occurrences bug in which relative paths in index files are resolved against the
    PWD rather than the SOURCE_ROOT (#1855)
  • Fix exception in polarity search (#1858 fixes #1113)
  • Fix jump to fun targets not working (#1863, fixes #1862)
  • Fix type-enclosing results instability. This reverts some overly
    aggressive deduplication that should be done on the client side. (#1864)
  • Fix occurrences not working when the definition comes from a hidden source
    file (#1865)