Results 1 to 3 of 3

Thread: LLVM-Based LLBMC 2012.2 Has New Features

  1. #1
    Join Date
    Jan 2007
    Posts
    14,307

    Default 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...

    http://www.phoronix.com/vr.php?view=MTE3Mzc

  2. #2
    Join Date
    Jul 2009
    Posts
    5

    Default

    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?

  3. #3
    Join Date
    Nov 2008
    Location
    somewhere at the edge of the Milky Way
    Posts
    98

    Thumbs up

    Quote 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.

Posting Permissions

  • You may not post new threads
  • You may not post replies
  • You may not post attachments
  • You may not edit your posts
  •