Comments on: Gecko assertions http://www.squarefree.com/2007/11/27/gecko-assertions/ Jesse Ruderman on Firefox, security, and more Thu, 07 Aug 2008 23:04:08 +0000 http://wordpress.org/?v=2.5 By: Taras http://www.squarefree.com/2007/11/27/gecko-assertions/#comment-4098 Taras Wed, 28 Nov 2007 04:35:37 +0000 http://www.squarefree.com/2007/11/27/gecko-assertions/#comment-4098 Hey, While I'm not a big fan of theorem proving C++, me and Benjamin made big plans for plugin-enabling gcc so we can enforce usage of various APIs with JavaScript checks(some derivative of dehydra). Hey,
While I’m not a big fan of theorem proving C++, me and Benjamin made big plans for plugin-enabling gcc so we can enforce usage of various APIs with JavaScript checks(some derivative of dehydra).

]]>