Announcement

Collapse
No announcement yet.

LLVM-Based LLBMC 2012.2 Has New Features

Collapse
X
 
  • Filter
  • Time
  • Show
Clear All
new posts

  • LLVM-Based LLBMC 2012.2 Has New Features

    Phoronix: LLVM-Based LLBMC 2012.2 Has New Features

    LLBMC 2012.2 has been released, which is based upon the LLVM 3.1 code-base, and is a high-precision static analyzer that implements Bounded Model Checking...

    Phoronix, Linux Hardware Reviews, Linux hardware benchmarks, Linux server benchmarks, Linux benchmarking, Desktop Linux, Linux performance, Open Source graphics, Linux How To, Ubuntu benchmarks, Ubuntu hardware, Phoronix Test Suite

  • #2
    I think it should have been stated in the article that LLBMC is surprisingly NOT open source.

    A bit worrying as it is probably fincanced by German tax payers; shouldn't what is funded by the public be publicly available in return?

    Comment


    • #3
      Originally posted by plgaming View Post
      I think it should have been stated in the article that LLBMC is surprisingly NOT open source.

      A bit worrying as it is probably fincanced by German tax payers; shouldn't what is funded by the public be publicly available in return?
      Excellent points.

      Comment

      Working...
      X