)]}'
{
  "commit": "d8130ee0d2417d58367382ec78cfbd3a35fe61bd",
  "tree": "a28ccf0b11b42e3c198a9360eb0360c2c9f70acc",
  "parents": [
    "4c370e45581c228b220097c8a1a3aa5bed70c82f"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leonardo@microsoft.com",
    "time": "Wed Jun 13 14:50:07 2018 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leonardo@microsoft.com",
    "time": "Wed Jun 13 14:50:07 2018 -0700"
  },
  "message": "checkpoint\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "2247d0e5e9153bdfa024344aa6b05f9bf41f6f05",
      "old_mode": 33188,
      "old_path": "src/kernel/equiv_manager.cpp",
      "new_id": "9f99c1f53e5498cc392fe217ba2e7d31815e88fa",
      "new_mode": 33188,
      "new_path": "src/kernel/equiv_manager.cpp"
    },
    {
      "type": "modify",
      "old_id": "62d53c30376409fd3d507b3e68e48ab8298ccbd0",
      "old_mode": 33188,
      "old_path": "src/kernel/expr.cpp",
      "new_id": "d8ba58dbe12aff591d9915b0508a945f82f9b418",
      "new_mode": 33188,
      "new_path": "src/kernel/expr.cpp"
    },
    {
      "type": "modify",
      "old_id": "9184a15136861d31ad53782fabd895f534e09729",
      "old_mode": 33188,
      "old_path": "src/kernel/expr.h",
      "new_id": "88cb2c714b236d9323795b2c100f1760e2e5f299",
      "new_mode": 33188,
      "new_path": "src/kernel/expr.h"
    },
    {
      "type": "modify",
      "old_id": "1d6bb6cf4fd3ab92fde52046a14f3097df98747d",
      "old_mode": 33188,
      "old_path": "src/kernel/expr_eq_fn.cpp",
      "new_id": "5757ddcf9fec04cda0b6a73199040fd05945f26d",
      "new_mode": 33188,
      "new_path": "src/kernel/expr_eq_fn.cpp"
    },
    {
      "type": "modify",
      "old_id": "47f3d24b8618c0a667d79fe770d7be076002c6f4",
      "old_mode": 33188,
      "old_path": "src/kernel/for_each_fn.cpp",
      "new_id": "7e60b3545b955f1ff536995b54e6fe32f8d0f973",
      "new_mode": 33188,
      "new_path": "src/kernel/for_each_fn.cpp"
    },
    {
      "type": "modify",
      "old_id": "1fd7b0ca16e77cc58818fe57a6fcf5a043161fa4",
      "old_mode": 33188,
      "old_path": "src/kernel/old_type_checker.cpp",
      "new_id": "023d8538861632839162709dd8819e63f71149cf",
      "new_mode": 33188,
      "new_path": "src/kernel/old_type_checker.cpp"
    },
    {
      "type": "modify",
      "old_id": "148219afc030447b412065be9a62d68d5032fcac",
      "old_mode": 33188,
      "old_path": "src/kernel/replace_fn.cpp",
      "new_id": "bab933858e1209752aae77ca469d501580f8daa6",
      "new_mode": 33188,
      "new_path": "src/kernel/replace_fn.cpp"
    },
    {
      "type": "modify",
      "old_id": "4f1c8513ccaed727c73bb8e8a7d8c31d44419c4a",
      "old_mode": 33188,
      "old_path": "src/kernel/type_checker.cpp",
      "new_id": "b03d991e324a36c8038efb12f9f3b4e6daec3bd5",
      "new_mode": 33188,
      "new_path": "src/kernel/type_checker.cpp"
    },
    {
      "type": "modify",
      "old_id": "0318ade7d8237d32ad9451a8004c5297ccf72d6d",
      "old_mode": 33188,
      "old_path": "src/library/deep_copy.cpp",
      "new_id": "8a2a65503b8ef5fede6f84ecad3d64cb9b150746",
      "new_mode": 33188,
      "new_path": "src/library/deep_copy.cpp"
    },
    {
      "type": "modify",
      "old_id": "8318a6ba8aa0e1b3097d6ba55d15e2f17f602b12",
      "old_mode": 33188,
      "old_path": "src/library/expr_lt.cpp",
      "new_id": "20eb2fc3b5f436194c4eabea94cb07dd5188634b",
      "new_mode": 33188,
      "new_path": "src/library/expr_lt.cpp"
    }
  ]
}