)]}'
{
  "commit": "bcc22fd47669d04474dc41259ffbcf1f6167ba2a",
  "tree": "859c6304ab98f1543c9e3ba767d89ebc3294ed6f",
  "parents": [
    "bf13b24692ce5b96cb8a9fd4a3d11c0e170dbccf"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Sun Nov 24 16:28:42 2024 +1100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Sun Nov 24 16:28:42 2024 +1100"
  },
  "message": "chore: remove partial and runtime bounds checks from Array.binSearch\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "b4bd7187870f14c651b4fe20f3fc4f70a32c6038",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Array/BinSearch.lean",
      "new_id": "c69dc8cee9ab9851726f6fcef179cc2ebd52e929",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Array/BinSearch.lean"
    },
    {
      "type": "modify",
      "old_id": "82c6afd0b3f32fa0ad85ebb34f381cfd0fb98bfd",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Array/DecidableEq.lean",
      "new_id": "be545d6e13eb6192c5daa13c8b8be1e43b9d82fb",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Array/DecidableEq.lean"
    },
    {
      "type": "modify",
      "old_id": "3091baeda652cf0f75d223c33373e75c47716532",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Array/InsertionSort.lean",
      "new_id": "ac6c03484746a957fb9fed0aab19a49b6d02c2a6",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Array/InsertionSort.lean"
    },
    {
      "type": "modify",
      "old_id": "a15b3bf935c238d65a1ebd17b696a98f8f36647a",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Nat/BEq.lean",
      "new_id": "d231c5bfc65ae9fe91a260c566f9e071505aa73d",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Nat/BEq.lean"
    }
  ]
}