)]}'
{
  "commit": "2a841adc76d5871ebb0aaadefc4007d6eb111b64",
  "tree": "ef124623b5bc8b7d90119790eb85774d999c8e20",
  "parents": [
    "bbd3653719fd8717dc7e024bb877d9cedac0b2b2"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Fri Mar 29 16:54:52 2024 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Fri Mar 29 16:54:52 2024 -0700"
  },
  "message": "perf: lazy delta reduction when checking `t.\u003cidx\u003e \u003d?\u003d s.\u003cidx\u003e` in the kernel\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "1de1dc73dd9088d7a790e499079913340fc407d9",
      "old_mode": 33188,
      "old_path": "src/kernel/type_checker.cpp",
      "new_id": "9adb025818c21c0e7d4fefae4f98462263080c27",
      "new_mode": 33188,
      "new_path": "src/kernel/type_checker.cpp"
    },
    {
      "type": "modify",
      "old_id": "cb15eaca74c8e0d08d32db4d9c3dd0ae45783948",
      "old_mode": 33188,
      "old_path": "src/kernel/type_checker.h",
      "new_id": "e38a60772bf8f41ebce555bc8afd5e5c12b308f1",
      "new_mode": 33188,
      "new_path": "src/kernel/type_checker.h"
    },
    {
      "type": "modify",
      "old_id": "508b3705fbeef340eb74cdd5ebf271489fbc294f",
      "old_mode": 33188,
      "old_path": "tests/lean/run/isDefEqProjIssue.lean",
      "new_id": "15ba43b86dc3df2213cceab841735e1cd9a495b0",
      "new_mode": 33188,
      "new_path": "tests/lean/run/isDefEqProjIssue.lean"
    }
  ]
}