22 April 2015

• 16:4416:44, 22 April 2015 diff hist +479‎ Wikipedia:Articles for deletion/Halide (programming language) ‎ →‎Halide (programming language)
• 16:3816:38, 22 April 2015 diff hist +285‎ Wikipedia:Articles for deletion/Obix (programming language) ‎ →‎Obix (programming language)

13 April 2015

• 22:3522:35, 13 April 2015 diff hist +189‎ Extended precision ‎ →‎Language support: Added note on C99 specification of extended precision, and example C/C++ compilers.
• 22:2322:23, 13 April 2015 diff hist −161‎ C99 ‎ →‎IEEE 754 floating point support: Removed "Previously, all C90 floating operations were defined to occur in double-precision...". That is not true of C90 but was true of K&R C before that, but this is noted below.

14 March 2015

• 11:4511:45, 14 March 2015 diff hist +308‎ C99 ‎ →‎Implementations: Added citation for compcert, as requested

7 March 2015

• 04:3004:30, 7 March 2015 diff hist +318‎ Wikipedia:Articles for deletion/Andrew McMillen ‎No edit summary

21 February 2015

• 04:3404:34, 21 February 2015 diff hist +117‎ Intermediate representation ‎ →‎Languages: Added note on LLVM IR
• 04:2904:29, 21 February 2015 diff hist +33‎ Common Intermediate Language ‎ Added wikilink to C intermediate language

16 February 2015

• 16:5816:58, 16 February 2015 diff hist −3‎ Extended static checking ‎ Correction: "completeness" replaced with "soundness". If false negatives are allowed then it is soundness that is lost.

12 February 2015

• 05:2705:27, 12 February 2015 diff hist +6‎ SPARK (programming language) ‎ →‎Contract examples: minor edit- fixed missing word "value"

8 February 2015

• 04:3704:37, 8 February 2015 diff hist +247‎ List of tools for static code analysis ‎ →‎Formal methods tools: Added verifast to formal methods
• 04:0704:07, 8 February 2015 diff hist +254‎ List of tools for static code analysis ‎ →‎Formal methods tools: Added Astree to sound section
• 04:0604:06, 8 February 2015 diff hist +44‎ List of tools for static code analysis ‎ →‎Formal methods tools: Clarified that the subsection on formal approaches are sound i.e no false negatives
• 03:3103:31, 8 February 2015 diff hist +57‎ List of tools for static code analysis ‎ →‎C/C++: Added direct link to clang static analyzer
• 03:2703:27, 8 February 2015 diff hist +159‎ List of tools for static code analysis ‎ →‎C/C++: Added CBMC model checker
• 03:2203:22, 8 February 2015 diff hist +130‎ List of tools for static code analysis ‎ →‎C/C++: Added note on CPAchecker
• 03:0603:06, 8 February 2015 diff hist 0‎ List of tools for static code analysis ‎ →‎Formal methods tools: minor edit- typo in link
• 03:0303:03, 8 February 2015 diff hist +59‎ List of tools for static code analysis ‎ →‎Formal methods tools: minor edit- fixed link
• 03:0203:02, 8 February 2015 diff hist +232‎ List of tools for static code analysis ‎ →‎Formal methods tools: Added verasco to formal methods section
• 02:5702:57, 8 February 2015 diff hist +71‎ List of tools for static code analysis ‎ →‎Formal methods tools: Added frama-c to formal methods section
• 02:3502:35, 8 February 2015 diff hist +302‎ Common Intermediate Language ‎ To avoid confusion, added note that another common usage is that CIL also refers to the C Intermediate Language, with reference. (In the future, this could be moved to a separate page).
• 02:2602:26, 8 February 2015 diff hist −126‎ List of tools for static code analysis ‎ →‎Multi-language: Removed Visual Studio Team System - is not a static analyzer
• 02:2302:23, 8 February 2015 diff hist 0‎ List of tools for static code analysis ‎ →‎By language: moved .net compiler to .net section
• 02:1702:17, 8 February 2015 diff hist −71‎ List of tools for static code analysis ‎ →‎Multi-language: Removed claim that Coverity uses abstract interpretation, pending citations on main article
• 02:1502:15, 8 February 2015 diff hist +205‎ Coverity ‎ →‎Products: citation needed on claim that abstract interpretation is used

3 February 2015

• 00:5500:55, 3 February 2015 diff hist −1,634‎ Formal methods ‎ Removed "elements" subsection- that did not relate directly to formal methods (and no references) Tag: section blanking
• 00:3600:36, 3 February 2015 diff hist +1‎ Program analysis ‎ →‎Program slicing: minor edit: punctuation
• 00:3500:35, 3 February 2015 diff hist +3‎ Program analysis ‎ →‎Testing: minor edit: typos
• 00:3200:32, 3 February 2015 diff hist −1‎ Program analysis ‎ →‎Type systems: minor edit: typo
• 00:3000:30, 3 February 2015 diff hist −33‎ Program analysis ‎ Sentence in lead did not make sense- removed last phrase " with risk of being tampered with."

2 February 2015

• 11:3411:34, 2 February 2015 diff hist −55‎ List of model checking tools ‎ Remove deleted wikilink