Michael Schwarz

I am facing a similar issue, where I have mutable records with circular references: ```ocaml type compinfo = { mutable cfields: fieldinfo list; (** Information about the fields. Notice that...

Thank you, I checked and it is not within the `cSpell.words` or `cSpell.userWords` in either workspace or user settings of vscode, and I don't have any `cSpell.json` files. I, however,...

On my work machine: OCaml and I have custom regexes to match the comment syntax for OCaml: ``` "cSpell.includeRegExpList": ["\\(\\*[\\*]*(([^\\*]|(\\*)+[^\\)\\*])*)([\\*]*)\\*\\)","\"([^\"]*)\""], "cSpell.ignoreRegExpList": ["(_)+builtin(_)+[a-z0-9_]*","[a-z]*\\.ml"], ``` **But** for the new installation on my...

Thank you for filing this issue, we'll look into it!

> How do you imagine this working? That there's a pre-transformation of the AST to introduce these such that a relational analysis could track that? Maybe. The nicer thing would...

> I see @michael-schwarz has just started documenting something for the SAS21 artifact Yes, we need to provide with the artifact a description of how to reproduce our results (for...

One should also document: - Tracing - Debugging - Printing

ExpRelation is crucial to the partitioned array domains working, and I think we should actually keep some such analysis that infers the relationship between variables symbolically. (I agree that we...

Redefining `__LINE__` might work, but it is a bit risky. It may, e.g. (as Sarah pointed out to me yesterday), lead to miscompilation for Macros that contain labels and use...

> At that point those constants are indistinguishable from literal constants in the original source. Yes, but for functions for which we do not have a body (and which are...