Code

Add [Obj.uniquely_reachable_words]#1705

Code

Merged

stedolan merged 9 commits intoocaml-flambda:mainocaml-flambda/flambda-backend:mainfrom

apilatjs:analyze-memory-ownershipapilatjs/flambda-backend:analyze-memory-ownershipCopy head branch name to clipboard

Aug 30, 2023

Commits

Commits on Aug 8, 2023

• Add [Obj.uniqely_reachable_words]

  Show description for c601a80
  apilatjs

  committed
  c601a80

  Copy full SHA for c601a80

Commits on Aug 9, 2023

• Fix implementation of [Obj.reachable_words]

  Show description for 3cd3e42
  apilatjs

  committed
  3cd3e42

  Copy full SHA for 3cd3e42

• Fix incorrect use of hashtable when adding roots

  Show description for ffc548c
  apilatjs

  committed
  ffc548c

  Copy full SHA for ffc548c

Commits on Aug 10, 2023

• Address code review

  Show description for 6222ead
  apilatjs

  committed
  6222ead

  Copy full SHA for 6222ead

Commits on Aug 11, 2023

• Make [tests/lib-obj/uniquely_reachable_words.ml] more robust

  Show description for 2309f3b
  apilatjs

  committed
  2309f3b

  Copy full SHA for 2309f3b

Commits on Aug 17, 2023

• Optimize algorithm to only require a single iteration through the roots

  apilatjs

  committed
  bdcafdb

  Copy full SHA for bdcafdb

Commits on Aug 24, 2023

• Clean up code following review suggestions

  apilatjs

  committed
  a01dffd

  Copy full SHA for a01dffd

• Code style improvements

  apilatjs

  committed
  266dd97

  Copy full SHA for 266dd97

Commits on Aug 25, 2023

• Additionally return the total size of shared memory

  Show description for c16f85a
  apilatjs

  committed
  c16f85a

  Copy full SHA for c16f85a