)]}'
{
  "commit": "851562e7b74fc0ef2caee3a934de53c2aa9410a7",
  "tree": "b20ecc7bfa962b80817838991e5f2e5ea4e011ee",
  "parents": [
    "ecbaeff24b2cb36d5c218f4ed6c92d6d55524048"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Fri Nov 15 15:52:21 2024 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Fri Nov 15 15:52:21 2024 -0800"
  },
  "message": "chore: naming convention and `NaN` normalization\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "f8e384b5e2c1e788a136d80a485b0525bafc01d0",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Float.lean",
      "new_id": "3cdae65126ef62169a1fc123324d29632b866df7",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Float.lean"
    },
    {
      "type": "modify",
      "old_id": "fb093d76df772f107dd2eecf0fb1f431d9fa3c5b",
      "old_mode": 33188,
      "old_path": "src/include/lean/lean.h",
      "new_id": "51e8984b8324f9acb227283b00eaf6b108355fdb",
      "new_mode": 33188,
      "new_path": "src/include/lean/lean.h"
    },
    {
      "type": "modify",
      "old_id": "2634445fed9dd45a2d28e40592e5959f55006a97",
      "old_mode": 33188,
      "old_path": "src/runtime/object.cpp",
      "new_id": "9921c3db958d10cdf2b97e7a7c574d7fe9501174",
      "new_mode": 33188,
      "new_path": "src/runtime/object.cpp"
    },
    {
      "type": "modify",
      "old_id": "1904df8fd1babf93e6a33aef6c0805ce0466c877",
      "old_mode": 33188,
      "old_path": "tests/lean/run/floatBits.lean",
      "new_id": "bcc5456e61f2bf3d2826ad0778efff8a6227f351",
      "new_mode": 33188,
      "new_path": "tests/lean/run/floatBits.lean"
    }
  ]
}