Sebastian Ullrich 895752dc2e

feat: add Lean.CompactedRegion.save/read supporting cross-file object sharing (#13185) ...

This PR adds new incremental module serialization functions that
save/load a single module at a time with explicit sharing via dep
regions and compactor state, generalizing the existing batch
saveModuleDataParts API.

Two sharing mechanisms that can be mixed:
- `CompactedRegion` dep regions for sharing with loaded regions
- `CompactorState` for same-process chaining (pre-loaded `m_obj_table`)

2026-05-16 12:53:20 +00:00

0 lines

Text

Raw Permalink Blame History