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

List:       klee-commits
Subject:    [klee-commits] [klee/klee] f80389: config.h.cmin: remove obsolete cmakedefine
From:       Julian =?UTF-8?B?QsO8bmluZw==?= <julian.buening () rwth-aachen ! de>
Date:       2018-10-04 9:04:44
Message-ID: 5bb5d7ac476c_fb52abff0fa4ecc929a5 () hookshot-fe-32b5f5b ! cp1-iad ! github ! net ! mail
[Download RAW message or body]

Branch: refs/heads/master
  Home:   https://github.com/klee/klee
  Commit: f8038979b9e4cb2a04bd6a38d6d3f6b467ab35f5
      https://github.com/klee/klee/commit/f8038979b9e4cb2a04bd6a38d6d3f6b=
467ab35f5
  Author: Julian B=C3=BCning <julian.buening@rwth-aachen.de>
  Date:   2018-10-04 (Thu, 04 Oct 2018)

  Changed paths:
    M include/klee/Config/config.h.cmin

  Log Message:
  -----------
  config.h.cmin: remove obsolete cmakedefine


  Commit: ee8234ee976cc7367f28eef658636915f56162a4
      https://github.com/klee/klee/commit/ee8234ee976cc7367f28eef65863691=
5f56162a4
  Author: Julian B=C3=BCning <julian.buening@rwth-aachen.de>
  Date:   2018-10-04 (Thu, 04 Oct 2018)

  Changed paths:
    M lib/Module/CMakeLists.txt
    M lib/Module/ModuleUtil.cpp

  Log Message:
  -----------
  remove obsolete dependency of kleeModule on kleeCore


  Commit: c73749c2195a9b322c0617e7412d83904c8abc93
      https://github.com/klee/klee/commit/c73749c2195a9b322c0617e7412d839=
04c8abc93
  Author: Julian B=C3=BCning <julian.buening@rwth-aachen.de>
  Date:   2018-10-04 (Thu, 04 Oct 2018)

  Changed paths:
    M lib/Module/CMakeLists.txt

  Log Message:
  -----------
  kleeModule: always link irreader (required since llvm 3.3)


Compare: https://github.com/klee/klee/compare/da573cbf6a18...c73749c2195a=

      **NOTE:** This service has been marked for deprecation: https://dev=
eloper.github.com/changes/2018-04-25-github-services-deprecation/

      Functionality will be removed from GitHub.com on January 31st, 2019=
.


_______________________________________________
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]