On Mon, 18 Jun 2012 15:15:13 MDT,
Richard <legalize at xmission.com> wrote:
> Does anyone recall the specific paper/system so that I can revisit it?
Of course, I stumble across it as soon as I posted the message...
KLEE is what I was remembering:
<http://klee.llvm.org/GetStarted.html>
--
"The Direct3D Graphics Pipeline" free book
<http://tinyurl.com/d3d-pipeline>
The Computer Graphics Museum <http://computergraphicsmuseum.org>
The Terminals Wiki <http://terminals.classiccmp.org>
Legalize Adulthood! (my blog) <http://legalizeadulthood.wordpress.com>