Anonymous user
User:Realazthat/Projects wishlist/LLVM/Formal methods: Difference between revisions
User:Realazthat/Projects wishlist/LLVM/Formal methods (view source)
Revision as of 14:43, 13 October 2010
, 13 years agoCreated page with '==Formal methods project== Write an LLVM pass that will prove certain properties of functions. ==Features== Things that the pass might prove, for each function: * That all '''as…'
(Created page with '==Formal methods project== Write an LLVM pass that will prove certain properties of functions. ==Features== Things that the pass might prove, for each function: * That all '''as…') |
(No difference)
|