Results 1 to 3 of 3

Thread: LLVM-Based LLBMC 2012.2 Has New Features

  1. 08-31-2012, 07:10 PM #1
    phoronix
    phoronix is offline Phoronix News Bot
    Join Date
    Jan 2007
    Posts
    10,356

    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
    Reply With Quote Reply With Quote
  2. 09-01-2012, 03:49 PM #2
    plgaming
    plgaming is offline Junior Member
    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?
    Reply With Quote Reply With Quote
  3. 09-03-2012, 04:41 AM #3
    »John«
    »John« is offline Phoronix Member
    Join Date
    Nov 2008
    Location
    somewhere at the edge of the Milky Way
    Posts
    97

    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.
    Reply With Quote Reply With Quote
« Previous Thread | Next Thread »

Posting Permissions

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

Forum Rules