)]}'
{
  "commit": "02c45a757768064a64a670756cdba69d8c08931a",
  "tree": "67417d5032257ba90d74b4ecc2f2b056e5520df0",
  "parents": [
    "86ca8e32c691c7589f36c77c34f30f786814f3d1"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Feb 27 20:18:51 2024 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Feb 27 21:37:22 2024 -0800"
  },
  "message": "feat: add option `tactic.skipAssignedInstances :\u003d true` for backward compatibility\n\nWhen using `set_option tactic.skipAssignedInstances false`, `simp` and\n`rw` will synthesize instance implicit arguments even if they have\nassigned by unification. If the synthesized argument does not match\nthe assigned one the rewrite is not performed. This option has been\nadded for backward compatibility.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "1ef19af3891b3c5fde075d403060bfa44f529958",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Rewrite.lean",
      "new_id": "f104f9256561298d59405386846d5ade273585eb",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Rewrite.lean"
    },
    {
      "type": "modify",
      "old_id": "9ccfb76834fbdd0f7e3c5b8beb4fd518b49986c8",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Simp/Main.lean",
      "new_id": "dbd0f5c00250f30af821a41661739f95b22811a9",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Simp/Main.lean"
    },
    {
      "type": "modify",
      "old_id": "3a9067f7dde6f6a822e8940f0684cad1cf1f05d7",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Simp/Rewrite.lean",
      "new_id": "08baf1b86de69078929bc14a01f3b837e482dedf",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Simp/Rewrite.lean"
    },
    {
      "type": "modify",
      "old_id": "8d74f7dd8feddb2b79fa324cec9369584b943c04",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Simp/Simproc.lean",
      "new_id": "d5b62491f08a16b8770d0d42685abae548145bd4",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Simp/Simproc.lean"
    },
    {
      "type": "modify",
      "old_id": "cbc0aae689ba62cec24c1237435ae202ad1065e7",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Util.lean",
      "new_id": "c95ad6b34f34b97b2247732ef85a070d2c7a0108",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Util.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "6bdfecfed034e4ffed8fcbdfe84725872828b5e6",
      "new_mode": 33188,
      "new_path": "tests/lean/run/skipAssignedInstances.lean"
    }
  ]
}