Adrian Sampson

Sounds reasonable! Now that the plugin is architected to have extensible backends, this shouldn't be a huge implementation effort (in case anyone's looking for a project).

That's sad. Maybe we can convince the developers to add a report-only mode? Barring that, we'd have to do B. (We'll want to support situations where there is no available...

Fantastic. Too bad that SourceForge is coming apart at the seams.

That's awesome! Great work! I think the best tactic would be to update the plugin now (or whenever), but fail gracefully if the flag isn't available. That way, we'll be...

Hello! In the future, please use GitHub's Markdown formatting to make console output more legible. The output from lit is saying that the nullness-cc executable can't be found. Can you...

Interesting! So it sounds like the type qualifier isn’t attached to the type of the `Store` value at that point in codegen. My first guess is that this is because...

Well, before diving into that, it might make sense to verify my hypothesis above. For example, take a look at the test input for the included nullability checker: https://github.com/sampsyo/quala/blob/master/examples/nullness/test/simple.c It...

Great! Preserving metadata through optimizations actually seems like a really hard problem. I’d recommend you run your pass that consumes annotations early in the pipeline instead.

Great! Yeah, if you’re feeling ambitious, it does seem possible with a good chunk of hacking. Good luck, and I’d be interested to hear how it goes!

Sounds cool! Happy to merge a PR, but as I no longer have access to a Slurm cluster, I can't implement it myself. (And I'm afraid I don't remember enough...