am009

I just started working on this. At first, I used the `UnixShMemProvider`, but I found that it uses `shmget/shmat`, while the harness uses `shm_open`. So I switched to `MmapShMemProvider`. ```rust...

MmapShMem has both fd and the path passed to `shm_open`, but there is a disagreement on which should be set as `ShMem.id()`: - When the `MmapShMem` is wrapped in `ShMemService`...

I didn't realize that we could still use `UnixShMemProvider` and `shmat` instead of `shm_open` on Linux. I have updated the PR.

Hi @aeflores, I urgently need this feature and I am really happy to contribute to retypd. I have been reading the code these days. The following are my understandings. I...

Sorry for the late reply. Busy with other random stuff these days. Now I finally settled down and started to learn something. Really grateful for the detailed response, and it...

> Hi @am009 , It looks like we have not received your email. Would you mind sending it again? OK, I have sent it again. 

Finally, I can understand most of the algorithm now, after reading "Saturation Algorithms for Model-checking Pushdown Systems" and "Advanced Topics in Types and Programming Languages" Chapter 10. Thanks for your...

I found a potential issue related to the algorithm, but it can also be a misunderstanding: https://github.com/GrammaTech/retypd/blob/8f7f72be9a567731bb82636cc91d70a3551050bf/src/solver.py#L707-L711 There is an `InferShapes` function call during the simplification of constraints (`InferProcTypes`). I...

Really need this feature! By the way, vscode-drawio is a great project! I just no longer use the drawio desktop anymore.