30 Mar
30 Mar
2:15 p.m.
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(a)inria.fr
wrote:
http://frama-c.com/download.html
_______________________________________________
Moose-dev mailing list
Moose-dev(a)iam.unibe.ch
https://www.iam.unibe.ch/mailman/listinfo/moose-dev
31 Mar
31 Mar
12:59 p.m.
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(a)inria.fr>
wrote:
http://frama-c.com/download.html
_______________________________________________
Moose-dev mailing list
Moose-dev(a)iam.unibe.ch
https://www.iam.unibe.ch/mailman/listinfo/moose-dev
_______________________________________________
Moose-dev mailing list
Moose-dev(a)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."
1 Apr
1 Apr
9:29 p.m.
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(a)inria.fr>
wrote:
http://frama-c.com/download.html
_______________________________________________
Moose-dev mailing list
Moose-dev(a)iam.unibe.ch
https://www.iam.unibe.ch/mailman/listinfo/moose-dev
_______________________________________________
Moose-dev mailing list
Moose-dev(a)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(a)iam.unibe.ch
https://www.iam.unibe.ch/mailman/listinfo/moose-dev
4777
days inactive
4779
days old
3 comments
3 participants
participants (3)
-
Mariano Martinez Peck -
Stéphane Ducasse -
Tudor Girba