outdated GetStarted.html

[rurban]

• use llvm 3.4 instead of 2.9
• mention boost for new STP. use a better stp, and mention the oldest good stp without boost
• https://github.com/ccadar/klee.git => klee/klee.git

[delcypher]

@rurban I'd like to update this but I can't recommend LLVM 3.4 as the new stable until we fix the failing test cases. The other changes should be fine to do now.

[ccadar]

As I mentioned before, unfortunately we need to put more effort into testing KLEE before we can move away from 2.9. Passing the regression test suite is not enough: while we are pretty much there with 3.4, we can't run more complex benchmarks yet, and this would frustrate users. We should set up our buildbot to include such tests (e.g., Coreutils), and report both functional and non-functional problems.

This being said, it would be great to have a separate web page describing the steps needed to install KLEE with LLVM 3.4, latest STP, etc., for interested users to try it out.

[rurban]

Thanks, understood. Work in progress
But the https://github.com/klee/klee.git bit should be fixed

[delcypher]

@rurban : Agreed. I just fixed it.