News for hackers. Stuff that matters.
Re:Kind: A Modern Proof Language by junon on Wednesday August 11, 2021 @06:29PM (#28148698)
I'm in the exact same boat. I've been playing with a domain checker for a restricted set of C for a kernel project, specifically for this reason.

But as of now I'm having to add better support for plugins in clang.

There are no comments on this comment yet.