Code

Bundle naming fixes#1205

Code

Merged

maximebuyse merged 4 commits intomaincryspen/hax:mainfrom bundle-naming-fixescryspen/hax:bundle-naming-fixesCopy head branch name to clipboardDec 24, 2024

+154-138

Commits

Commits on Dec 19, 2024

• Stable bundle names.

  maximebuyse

  committed
  ef31110

  Copy full SHA for ef31110

• Add real disambiguator instead of modifying string to resolve name clashes in bundles.

  maximebuyse

  committed
  b7a9e34

  Copy full SHA for b7a9e34

Commits on Dec 23, 2024

• Avoid exception when taking parent of module to create rec bundle.

  maximebuyse

  committed
  bbbfe4c

  Copy full SHA for bbbfe4c

Commits on Dec 24, 2024

• Rename rec_bundle as cyclic_bundle.

  maximebuyse

  committed
  254990d

  Copy full SHA for 254990d