)]}'
{
  "commit": "63cee320901bde59f373ceab0bb69703099edfbd",
  "tree": "41599fe19f7780d27a8d2608cdf501f1326af9af",
  "parents": [
    "7d92fd10f7b1b56ad39e9a80c7e08af1fe58672b"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Jun 04 20:57:14 2024 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Jun 04 21:26:59 2024 -0700"
  },
  "message": "fix: ensure stage2 can be built\n\n`split` now generates the more meaningful `isTrue` and `isFalse` tag\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "ffae0489a5bb565cc556a5bec30cca479d446071",
      "old_mode": 33188,
      "old_path": "src/Init/Data/AC.lean",
      "new_id": "0f7c240c43a1f23794648e04914e786201704689",
      "new_mode": 33188,
      "new_path": "src/Init/Data/AC.lean"
    },
    {
      "type": "modify",
      "old_id": "5ca1b8cf481812f02b3b515b15a4347fc3ac0f36",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Array/DecidableEq.lean",
      "new_id": "7927202f4d0faa1a8462bf834f52f2724b5a2b87",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Array/DecidableEq.lean"
    },
    {
      "type": "modify",
      "old_id": "27398f82002bfc1601dd15b6772066acd5598e8e",
      "old_mode": 33188,
      "old_path": "src/Init/Data/BitVec/Lemmas.lean",
      "new_id": "be6b55ec89ca2a367b920c9b5edee6017431134f",
      "new_mode": 33188,
      "new_path": "src/Init/Data/BitVec/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "a86717a575e0b6d57b8166a062e0fdb76b062f88",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Int/DivModLemmas.lean",
      "new_id": "be5fef7131e471a3861facb8955ec34bf6c4636f",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Int/DivModLemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "c1b76378fef3a51b44fb9729bc0ffbba66583a9d",
      "old_mode": 33188,
      "old_path": "src/Init/System/IO.lean",
      "new_id": "7071b16a6589a42d32a898cce2da0a375edd95d9",
      "new_mode": 33188,
      "new_path": "src/Init/System/IO.lean"
    },
    {
      "type": "modify",
      "old_id": "a1259644420c8c67c1f1e5ec49b7c10f7bdbcb39",
      "old_mode": 33188,
      "old_path": "src/lake/Lake/Util/Compare.lean",
      "new_id": "d0fab1a62a1d5b61faaf0b077c2e8c07ffcc9a42",
      "new_mode": 33188,
      "new_path": "src/lake/Lake/Util/Compare.lean"
    },
    {
      "type": "modify",
      "old_id": "d2f76fb1e321a51ccc3c941072a63fc7a99ec6ab",
      "old_mode": 33188,
      "old_path": "tests/lean/run/4313.lean",
      "new_id": "7f205360813b58b7edd700792583b40f30a93aa5",
      "new_mode": 33188,
      "new_path": "tests/lean/run/4313.lean"
    }
  ]
}