)]}'
{
  "commit": "7abade274c94fd0ca15cfa173751e25d2c226b89",
  "tree": "9716d68c4694cd04d54e536162d750267d011110",
  "parents": [
    "95dffb694caa11c3663203f2756dda9bf24c2021"
  ],
  "author": {
    "name": "Andreas Rossberg",
    "email": "rossberg@mpi-sws.org",
    "time": "Wed Sep 09 09:04:03 2026"
  },
  "committer": {
    "name": "Andreas Rossberg",
    "email": "rossberg@mpi-sws.org",
    "time": "Wed Sep 09 09:04:03 2026"
  },
  "message": "[spectec] Backport missing instantiation checks to Wasm 1.0/2.0 specs\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "d924605e41cf5124ed6defd8c46245723a7d425d",
      "old_mode": 33188,
      "old_path": "specification/wasm-1.0/0-aux.spectec",
      "new_id": "2c703f087025d9c9aaba41c580d941d544570920",
      "new_mode": 33188,
      "new_path": "specification/wasm-1.0/0-aux.spectec"
    },
    {
      "type": "modify",
      "old_id": "93af4980529288274e8b10fcaa4c09b0351ebc40",
      "old_mode": 33188,
      "old_path": "specification/wasm-1.0/6-typing.spectec",
      "new_id": "92d91c477781af89b348fc22031777d0e3f7b63f",
      "new_mode": 33188,
      "new_path": "specification/wasm-1.0/6-typing.spectec"
    },
    {
      "type": "modify",
      "old_id": "d6edf3fd51094444fe1de17ef3c19166a7361689",
      "old_mode": 33188,
      "old_path": "specification/wasm-1.0/9-module.spectec",
      "new_id": "52191e6a30f0083cf4f775453a551ff673187e19",
      "new_mode": 33188,
      "new_path": "specification/wasm-1.0/9-module.spectec"
    },
    {
      "type": "modify",
      "old_id": "68e9301757694b758653d9822a4439f877e18fff",
      "old_mode": 33188,
      "old_path": "specification/wasm-2.0/0-aux.spectec",
      "new_id": "6a8033d388a847308d21e9ae574be63ebc50d7bf",
      "new_mode": 33188,
      "new_path": "specification/wasm-2.0/0-aux.spectec"
    },
    {
      "type": "modify",
      "old_id": "20782f74a7f03cac3faa1bc723193d723c796dd0",
      "old_mode": 33188,
      "old_path": "specification/wasm-2.0/6-typing.spectec",
      "new_id": "4c77d1cc6332c7828d39aec8874ff89fd735e0f8",
      "new_mode": 33188,
      "new_path": "specification/wasm-2.0/6-typing.spectec"
    },
    {
      "type": "modify",
      "old_id": "e456fc0a17422ef6af21ac92383425ca8966c66f",
      "old_mode": 33188,
      "old_path": "specification/wasm-2.0/9-module.spectec",
      "new_id": "f05cf7e177fb20d553736caf652cdc3a43824d63",
      "new_mode": 33188,
      "new_path": "specification/wasm-2.0/9-module.spectec"
    },
    {
      "type": "modify",
      "old_id": "fe8a5cd32c7e5b9df5c6100a62cd6efebaf70d29",
      "old_mode": 33188,
      "old_path": "spectec/src/backend-interpreter/relation.ml",
      "new_id": "b1151ac5cb2c495f83269ad69cbc3d93fdbd61d1",
      "new_mode": 33188,
      "new_path": "spectec/src/backend-interpreter/relation.ml"
    }
  ]
}