)]}'
{
  "commit": "204d6d446bd6c52a889eb3645f61f51807f9f569",
  "tree": "55aab290f2113daf0483b4532225112ba947e237",
  "parents": [
    "78b941019b22af8cedab1f7fa4fd4041cb2c4daa"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Aug 04 08:11:01 2025 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Aug 04 08:11:01 2025 -0700"
  },
  "message": "perf: `Expr.toPoly` in `grind`\n\nThis PR adds a version of `CommRing.Expr.toPoly` optimized for kernel\nreduction. We use this function not only to implement `grind ring`,\nbut also to interface the ring module with `grind cutsat`.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "15d841580320e43934f192201c86b6cd2e58ea18",
      "old_mode": 33188,
      "old_path": "src/Init/Grind/Ring/Poly.lean",
      "new_id": "50a88cef12ca1287cf5ba22c97cc65cb7e72795e",
      "new_mode": 33188,
      "new_path": "src/Init/Grind/Ring/Poly.lean"
    },
    {
      "type": "modify",
      "old_id": "84929553ed2a4ad33d51ae9962c2e76e7fbc9c68",
      "old_mode": 33188,
      "old_path": "tests/lean/grind/algebra/omega.lean",
      "new_id": "f2205e03c6450e017954986ebfa3863028ce0ad5",
      "new_mode": 33188,
      "new_path": "tests/lean/grind/algebra/omega.lean"
    }
  ]
}