)]}'
{
  "commit": "50eeb79e7ed6ff485a060595f4be60aebb0b01e9",
  "tree": "ce96215d43c48dc11201fa47a9219d47b4c4952a",
  "parents": [
    "5d9552d66c0caebf54c722d6512cb6516318289c"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Feb 19 14:47:59 2024 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Feb 19 14:49:34 2024 -0800"
  },
  "message": "feat: add simproc for `BitVec.signExtend`\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "73d3ea54b6cc3bc2c50dd86229400c17b76ec2b7",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Simp/BuiltinSimprocs/BitVec.lean",
      "new_id": "72946990dbc5d9408a05c96612ba515f4025f3f9",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Simp/BuiltinSimprocs/BitVec.lean"
    },
    {
      "type": "modify",
      "old_id": "613b3729240b4e74369b4bbfaf875b053cbdf802",
      "old_mode": 33188,
      "old_path": "tests/lean/run/bitvec_simproc.lean",
      "new_id": "465a0ed21f5e2fd291a455309e75e9e9b68d4582",
      "new_mode": 33188,
      "new_path": "tests/lean/run/bitvec_simproc.lean"
    }
  ]
}