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

List:       klee-commits
Subject:    [klee-commits] [ccadar/klee] cff6f2: Remove llvm.trap declaration after cleaning all us...
From:       c.cadar () imperial ! ac ! uk (Cristian Cadar)
Date:       2013-10-11 17:34:10
Message-ID: 525836925a11d_26e28bbd48508d4 () hookshot-fe4-pe1-prd ! aws ! github ! net ! mail
[Download RAW message or body]

  Branch: refs/heads/master
  Home:   https://github.com/ccadar/klee
  Commit: cff6f244b5d0d378237c0f675f76a8c4f8cc8557
      https://github.com/ccadar/klee/commit/cff6f244b5d0d378237c0f675f76a8c4f8cc8557
  Author: Lei Zhang <antiAgainst at gmail.com>
  Date:   2013-10-08 (Tue, 08 Oct 2013)

  Changed paths:
    M lib/Module/IntrinsicCleaner.cpp

  Log Message:
  -----------
  Remove llvm.trap declaration after cleaning all uses.


  Commit: bd233936e40f019e0ab066440dc13398ae6754f6
      https://github.com/ccadar/klee/commit/bd233936e40f019e0ab066440dc13398ae6754f6
  Author: Cristian Cadar <c.cadar at imperial.ac.uk>
  Date:   2013-10-11 (Fri, 11 Oct 2013)

  Changed paths:
    M lib/Module/IntrinsicCleaner.cpp

  Log Message:
  -----------
  Merge pull request #40 from antiAgainst/intrinsic-trap

Bugfix: Remove llvm.trap declaration after cleaning all uses.


Compare: https://github.com/ccadar/klee/compare/310ce83f0d04...bd233936e40f

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