[prev in list] [next in list] [prev in thread] [next in thread] 

List:       klee-commits
Subject:    [klee-commits] [klee/klee.github.io] 748ca1: Note that when building LLVM3.4 from source that C...
From:       Andrea Mattavelli <andreamattavelli () users ! noreply ! github ! com>
Date:       2017-05-15 14:51:53
Message-ID: 5919c08919c30_5d213fc0fc5d9c2c100229 () hookshot-fe5-cp1-prd ! iad ! github ! net ! mail
[Download RAW message or body]

Branch: refs/heads/master
  Home:   https://github.com/klee/klee.github.io
  Commit: 748ca1987218b4e94cb47b2a91baefcdc7755caa
      https://github.com/klee/klee.github.io/commit/748ca1987218b4e94cb47b2a91baefcdc7755caa
  Author: Dan Liew <daniel.liew@imperial.ac.uk>
  Date:   2017-05-02 (Tue, 02 May 2017)

  Changed paths:
    M build-llvm34.md

  Log Message:
  -----------
  Note that when building LLVM3.4 from source that CMake should not
be used.


  Commit: d05122c79241bf60708c92087a27abc2077a1ba0
      https://github.com/klee/klee.github.io/commit/d05122c79241bf60708c92087a27abc2077a1ba0
  Author: Dan Liew <daniel.liew@imperial.ac.uk>
  Date:   2017-05-03 (Wed, 03 May 2017)

  Changed paths:
    M build-llvm34.md

  Log Message:
  -----------
  Explain how to work around ABI issue and RTTI issue.


  Commit: 9c31c58754bb062175bc06c0164de201236d0744
      https://github.com/klee/klee.github.io/commit/9c31c58754bb062175bc06c0164de201236d0744
  Author: Dan Liew <daniel.liew@imperial.ac.uk>
  Date:   2017-05-03 (Wed, 03 May 2017)

  Changed paths:
    M build-llvm34.md

  Log Message:
  -----------
  Based on @naegling 's comments try to be more explicit that KLEE's
CMake build system can be built against LLVM built with either build
system.


  Commit: 885bf4bc9c3711716bc7cda0da3f9225b436782b
      https://github.com/klee/klee.github.io/commit/885bf4bc9c3711716bc7cda0da3f9225b436782b
  Author: Andrea Mattavelli <andreamattavelli@users.noreply.github.com>
  Date:   2017-05-15 (Mon, 15 May 2017)

  Changed paths:
    M build-llvm34.md

  Log Message:
  -----------
  Merge pull request #81 from delcypher/clarify_link_errors

Clarify link errors with CMake build


Compare: https://github.com/klee/klee.github.io/compare/6d4971a02654...885bf4bc9c37

_______________________________________________
klee-commits mailing list
klee-commits@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-commits


[prev in list] [next in list] [prev in thread] [next in thread]