I thought subscribers to the blog deserved to see that comment, so I wrote an answer/advertisement: http://blog.frama-c.com/index.php?post/2012/07/25/The-restr

I thought subscribers to the blog deserved to see that comment, so I wrote an answer/advertisement: http://blog.frama-c.com/index.php?post/2012/07/25/The-restrict-qualifier-as-an-element-of-specification http://blog.frama-c.com/index.php?post/2012/07/25/The-restri...