I disagree with one character of http://www.cl.cam.ac.uk/~srk31/blog/2014/10/07/ …. A pluggable whole-program analysis tool is a linter, not a linker :-)
-
-
@edwinbrady Could you extend your existing proof-checker to operate on CFGs as well? -
@pozorvlak I expect you could write something which did that. What sort of thing are you wanting to check? - 5 more replies
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.