ConstantC is really nice. Finally a *readable* language that improves assurance for crypto implementations. That being said, it could have been a set of clang attributes/extensions instead of a new language.
-
-
I only glanced at the paper but I think they have their own back end?
-
Mmm… their compiler appears to depend on LLVM…
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.