)]}'
{
  "commit": "b4bd5568c86c992aedfedeecf1ebdcd7cba1e12c",
  "tree": "9d4be1dd6dbe66ca529f5fbde7285f633fe5b9c5",
  "parents": [
    "9548a04ded99ee38b952d82f03ec3f191bc7c7b8"
  ],
  "author": {
    "name": "Mikhail R. Gadelha",
    "email": "mikhail.ramalho@gmail.com",
    "time": "Thu Feb 07 03:18:21 2019 +0000"
  },
  "committer": {
    "name": "Copybara-Service",
    "email": "copybara-worker@google.com",
    "time": "Mon Sep 21 05:47:46 2020 -0700"
  },
  "message": "Moved the whole SMT API to a single file. NFC.\n\nThere is no advantage in having them in separate files, I doubt some will ever use them separately.\n\nThis also makes it easier to move the API to LLVM.\n\nDifferential Revision: https://reviews.llvm.org/D54977\n\nllvm-svn: 353372\nGitOrigin-RevId: 5f16ad9a1be845fef99155278bc5743e357664cd\n",
  "tree_diff": [
    {
      "type": "rename",
      "old_id": "d7b86789a81dbfde6f4071c3e85dce7ba36b3c42",
      "old_mode": 33188,
      "old_path": "include/clang/StaticAnalyzer/Core/PathSensitive/SMTSolver.h",
      "new_id": "efb3319ff232c89617f88a8e6f58cb5be51a3bd7",
      "new_mode": 33188,
      "new_path": "include/clang/StaticAnalyzer/Core/PathSensitive/SMTAPI.h",
      "score": 76
    },
    {
      "type": "modify",
      "old_id": "955f0a36a02b091af85b8d1b24d562bf2fe215a1",
      "old_mode": 33188,
      "old_path": "include/clang/StaticAnalyzer/Core/PathSensitive/SMTConv.h",
      "new_id": "f5145699c1e8fb1d03b2280969dbc2c13e14e581",
      "new_mode": 33188,
      "new_path": "include/clang/StaticAnalyzer/Core/PathSensitive/SMTConv.h"
    },
    {
      "type": "delete",
      "old_id": "b2cfba878d5dcb169f272e0bb395606ce7d6b1da",
      "old_mode": 33188,
      "old_path": "include/clang/StaticAnalyzer/Core/PathSensitive/SMTExpr.h",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "933bc3ec74e29cff13fd977fd0d282a3909285ef",
      "old_mode": 33188,
      "old_path": "include/clang/StaticAnalyzer/Core/PathSensitive/SMTSort.h",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    }
  ]
}