News for hackers. Stuff that matters.

A comment on Soufflé: A Datalog Synthesis Tool for Static Analysis. Parent comment

Re:Soufflé: A Datalog Synthesis Tool for Static Analysis by gavinray on Thursday December 01, 2022 @11:06AM (#33818151)
This is great and I'd also never seen this either -- thank you!
[ Parent | on HN ]

There are no comments on this comment yet.