that has a Alan Kay quote on the top right hehehe
On Wed, Mar 30, 2011 at 1:19 PM, Stéphane Ducasse <stephane.ducasse@inria.fr
wrote:
http://frama-c.com/download.html _______________________________________________ Moose-dev mailing list Moose-dev@iam.unibe.ch https://www.iam.unibe.ch/mailman/listinfo/moose-dev
Interesting. Anyone interested in taking it for a spin in the context Moose ? :)
Cheers, Doru
On 30 Mar 2011, at 14:15, Mariano Martinez Peck wrote:
that has a Alan Kay quote on the top right hehehe
On Wed, Mar 30, 2011 at 1:19 PM, Stéphane Ducasse stephane.ducasse@inria.fr wrote: http://frama-c.com/download.html _______________________________________________ Moose-dev mailing list Moose-dev@iam.unibe.ch https://www.iam.unibe.ch/mailman/listinfo/moose-dev
Moose-dev mailing list Moose-dev@iam.unibe.ch https://www.iam.unibe.ch/mailman/listinfo/moose-dev
-- www.tudorgirba.com
"Not knowing how to do something is not an argument for how it cannot be done."
I got some information about it: - it is written in OCaml and uses a fork of the cil library. - can generate tests for C - taint analysis - other stuff for C. Stef
On Mar 31, 2011, at 12:59 PM, Tudor Girba wrote:
Interesting. Anyone interested in taking it for a spin in the context Moose ? :)
Cheers, Doru
On 30 Mar 2011, at 14:15, Mariano Martinez Peck wrote:
that has a Alan Kay quote on the top right hehehe
On Wed, Mar 30, 2011 at 1:19 PM, Stéphane Ducasse stephane.ducasse@inria.fr wrote: http://frama-c.com/download.html _______________________________________________ Moose-dev mailing list Moose-dev@iam.unibe.ch https://www.iam.unibe.ch/mailman/listinfo/moose-dev
Moose-dev mailing list Moose-dev@iam.unibe.ch https://www.iam.unibe.ch/mailman/listinfo/moose-dev
-- www.tudorgirba.com
"Not knowing how to do something is not an argument for how it cannot be done."
Moose-dev mailing list Moose-dev@iam.unibe.ch https://www.iam.unibe.ch/mailman/listinfo/moose-dev
-
Mariano Martinez Peck -
Stéphane Ducasse -
Tudor Girba