)]}'
{
  "commit": "b4872157b9a3f676006ab1f7c2e920d4527f3dd9",
  "tree": "eac49dc34979837aad969648f829bcfefffbf00a",
  "parents": [
    "b4bd5568c86c992aedfedeecf1ebdcd7cba1e12c"
  ],
  "author": {
    "name": "Mikhail R. Gadelha",
    "email": "mikhail.ramalho@gmail.com",
    "time": "Thu Feb 07 03:19:45 2019 +0000"
  },
  "committer": {
    "name": "Copybara-Service",
    "email": "copybara-worker@google.com",
    "time": "Mon Sep 21 05:47:57 2020 -0700"
  },
  "message": "Move the SMT API to LLVM\n\nMoved everything SMT-related to LLVM and updated the cmake scripts.\n\nDifferential Revision: https://reviews.llvm.org/D54978\n\nllvm-svn: 353373\nGitOrigin-RevId: eac500f0c340c00308039fdf5d9deaf3953fccd0\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "c2016a45ca6b5e620c7e3fc8bbbbc2c10ddf15b2",
      "old_mode": 33188,
      "old_path": "CMakeLists.txt",
      "new_id": "2c5ea58610f3e2f7db41e966ccf83621f91f3e54",
      "new_mode": 33188,
      "new_path": "CMakeLists.txt"
    },
    {
      "type": "delete",
      "old_id": "7a224f789ec1d30ec05039a51bc9f6a1c5f114ec",
      "old_mode": 33188,
      "old_path": "cmake/modules/FindZ3.cmake",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "modify",
      "old_id": "1d624450b9d905bed7ba2d2e9c7c41c922971e37",
      "old_mode": 33188,
      "old_path": "include/clang/Config/config.h.cmake",
      "new_id": "a737d6afac11882176cecfdbf7da89ededf22876",
      "new_mode": 33188,
      "new_path": "include/clang/Config/config.h.cmake"
    },
    {
      "type": "delete",
      "old_id": "efb3319ff232c89617f88a8e6f58cb5be51a3bd7",
      "old_mode": 33188,
      "old_path": "include/clang/StaticAnalyzer/Core/PathSensitive/SMTAPI.h",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "modify",
      "old_id": "6819e6af86f2b339945e10cd5713562d6fb1ccfb",
      "old_mode": 33188,
      "old_path": "include/clang/StaticAnalyzer/Core/PathSensitive/SMTConstraintManager.h",
      "new_id": "4d856c0caed623b836cdec51e75bc68602b9136b",
      "new_mode": 33188,
      "new_path": "include/clang/StaticAnalyzer/Core/PathSensitive/SMTConstraintManager.h"
    },
    {
      "type": "modify",
      "old_id": "f5145699c1e8fb1d03b2280969dbc2c13e14e581",
      "old_mode": 33188,
      "old_path": "include/clang/StaticAnalyzer/Core/PathSensitive/SMTConv.h",
      "new_id": "bdebe238829e829cacc9f8d4d21bcdb6063eb88a",
      "new_mode": 33188,
      "new_path": "include/clang/StaticAnalyzer/Core/PathSensitive/SMTConv.h"
    },
    {
      "type": "modify",
      "old_id": "00dfd0257f812a54a36016d88c5bc9645e14579c",
      "old_mode": 33188,
      "old_path": "lib/StaticAnalyzer/Core/BugReporterVisitors.cpp",
      "new_id": "7d0a8c6da1798225799dcdd39690ffdfee17232a",
      "new_mode": 33188,
      "new_path": "lib/StaticAnalyzer/Core/BugReporterVisitors.cpp"
    },
    {
      "type": "modify",
      "old_id": "80047f49087aa8dc38278aad1a1f279add4094e5",
      "old_mode": 33188,
      "old_path": "lib/StaticAnalyzer/Core/CMakeLists.txt",
      "new_id": "977e94793377d61dc1a70f78b98623fdee9a6e6c",
      "new_mode": 33188,
      "new_path": "lib/StaticAnalyzer/Core/CMakeLists.txt"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "d5c14351d330294404bfe5dda9a1388df931882b",
      "new_mode": 33188,
      "new_path": "lib/StaticAnalyzer/Core/SMTConstraintManager.cpp"
    },
    {
      "type": "delete",
      "old_id": "73474cc9cd8c247d8028634645190ab756ebecf2",
      "old_mode": 33188,
      "old_path": "lib/StaticAnalyzer/Core/Z3ConstraintManager.cpp",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "modify",
      "old_id": "7d9dc429a41b034e7b881128b7bb91b0df0e6818",
      "old_mode": 33188,
      "old_path": "test/CMakeLists.txt",
      "new_id": "f5685e4d4f9b501271ab188ee91ad952b5403932",
      "new_mode": 33188,
      "new_path": "test/CMakeLists.txt"
    },
    {
      "type": "modify",
      "old_id": "fd89fd13a691c164d307687217655f5a4a1c2d57",
      "old_mode": 33188,
      "old_path": "test/lit.site.cfg.py.in",
      "new_id": "953fd8dd33aa0bcef80de99982ec3a2b62c32d8e",
      "new_mode": 33188,
      "new_path": "test/lit.site.cfg.py.in"
    }
  ]
}