User contributions
Jump to navigation
Jump to search
- 21:53, 25 October 2012 diff hist +567 N Astrée Created page with "'''Astrée''' is a static analysis tool developed at wikipedia:École Normale Supérieure (ENS) in Paris by a joint ENS/wikipedia:CNRS/wikipedia:INRIA team led b..." current
- 21:47, 25 October 2012 diff hist +10 Pagai
- 21:47, 25 October 2012 diff hist +451 N Pagai Created page with "'''Pagai''' is a research prototype for static analysis by abstract interpretation, mostly implemented by [http://www-verimag.imag.fr/~jhenry Julien Henry]. It implements seve..."
- 21:43, 25 October 2012 diff hist +245 Static analysis →How it works in a nutshell current
- 21:40, 25 October 2012 diff hist +848 Static analysis →How it works in a nutshell
- 21:35, 25 October 2012 diff hist -4 Static analysis →How it works in a nutshell
- 21:34, 25 October 2012 diff hist +238 Static analysis
- 21:30, 25 October 2012 diff hist -1 MediaWiki:Common.css
- 21:29, 25 October 2012 diff hist +18 MediaWiki:Common.css
- 21:27, 25 October 2012 diff hist +1,072 Static analysis
- 21:15, 25 October 2012 diff hist +963 Static analysis
- 21:10, 25 October 2012 diff hist +675 Static analysis
- 21:01, 25 October 2012 diff hist +297 N Static analysis Created page with "'''Static analysis''' is the act of deriving information about computer software (or, more generally, hardware or protocols) without actually running it, as opposed to '''dyna..."
- 20:59, 25 October 2012 diff hist +4 Main Page
- 20:55, 25 October 2012 diff hist +3 m Main Page
- 20:55, 25 October 2012 diff hist +1 m Main Page
- 20:54, 25 October 2012 diff hist 0 MediaWiki:Common.css
- 20:54, 25 October 2012 diff hist +1 MediaWiki:Common.css
- 20:52, 25 October 2012 diff hist +35 MediaWiki:Common.css
- 20:51, 25 October 2012 diff hist -29 MediaWiki:Common.css
- 20:51, 25 October 2012 diff hist +52 MediaWiki:Common.css
- 20:50, 25 October 2012 diff hist +95 MediaWiki:Common.css
- 20:49, 25 October 2012 diff hist -39 MediaWiki:Common.css
- 20:48, 25 October 2012 diff hist -72 MediaWiki:Common.css
- 20:47, 25 October 2012 diff hist -59 MediaWiki:Common.css
- 20:46, 25 October 2012 diff hist +5 MediaWiki:Common.css
- 20:45, 25 October 2012 diff hist +5 MediaWiki:Common.css
- 20:45, 25 October 2012 diff hist +2 MediaWiki:Common.css
- 20:42, 25 October 2012 diff hist +131 MediaWiki:Common.css
- 20:31, 25 October 2012 diff hist +117 Main Page +flag
- 21:04, 24 October 2012 diff hist +117 N MediaWiki:Common.css change font
- 20:45, 24 October 2012 diff hist +84 Main Page →Laboratory
- 20:43, 24 October 2012 diff hist +34 N File:Grenoble from Moucherotte IMG 0861 tuned.jpg Grenoble seen from the Moucherotte current
- 20:27, 24 October 2012 diff hist +1 Main Page →The STATOR project
- 20:26, 24 October 2012 diff hist +104 Main Page
- 20:26, 24 October 2012 diff hist -5 Main Page
- 20:25, 24 October 2012 diff hist +11 Main Page →The STATOR project
- 20:25, 24 October 2012 diff hist +3 Main Page →Laboratory
- 20:24, 24 October 2012 diff hist +81 Main Page →Laboratory
- 20:23, 24 October 2012 diff hist +43 m Main Page →Laboratory
- 20:22, 24 October 2012 diff hist +67 User:David Monniaux
- 20:21, 24 October 2012 diff hist +676 User:David Monniaux
- 20:18, 24 October 2012 diff hist +595 Main Page
- 20:11, 24 October 2012 diff hist 0 N File:WEB CNRS-filaire-Quadri.jpg current
- 20:07, 24 October 2012 diff hist +12 N File:Logo VERIMAG vectorise.svg Logo VERIMAG current
- 20:05, 24 October 2012 diff hist +8 N File:UJFquadriBaseGauche.png Logo UJF current
- 20:00, 24 October 2012 diff hist +40 N File:STATOR PE6 306595 description of work shortened.pdf Shortened version of description of work current
- 20:58, 23 October 2012 diff hist -351 Main Page
- 20:57, 23 October 2012 diff hist +8 N File:ERC acronym.pdf ERC logo current
- 20:09, 23 October 2012 diff hist +32 N User:David Monniaux Created page with "<math>\int_1^2 x dx = 3/2</math>"
