User:Realazthat/Projects wishlist/LLVM/Formal methods: Revision history

1 November 2010

• curprev 04:1904:19, 1 November 2010 rosettacode>Realazthat 2,673 bytes +254 No edit summary
• curprev 02:4702:47, 1 November 2010 rosettacode>Realazthat 2,419 bytes −2,654 No edit summary

31 October 2010

• curprev 20:0620:06, 31 October 2010 rosettacode>Realazthat 5,073 bytes +181 →Features

29 October 2010

• curprev 17:2217:22, 29 October 2010 rosettacode>Realazthat 4,892 bytes +94 No edit summary

20 October 2010

• curprev 18:4118:41, 20 October 2010 rosettacode>Realazthat 4,798 bytes +97 →Reference material

14 October 2010

• curprev 06:0606:06, 14 October 2010 rosettacode>Realazthat 4,701 bytes +87 →Reference material

13 October 2010

• curprev 14:4314:43, 13 October 2010 rosettacode>Realazthat 4,614 bytes 0 →Other interesting languages
• curprev 14:4314:43, 13 October 2010 rosettacode>Realazthat 4,614 bytes +4,614 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…'