)]}'
{
  "commit": "8cbaa1cd30fae02a01a63fb5b90bff182356a4d8",
  "tree": "8212d4abbd1cc2b2ecafeedfea899e54f856cd7b",
  "parents": [
    "a6830f90ab365e14ccb7ca31201de37f8c1e978c"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sun Sep 22 17:40:55 2024 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sun Sep 22 17:51:43 2024 -0700"
  },
  "message": "fix: must not reduce `ite` in the discriminant of match-expression when reducibility setting is `.reducible`\n\ncloses #5388\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "eace1b7bba449601f5d9d0989567efe6ffe40135",
      "old_mode": 33188,
      "old_path": "src/Init/GetElem.lean",
      "new_id": "fc4b0604025417780442af21768410cb9dd41591",
      "new_mode": 33188,
      "new_path": "src/Init/GetElem.lean"
    },
    {
      "type": "modify",
      "old_id": "f1c79159346f5f0206a776dd42845692e95be71d",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/WHNF.lean",
      "new_id": "d2637d8e754b20c11f93d52c648f2c668b8dd0e0",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/WHNF.lean"
    },
    {
      "type": "modify",
      "old_id": "c5c2bb088f269cd1857a343ef0bad6759ad7132a",
      "old_mode": 33188,
      "old_path": "src/Std/Tactic/BVDecide/LRAT/Internal/Formula/RupAddResult.lean",
      "new_id": "07d468f586dd51456f5eb00e02a4602fab5e202a",
      "new_mode": 33188,
      "new_path": "src/Std/Tactic/BVDecide/LRAT/Internal/Formula/RupAddResult.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "3de0134e451cfe881f91e8192d3242a222f2c9d4",
      "new_mode": 33188,
      "new_path": "tests/lean/run/5388.lean"
    },
    {
      "type": "modify",
      "old_id": "1aa90c78f7e626926e0454c033734d4b3d782e5e",
      "old_mode": 33188,
      "old_path": "tests/lean/run/bv_math_lit_perf.lean",
      "new_id": "796029e27bb45e609ec8654494c7333f25ec855d",
      "new_mode": 33188,
      "new_path": "tests/lean/run/bv_math_lit_perf.lean"
    }
  ]
}