)]}'
{
  "commit": "aabb75081cbfdd862ff6e0e7195a7a9259d84f13",
  "tree": "f563cf53e880413a5ea3dc5f76771352fdc892e4",
  "parents": [
    "eb9ffb43fee4441b4c42c879960a411d22a069ef"
  ],
  "author": {
    "name": "Andreas Rossberg",
    "email": "rossberg@mpi-sws.org",
    "time": "Tue Jun 09 15:13:15 2026"
  },
  "committer": {
    "name": "Andreas Rossberg",
    "email": "rossberg@mpi-sws.org",
    "time": "Tue Jun 09 15:13:15 2026"
  },
  "message": "[spectec] Distinguish snf, dnf, cnf marks\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "f00345c55d0579a03b9bdd9176618f4495b531ba",
      "old_mode": 33188,
      "old_path": "spectec/src/il/eval.ml",
      "new_id": "8a57d2f892b74214c741f2a16ba5c4ff2a8ed936",
      "new_mode": 33188,
      "new_path": "spectec/src/il/eval.ml"
    },
    {
      "type": "modify",
      "old_id": "a4a013aa533c4e915383d724c4a247512fd7f88d",
      "old_mode": 33188,
      "old_path": "spectec/src/il/subst.ml",
      "new_id": "f3e3ce82671d16412b5548aca4d2a8f937e2a93c",
      "new_mode": 33188,
      "new_path": "spectec/src/il/subst.ml"
    },
    {
      "type": "modify",
      "old_id": "3181c72dd78861015eb0831e430ad9ff62788bb9",
      "old_mode": 33188,
      "old_path": "spectec/src/util/source.ml",
      "new_id": "e7693698014fd5f0760096a9ef5cce17db5e1246",
      "new_mode": 33188,
      "new_path": "spectec/src/util/source.ml"
    },
    {
      "type": "modify",
      "old_id": "b317c6b3c7de76cdcfdc31792591cdc637033676",
      "old_mode": 33188,
      "old_path": "spectec/src/util/source.mli",
      "new_id": "fefb01f719b81ab40847c7889a9a14ad9738b113",
      "new_mode": 33188,
      "new_path": "spectec/src/util/source.mli"
    }
  ]
}