User contributions
Jump to navigation
Jump to search
- 09:50, 28 July 2014 diff hist +117 STATOR:Establishing code-base →CPAchecker
- 09:47, 28 July 2014 diff hist +123 STATOR:Establishing code-base →CPAchecker
- 09:44, 28 July 2014 diff hist +900 STATOR:Establishing code-base →CPAchecker
- 09:20, 28 July 2014 diff hist -16 STATOR:Establishing code-base →C++
- 09:20, 28 July 2014 diff hist +94 STATOR:Establishing code-base →Open questions
- 09:18, 28 July 2014 diff hist +671 STATOR:Establishing code-base →C++
- 09:06, 28 July 2014 diff hist +160 STATOR:Establishing code-base →Open questions
- 09:02, 28 July 2014 diff hist +297 STATOR:Establishing code-base →Open questions
- 08:46, 28 July 2014 diff hist +257 STATOR:Establishing code-base →Open questions
- 08:38, 28 July 2014 diff hist -21 STATOR:Establishing code-base →Open questions
- 08:36, 28 July 2014 diff hist +491 STATOR:Establishing code-base →Results
- 18:17, 25 July 2014 diff hist -1 STATOR:Establishing code-base →Perspective 4: Build STATOR on top of a code collected from several different sources (tools)
- 18:17, 25 July 2014 diff hist 0 STATOR:Establishing code-base →Perspective 3: Build STATOR on top on a single freely available tool
- 18:16, 25 July 2014 diff hist +359 STATOR:Establishing code-base →Perspective 3: Build STATOR on top on a single freely available tool
- 18:12, 25 July 2014 diff hist +73 STATOR:Establishing code-base →CPAchecker
- 18:11, 25 July 2014 diff hist +73 STATOR:Establishing code-base →Java
- 18:00, 25 July 2014 diff hist +16 STATOR:Establishing code-base →Perspective 4: Build STATOR on top of a code collected from several different sources (tools)
- 18:00, 25 July 2014 diff hist +278 STATOR:Establishing code-base →C++
- 17:53, 25 July 2014 diff hist +793 STATOR:Establishing code-base →Perspective 4: Build STATOR on top of a code collected from several different sources (tools)
- 17:38, 25 July 2014 diff hist +176 STATOR:Establishing code-base →Perspective 3: Build STATOR on top on a single freely available tool
- 17:37, 25 July 2014 diff hist 0 STATOR:Establishing code-base →Perspective 3: Build STATOR on top on a single freely available tool
- 17:37, 25 July 2014 diff hist +78 STATOR:Establishing code-base →Perspective 3: Build STATOR on top on a single freely available tool
- 17:35, 25 July 2014 diff hist +495 STATOR:Establishing code-base
- 17:30, 25 July 2014 diff hist -106 STATOR:Establishing code-base
- 17:27, 25 July 2014 diff hist +5 STATOR:Establishing code-base →Using LLVM front-end
- 17:27, 25 July 2014 diff hist -15 STATOR:Establishing code-base →Using dedicated C front-end
- 17:25, 25 July 2014 diff hist +4 STATOR:Establishing code-base →Using dedicated C front-end
- 17:24, 25 July 2014 diff hist +198 STATOR:Establishing code-base →Using dedicated C front-end
- 17:22, 25 July 2014 diff hist +280 STATOR:Establishing code-base →Using dedicated C front-end
- 17:18, 25 July 2014 diff hist +75 STATOR:Establishing code-base →Using LLVM front-end
- 17:14, 25 July 2014 diff hist -308 STATOR:Establishing code-base
- 17:11, 25 July 2014 diff hist -365 STATOR:Establishing code-base
- 17:09, 25 July 2014 diff hist +1,437 STATOR:Establishing code-base
- 16:55, 25 July 2014 diff hist -8 STATOR:Establishing code-base
- 16:54, 25 July 2014 diff hist +22 STATOR:Establishing code-base
- 16:53, 25 July 2014 diff hist +180 STATOR:Establishing code-base
- 16:46, 25 July 2014 diff hist +12 STATOR:Establishing code-base
- 16:45, 25 July 2014 diff hist +8 STATOR:Establishing code-base
- 16:45, 25 July 2014 diff hist +39 STATOR:Establishing code-base
- 16:43, 25 July 2014 diff hist +6 STATOR:Establishing code-base
- 16:42, 25 July 2014 diff hist +74 STATOR:Establishing code-base
- 16:39, 25 July 2014 diff hist +128 STATOR:Establishing code-base
- 16:37, 25 July 2014 diff hist +73 STATOR:Establishing code-base
- 16:34, 25 July 2014 diff hist +45 STATOR:Establishing code-base
- 16:28, 25 July 2014 diff hist +6 STATOR:Establishing code-base
- 16:28, 25 July 2014 diff hist +343 STATOR:Establishing code-base
- 16:22, 25 July 2014 diff hist -30 STATOR:Establishing code-base
- 16:20, 25 July 2014 diff hist +402 STATOR:Establishing code-base
- 16:15, 25 July 2014 diff hist +308 STATOR:Establishing code-base
- 16:09, 25 July 2014 diff hist +897 STATOR:Establishing code-base