)]}'
{
  "commit": "6ccf075abd093bd9c71822962bfb77d9b985c2b9",
  "tree": "d58f877cb5293fb538a06aacd5c685e6ef5bd979",
  "parents": [
    "04de79c8090664a7db958893e2e526024e571ede"
  ],
  "author": {
    "name": "Øyvind Harboe",
    "email": "oyvind.harboe@zylin.com",
    "time": "Thu Aug 27 17:07:43 2026 +0200"
  },
  "committer": {
    "name": "GitHub",
    "email": "noreply@github.com",
    "time": "Thu Aug 27 08:07:43 2026 -0700"
  },
  "message": "abc@0.68-yosyshq (#10250)\n\nAdds `abc 0.68-yosyshq` — the abc revision `YosysHQ/yosys` v0.68 pins as\nits `abc` submodule (`2a9e9c2a`), published by YosysHQ as tag `v0.68`.\n\nPairs with #PLACEHOLDER (`yosys@0.68`). The registry currently has `abc\n0.65-yosyshq` as its newest, which is ahead of the newest `yosys` (0.64)\n— this restores the pairing at 0.68.\n\n## Changes vs 0.65-yosyshq\n\nOverlay `BUILD.bazel` source lists updated for the five files added\nbetween abc v0.65 and v0.68 (nothing was removed):\n\n- `src/base/abci/abcRmInverters.c`\n- `src/proof/cec/cecCorr2.c`\n- `src/proof/cec/cecCorrCert.c`\n- `src/proof/cec/cecCorrDyn.c`\n- `src/proof/cec/cecCorrIncrSim.c`\n\nEverything else is a version/integrity bump.\n\n## Testing\n\nBuilt and exercised together with `yosys@0.68` through the full\nOpenROAD-flow-scripts / bazel-orfs test suite (121 tests: synthesis,\nplace \u0026 route, macro abstracts, the slang frontend) on x86_64 Linux with\na hermetic LLVM toolchain. All green.",
  "tree_diff": [
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "2791280161048705116b321178d513c5f50fd60c",
      "new_mode": 33188,
      "new_path": "modules/abc/0.68-yosyshq/MODULE.bazel"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "beed3fa968fd7691191c4e0b2a5d2a20f4a392a0",
      "new_mode": 33188,
      "new_path": "modules/abc/0.68-yosyshq/overlay/BUILD.bazel"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "2791280161048705116b321178d513c5f50fd60c",
      "new_mode": 33188,
      "new_path": "modules/abc/0.68-yosyshq/overlay/MODULE.bazel"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "9903743bc702e00e06b188b953e0e927c405f1f8",
      "new_mode": 33188,
      "new_path": "modules/abc/0.68-yosyshq/presubmit.yml"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "bb4d5bf8ff16dd6b8184a9beb496d6cb65dc55d2",
      "new_mode": 33188,
      "new_path": "modules/abc/0.68-yosyshq/source.json"
    },
    {
      "type": "modify",
      "old_id": "cd18ffd91702a5ba4753527c8ea64b34be69a283",
      "old_mode": 33188,
      "old_path": "modules/abc/metadata.json",
      "new_id": "0c36d74e5b3d353214a8dbe95c2ecc7ac627718d",
      "new_mode": 33188,
      "new_path": "modules/abc/metadata.json"
    }
  ]
}