)]}'
{
  "commit": "fa39a95c90cc631048771341356d663266862523",
  "tree": "562e47c1f2bb94bc05126ee301b6e3f22aa1b1d9",
  "parents": [
    "d16f7143576d0d0a9770a944ae46602c0c142716"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Jul 14 22:49:40 2026 +0000"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Jul 14 22:49:40 2026 +0000"
  },
  "message": "feat: add the `liaSteps` configuration option to `grind`\n\nThis PR adds a new `liaSteps` configuration option to `grind`.\nThe motivation is to quickly interrupt the search for hard linear integer arithmetic problems.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "7e878cebd7a40ac9c94b37a68079485cd40aa019",
      "old_mode": 33188,
      "old_path": "src/Init/Grind/Config.lean",
      "new_id": "39c9ee5b08594f1bed4fdeea09cb995f3187d2a5",
      "new_mode": 33188,
      "new_path": "src/Init/Grind/Config.lean"
    },
    {
      "type": "modify",
      "old_id": "3fdb2ee9064a50fd03dcaebaff3442b1c1e698d7",
      "old_mode": 33188,
      "old_path": "src/Init/Grind/Tactics.lean",
      "new_id": "811f890424224ec32ffc7f808e77dbb632f51ca8",
      "new_mode": 33188,
      "new_path": "src/Init/Grind/Tactics.lean"
    },
    {
      "type": "modify",
      "old_id": "3998b1652b0bc4a3d780013765c9c254f3241c34",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Arith/Cutsat/Search.lean",
      "new_id": "406b2fd17976e810aa68e4962d194e597daaf13f",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Arith/Cutsat/Search.lean"
    },
    {
      "type": "modify",
      "old_id": "cb7d02c83a1b08e1aa0264fbc19dfdc119c72438",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Arith/Cutsat/SearchM.lean",
      "new_id": "e156a266b2c9b7661e605e7f04bf8a7b4e6a39e9",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Arith/Cutsat/SearchM.lean"
    },
    {
      "type": "modify",
      "old_id": "03ce1a8f569ae20fc19775d2e1b25aa636f2b901",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Arith/Cutsat/Types.lean",
      "new_id": "e9fb4e37a45cef9b4b19668870832e192994fbcc",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Arith/Cutsat/Types.lean"
    },
    {
      "type": "modify",
      "old_id": "095c506987b176a6b38bd3cc2b9aaceb42b58c5d",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/PP.lean",
      "new_id": "74b39f5654eb482791f48bb75ffcd638214ef1b7",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/PP.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "cd8fdcf857bee8e988aed09f0666a02c6c7f0e75",
      "new_mode": 33188,
      "new_path": "tests/elab/grind_cutsat_lia_steps.lean"
    }
  ]
}