)]}'
{
  "commit": "ba3547c1861846af37abc4f1889abdd8b32c5969",
  "tree": "9a9a57bb86407dff2099293e180f643477daa8e0",
  "parents": [
    "985600f4481040bf35be3679503864f25039036f"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Nov 12 17:24:39 2024 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Nov 12 18:06:43 2024 -0800"
  },
  "message": "refactor: mark the `Simp.Context` constructor as private\n\nmotivation: this is the first step to fix the mismatch\nbetween `isDefEq` and the discrimination tree indexing.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "f8acce7db9fa228659cf378e4e1231e9dd564697",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/PreDefinition/Nonrec/Eqns.lean",
      "new_id": "91c5f8f151c39d76da8312ed1557a5cc45086585",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/PreDefinition/Nonrec/Eqns.lean"
    },
    {
      "type": "modify",
      "old_id": "12ad3186afd0d0c01b74a0d9e31925ed9cba663d",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/PreDefinition/Structural/Eqns.lean",
      "new_id": "b3e039ae9fd6ceb0a455ed189a1fd999ec3811a2",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/PreDefinition/Structural/Eqns.lean"
    },
    {
      "type": "modify",
      "old_id": "36e9e9b380ca529f57a10ec84029fe0a92c84164",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/PreDefinition/WF/Eqns.lean",
      "new_id": "43c4f23b08bd9c3c1a7102e961fa95b559adeb66",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/PreDefinition/WF/Eqns.lean"
    },
    {
      "type": "modify",
      "old_id": "95451bb8061c031a5bffc0b205f0f5f60d9ed743",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Tactic/BVDecide/Frontend/Normalize.lean",
      "new_id": "7c496621fe791a6fd57f8b9ac6a18b24e15aa1ad",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Tactic/BVDecide/Frontend/Normalize.lean"
    },
    {
      "type": "modify",
      "old_id": "13f8cfef1ab247f34b48b5e62fa4044b42d7dc6f",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Tactic/Conv/Pattern.lean",
      "new_id": "7faba51f1e8b9b5b034c86f96653f2ec658b9df7",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Tactic/Conv/Pattern.lean"
    },
    {
      "type": "modify",
      "old_id": "e4e13c379c930d360f5730bf4ef8e3451ae11084",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Tactic/NormCast.lean",
      "new_id": "f27113cf9355e86850db5ed4df5071e39a75bcd6",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Tactic/NormCast.lean"
    },
    {
      "type": "modify",
      "old_id": "4a8b27d7f7e68213a0b90bbd077a2df7f258b0fe",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Tactic/Simp.lean",
      "new_id": "e69a07faf34262907d28851f5432645d21d8b414",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Tactic/Simp.lean"
    },
    {
      "type": "modify",
      "old_id": "40e38289610edf5aec7af1ebc7f4922673b18151",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Tactic/Simpa.lean",
      "new_id": "8ea869a52b5db64f2d0d33c40961497810d30224",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Tactic/Simpa.lean"
    },
    {
      "type": "modify",
      "old_id": "30362404e077bcbcff51bbc1e8ece6c2cee2c9c4",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/AC/Main.lean",
      "new_id": "a047a785b228f85573539f0fdf93ba4c3613e7b9",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/AC/Main.lean"
    },
    {
      "type": "modify",
      "old_id": "59ba3539685c6db475cf72e20b407a6b2914aa26",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Acyclic.lean",
      "new_id": "2770acec5fa2f2de5640253a1b5de65685a7ab9f",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Acyclic.lean"
    },
    {
      "type": "modify",
      "old_id": "0588a146ddd25bd6781e4cf4344ee995641dbb42",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Preprocessor.lean",
      "new_id": "dbbe33c5df777c46d008289739c849ecd8d52376",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Preprocessor.lean"
    },
    {
      "type": "modify",
      "old_id": "71a84b7f5843c2e39509aa63a84f1b70dd2516ba",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Simp/Attr.lean",
      "new_id": "f03bd6625e37ea9da2b0e211d4a2c3b129359631",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Simp/Attr.lean"
    },
    {
      "type": "modify",
      "old_id": "1bb9a68026c1e13dd192a26ef0501ba2f2c7d908",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Simp/Main.lean",
      "new_id": "a7928f3239f2df7e4e026cad6c48626327476ce9",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Simp/Main.lean"
    },
    {
      "type": "modify",
      "old_id": "c948bd2edb88a4eab9fd890f800f5870b8bc7b4e",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Simp/Rewrite.lean",
      "new_id": "f1376fc55e4453c3f4a4478c6968aefae695e764",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Simp/Rewrite.lean"
    },
    {
      "type": "modify",
      "old_id": "4a66231b065b9cd6b9beb6f89e9bf132d73d3187",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Simp/SimpAll.lean",
      "new_id": "9c904b5eb0fca612779c069daea5592c302f676c",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Simp/SimpAll.lean"
    },
    {
      "type": "modify",
      "old_id": "a3c1344065b0efa0c31020c7bf075d2d8003a9b0",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Simp/Types.lean",
      "new_id": "5eb059fac687c136fa36358dda94ff61fa2717e0",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Simp/Types.lean"
    },
    {
      "type": "modify",
      "old_id": "bd20c779acfdaec63fd9fb6278660fa9afb174cf",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Split.lean",
      "new_id": "0ebcda9ccc0f584e419e0807b04da5e697d643f3",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Split.lean"
    },
    {
      "type": "modify",
      "old_id": "d6a21e31495fd0a88b128e7f762bfba7b1b7bc90",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/SplitIf.lean",
      "new_id": "b1f6f7c11d7a73bf1e920f6edd88a3af8975cb9a",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/SplitIf.lean"
    },
    {
      "type": "modify",
      "old_id": "eb95630fbad675d349dc6069df2fff96f0698c67",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Unfold.lean",
      "new_id": "524819f8b9e1d88a7d149e947ad45c73d25f2591",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Unfold.lean"
    }
  ]
}