User contributions
Jump to navigation
Jump to search
- 11:02, 29 July 2014 diff hist +1,313 STATOR:Establishing code-base →Results current
- 10:43, 29 July 2014 diff hist +50 STATOR:Establishing code-base →Answers to important questions
- 10:40, 29 July 2014 diff hist +23 STATOR:Establishing code-base →Answers to important questions
- 10:36, 29 July 2014 diff hist +1 STATOR:Establishing code-base →Answers to important questions
- 10:34, 29 July 2014 diff hist +10 STATOR:Establishing code-base →Answers to important questions
- 10:33, 29 July 2014 diff hist +1,654 STATOR:Establishing code-base →Important questions
- 09:29, 29 July 2014 diff hist +738 STATOR:Establishing code-base →Open questions
- 11:57, 28 July 2014 diff hist +45 STATOR:Establishing code-base →PAGAI
- 11:56, 28 July 2014 diff hist +716 STATOR:Establishing code-base →KLEE
- 11:51, 28 July 2014 diff hist +9 STATOR:Establishing code-base →CPAchecker
- 11:51, 28 July 2014 diff hist +95 STATOR:Establishing code-base →CPAchecker
- 11:50, 28 July 2014 diff hist +5 STATOR:Establishing code-base →Bugst
- 11:49, 28 July 2014 diff hist +120 STATOR:Establishing code-base →Bugst
- 11:48, 28 July 2014 diff hist +538 STATOR:Establishing code-base →Predator
- 11:41, 28 July 2014 diff hist +1,043 STATOR:Establishing code-base →Bugst
- 11:20, 28 July 2014 diff hist +37 STATOR:Establishing code-base →Stanse
- 11:20, 28 July 2014 diff hist +21 STATOR:Establishing code-base →CPAchecker
- 11:19, 28 July 2014 diff hist +179 STATOR:Establishing code-base →CPAchecker
- 11:16, 28 July 2014 diff hist +1,163 STATOR:Establishing code-base →Stanse
- 10:56, 28 July 2014 diff hist +427 STATOR:Establishing code-base →PAGAI
- 10:50, 28 July 2014 diff hist +117 STATOR:Establishing code-base →CPAchecker
- 10:47, 28 July 2014 diff hist +123 STATOR:Establishing code-base →CPAchecker
- 10:44, 28 July 2014 diff hist +900 STATOR:Establishing code-base →CPAchecker
- 10:20, 28 July 2014 diff hist -16 STATOR:Establishing code-base →C++
- 10:20, 28 July 2014 diff hist +94 STATOR:Establishing code-base →Open questions
- 10:18, 28 July 2014 diff hist +671 STATOR:Establishing code-base →C++
- 10:06, 28 July 2014 diff hist +160 STATOR:Establishing code-base →Open questions
- 10:02, 28 July 2014 diff hist +297 STATOR:Establishing code-base →Open questions
- 09:46, 28 July 2014 diff hist +257 STATOR:Establishing code-base →Open questions
- 09:38, 28 July 2014 diff hist -21 STATOR:Establishing code-base →Open questions
- 09:36, 28 July 2014 diff hist +491 STATOR:Establishing code-base →Results
- 19: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)
- 19:17, 25 July 2014 diff hist 0 STATOR:Establishing code-base →Perspective 3: Build STATOR on top on a single freely available tool
- 19:16, 25 July 2014 diff hist +359 STATOR:Establishing code-base →Perspective 3: Build STATOR on top on a single freely available tool
- 19:12, 25 July 2014 diff hist +73 STATOR:Establishing code-base →CPAchecker
- 19:11, 25 July 2014 diff hist +73 STATOR:Establishing code-base →Java
- 19: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)
- 19:00, 25 July 2014 diff hist +278 STATOR:Establishing code-base →C++
- 18: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)
- 18:38, 25 July 2014 diff hist +176 STATOR:Establishing code-base →Perspective 3: Build STATOR on top on a single freely available tool
- 18:37, 25 July 2014 diff hist 0 STATOR:Establishing code-base →Perspective 3: Build STATOR on top on a single freely available tool
- 18:37, 25 July 2014 diff hist +78 STATOR:Establishing code-base →Perspective 3: Build STATOR on top on a single freely available tool
- 18:35, 25 July 2014 diff hist +495 STATOR:Establishing code-base
- 18:30, 25 July 2014 diff hist -106 STATOR:Establishing code-base
- 18:27, 25 July 2014 diff hist +5 STATOR:Establishing code-base →Using LLVM front-end
- 18:27, 25 July 2014 diff hist -15 STATOR:Establishing code-base →Using dedicated C front-end
- 18:25, 25 July 2014 diff hist +4 STATOR:Establishing code-base →Using dedicated C front-end
- 18:24, 25 July 2014 diff hist +198 STATOR:Establishing code-base →Using dedicated C front-end
- 18:22, 25 July 2014 diff hist +280 STATOR:Establishing code-base →Using dedicated C front-end
- 18:18, 25 July 2014 diff hist +75 STATOR:Establishing code-base →Using LLVM front-end
- 18:14, 25 July 2014 diff hist -308 STATOR:Establishing code-base
- 18:11, 25 July 2014 diff hist -365 STATOR:Establishing code-base
- 18:09, 25 July 2014 diff hist +1,437 STATOR:Establishing code-base
- 17:55, 25 July 2014 diff hist -8 STATOR:Establishing code-base
- 17:54, 25 July 2014 diff hist +22 STATOR:Establishing code-base
- 17:53, 25 July 2014 diff hist +180 STATOR:Establishing code-base
- 17:46, 25 July 2014 diff hist +12 STATOR:Establishing code-base
- 17:45, 25 July 2014 diff hist +8 STATOR:Establishing code-base
- 17:45, 25 July 2014 diff hist +39 STATOR:Establishing code-base
- 17:43, 25 July 2014 diff hist +6 STATOR:Establishing code-base
- 17:42, 25 July 2014 diff hist +74 STATOR:Establishing code-base
- 17:39, 25 July 2014 diff hist +128 STATOR:Establishing code-base
- 17:37, 25 July 2014 diff hist +73 STATOR:Establishing code-base
- 17:34, 25 July 2014 diff hist +45 STATOR:Establishing code-base
- 17:28, 25 July 2014 diff hist +6 STATOR:Establishing code-base
- 17:28, 25 July 2014 diff hist +343 STATOR:Establishing code-base
- 17:22, 25 July 2014 diff hist -30 STATOR:Establishing code-base
- 17:20, 25 July 2014 diff hist +402 STATOR:Establishing code-base
- 17:15, 25 July 2014 diff hist +308 STATOR:Establishing code-base
- 17:09, 25 July 2014 diff hist +897 STATOR:Establishing code-base
- 16:54, 25 July 2014 diff hist +745 STATOR:Establishing code-base
- 16:36, 25 July 2014 diff hist 0 STATOR:Current events current
- 16:35, 25 July 2014 diff hist +89 N STATOR:Establishing code-base Created page with "Here we list pros and cons of all our approaches towards establishing STATOR's code-base."
- 16:35, 25 July 2014 diff hist +13 STATOR:Current events
- 16:30, 25 July 2014 diff hist +53 N STATOR:Evaluation Created page with "= Evaluation of 3rd software for STATOR's code-base =" current
- 16:30, 25 July 2014 diff hist +208 N STATOR:Current events Created page with "* We looked around for freely available software which we can use as a code-base (e.g. C/LLVM front-end, already implemented analyses, etc.) for the STATOR project. The result..."