Age | Commit message (Collapse) | Author | |
---|---|---|---|
2024-06-06 | Update documentation about tc writing in the presence of serve | Klaus Aehlig | |
2024-01-18 | Document the implementation of tc deps tracking on gc | Klaus Aehlig | |
2024-01-16 | Design interaction between target-level caching and garbage collection | Klaus Aehlig | |
The implicit extensional projection of target-level caching and garbage collection interact in a subtile way. Add a design document describing how we keep the invariant required by target-level caching in the presence of garbage collection. While, techincally, this just describes how to fix a bug, a careful design is still needed, as some fundamental changes are made. |