)]}'
{
  "commit": "e74ad1d44ea9e65b7260245f52af8f214f5ede8f",
  "tree": "446351433af571e9567a7a4213224bf658fa838e",
  "parents": [
    "65db2fb16f88790346499ebf986f2c54b992929b"
  ],
  "author": {
    "name": "Andreas Rossberg",
    "email": "rossberg@mpi-sws.org",
    "time": "Tue May 26 10:59:50 2026"
  },
  "committer": {
    "name": "Andreas Rossberg",
    "email": "rossberg@mpi-sws.org",
    "time": "Tue Jun 02 14:39:45 2026"
  },
  "message": "Track valueness for intro forms\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "cc59c346abc1d217793cace4c98e7ddf26533141",
      "old_mode": 33188,
      "old_path": "spectec/doc/semantics/il/5-reduction.spectec",
      "new_id": "ebe9a64a8818de8444d32812af2f365d88842648",
      "new_mode": 33188,
      "new_path": "spectec/doc/semantics/il/5-reduction.spectec"
    },
    {
      "type": "modify",
      "old_id": "47696cfd02f2aaf526843b61430117c6697d0b6f",
      "old_mode": 33188,
      "old_path": "spectec/src/backend-ast/print.ml",
      "new_id": "b5e0535163e486a3208ebbe67712f5948df1981e",
      "new_mode": 33188,
      "new_path": "spectec/src/backend-ast/print.ml"
    },
    {
      "type": "modify",
      "old_id": "f5ae1da69a9f93bcf6555e202e720c5acddb575e",
      "old_mode": 33188,
      "old_path": "spectec/src/frontend/det.ml",
      "new_id": "716fd30c19c950f2dc3c9344a662f2b44cbd0abf",
      "new_mode": 33188,
      "new_path": "spectec/src/frontend/det.ml"
    },
    {
      "type": "modify",
      "old_id": "f1009899490c492810bc5772ced8703632f2f05b",
      "old_mode": 33188,
      "old_path": "spectec/src/frontend/dim.ml",
      "new_id": "be08e394cae1eee633dbe6b4ad0f5fa86dab3846",
      "new_mode": 33188,
      "new_path": "spectec/src/frontend/dim.ml"
    },
    {
      "type": "modify",
      "old_id": "23e03b80c0954b8a4650d6832f5618d4861d06ae",
      "old_mode": 33188,
      "old_path": "spectec/src/frontend/elab.ml",
      "new_id": "bdb48da851040ea8873e491da987c8f2dedfad29",
      "new_mode": 33188,
      "new_path": "spectec/src/frontend/elab.ml"
    },
    {
      "type": "modify",
      "old_id": "c1f545019f7d9043c0cca758368bac12f72ffbac",
      "old_mode": 33188,
      "old_path": "spectec/src/il/ast.ml",
      "new_id": "ea8604c470e24128374e09ad3c12c0178b06d4eb",
      "new_mode": 33188,
      "new_path": "spectec/src/il/ast.ml"
    },
    {
      "type": "modify",
      "old_id": "804fb9d7ba8d0d452d1ff02eb08843b10c740256",
      "old_mode": 33188,
      "old_path": "spectec/src/il/eq.ml",
      "new_id": "0883605755485ed02788858f63ce417d0a43c11c",
      "new_mode": 33188,
      "new_path": "spectec/src/il/eq.ml"
    },
    {
      "type": "modify",
      "old_id": "6fb555298d0aa436ed267d0b133aa849f695c7c3",
      "old_mode": 33188,
      "old_path": "spectec/src/il/eval.ml",
      "new_id": "2edf7cd2571b8138225d4d35f0a87049b0a9284b",
      "new_mode": 33188,
      "new_path": "spectec/src/il/eval.ml"
    },
    {
      "type": "modify",
      "old_id": "71c54bb2044dbc9d0a96ed7a81d807ae73d0c423",
      "old_mode": 33188,
      "old_path": "spectec/src/il/free.ml",
      "new_id": "fdedf437d0197a615db52d871e3570d7ba6b77f2",
      "new_mode": 33188,
      "new_path": "spectec/src/il/free.ml"
    },
    {
      "type": "modify",
      "old_id": "7b194b3d63fe202d3bf3cf741efecf2f8530ae7f",
      "old_mode": 33188,
      "old_path": "spectec/src/il/iter.ml",
      "new_id": "4ac970132245e8938e51075da0f39051961872ce",
      "new_mode": 33188,
      "new_path": "spectec/src/il/iter.ml"
    },
    {
      "type": "modify",
      "old_id": "110322ced96a1055dac00e384569bd287f37369d",
      "old_mode": 33188,
      "old_path": "spectec/src/il/print.ml",
      "new_id": "255bdb9473c87aea1692d72442bf4d1e9013ea6d",
      "new_mode": 33188,
      "new_path": "spectec/src/il/print.ml"
    },
    {
      "type": "modify",
      "old_id": "d73b4ecd3aee4e11d612b99b61d9ed4db1073c36",
      "old_mode": 33188,
      "old_path": "spectec/src/il/subst.ml",
      "new_id": "31dc1246b12bf83022facb5f9cef7917489e178f",
      "new_mode": 33188,
      "new_path": "spectec/src/il/subst.ml"
    },
    {
      "type": "modify",
      "old_id": "867b7688475d7b85e3be811af5e31034ac8d35c3",
      "old_mode": 33188,
      "old_path": "spectec/src/il/valid.ml",
      "new_id": "0075836c21a7e4ab0eb74e4677d90ce8fef1d901",
      "new_mode": 33188,
      "new_path": "spectec/src/il/valid.ml"
    },
    {
      "type": "modify",
      "old_id": "a37c25b92d0c2113f2b2a3431bf63a96299d2c89",
      "old_mode": 33188,
      "old_path": "spectec/src/il2al/animate.ml",
      "new_id": "54e1b49cef1ddca68f47d77896bfca23cae506a9",
      "new_mode": 33188,
      "new_path": "spectec/src/il2al/animate.ml"
    },
    {
      "type": "modify",
      "old_id": "2a938d2e3fd0109f4b09dbc8a784c4738a51bc7a",
      "old_mode": 33188,
      "old_path": "spectec/src/il2al/encode.ml",
      "new_id": "2dff35820ff29d87c09276c8d9170d7ae7bc4c90",
      "new_mode": 33188,
      "new_path": "spectec/src/il2al/encode.ml"
    },
    {
      "type": "modify",
      "old_id": "047306712f910bc3ec6ebdfb2bd04bb84e87398e",
      "old_mode": 33188,
      "old_path": "spectec/src/il2al/free.ml",
      "new_id": "d54c54c7976bf693629855defecb56d7d2f0a7f3",
      "new_mode": 33188,
      "new_path": "spectec/src/il2al/free.ml"
    },
    {
      "type": "modify",
      "old_id": "c46ec6b79af2f6524ca28d08b9e2af04f4004ec7",
      "old_mode": 33188,
      "old_path": "spectec/src/il2al/il2al_util.ml",
      "new_id": "b371fa151ff63a4f86bdc3fb60ee6a2d5d81fa4b",
      "new_mode": 33188,
      "new_path": "spectec/src/il2al/il2al_util.ml"
    },
    {
      "type": "modify",
      "old_id": "0b428106970be1e676de381cc5a7feeb6d628345",
      "old_mode": 33188,
      "old_path": "spectec/src/il2al/il_walk.ml",
      "new_id": "203cfab6ee2496c796e46f8ec4c14207a517c05b",
      "new_mode": 33188,
      "new_path": "spectec/src/il2al/il_walk.ml"
    },
    {
      "type": "modify",
      "old_id": "42f3a95a7ebc32bd6b20353ff23c747674e17ecf",
      "old_mode": 33188,
      "old_path": "spectec/src/il2al/translate.ml",
      "new_id": "a92690a705bdfa0b5fe3c768c9243dcb51ec77b9",
      "new_mode": 33188,
      "new_path": "spectec/src/il2al/translate.ml"
    },
    {
      "type": "modify",
      "old_id": "84b56ce8a8315b42230f65ec9fff6141cdd4a7da",
      "old_mode": 33188,
      "old_path": "spectec/src/il2al/unify.ml",
      "new_id": "b34d56c278b9237029fb1a682ee993f8b4902bde",
      "new_mode": 33188,
      "new_path": "spectec/src/il2al/unify.ml"
    },
    {
      "type": "modify",
      "old_id": "a5596b38af598592d6855b976316e7ce376246dc",
      "old_mode": 33188,
      "old_path": "spectec/src/middlend/sideconditions.ml",
      "new_id": "cf54bfaa267ee29952410df3a78e2afb1641d848",
      "new_mode": 33188,
      "new_path": "spectec/src/middlend/sideconditions.ml"
    },
    {
      "type": "modify",
      "old_id": "38dcc24ca244ba27334296639f915c9492a6d559",
      "old_mode": 33188,
      "old_path": "spectec/src/middlend/sub.ml",
      "new_id": "6a4910431819af59fcd4622a3f83f9f4fecbb74b",
      "new_mode": 33188,
      "new_path": "spectec/src/middlend/sub.ml"
    },
    {
      "type": "modify",
      "old_id": "feb8e5ee9845275b8a2e9955a21e98078a638a73",
      "old_mode": 33188,
      "old_path": "spectec/src/middlend/totalize.ml",
      "new_id": "6a4e5435808b5d4a1d399fe86d9fd1f5765cf68d",
      "new_mode": 33188,
      "new_path": "spectec/src/middlend/totalize.ml"
    },
    {
      "type": "modify",
      "old_id": "015d1bc15c2c085a4eb101ffcbf71ff596462688",
      "old_mode": 33188,
      "old_path": "spectec/src/middlend/unthe.ml",
      "new_id": "82e395cdd77eff4091b44441acf6cbf504935998",
      "new_mode": 33188,
      "new_path": "spectec/src/middlend/unthe.ml"
    },
    {
      "type": "modify",
      "old_id": "d80d358e9cab28f446c41837d10ce87b5fc71e2f",
      "old_mode": 33188,
      "old_path": "spectec/src/util/debug_log.ml",
      "new_id": "44db964dbac279c5158b3d792dc387b829200ddd",
      "new_mode": 33188,
      "new_path": "spectec/src/util/debug_log.ml"
    }
  ]
}