)]}'
{
  "commit": "d2176c36a1745d64ba948b68247cef2ae16f2efc",
  "tree": "48f176f4638a446c76001c9b7f019773ab415019",
  "parents": [
    "286fac035a998958bdcd80b93fa8793f562d1216"
  ],
  "author": {
    "name": "Michalis Kokologiannakis",
    "email": "mixaskok@gmail.com",
    "time": "Fri Nov 28 17:22:32 2025 +0100"
  },
  "committer": {
    "name": "Michalis Kokologiannakis",
    "email": "mixaskok@gmail.com",
    "time": "Sat Nov 29 10:54:15 2025 +0100"
  },
  "message": "genmc/api: Don\u0027t use macros for mutex state\n\nUse scoped constexprs instead.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "3220e03cef9babd6f8635559fc2cebacc5169843",
      "old_mode": 33188,
      "old_path": "src/tools/miri/genmc-sys/cpp/src/MiriInterface/Exploration.cpp",
      "new_id": "91eaf9be8e9bef01158cb440304dbe163cba3244",
      "new_mode": 33188,
      "new_path": "src/tools/miri/genmc-sys/cpp/src/MiriInterface/Exploration.cpp"
    }
  ]
}