)]}'
{
  "id": "3b442f8c94b7c164918dbbd715ba0ff69f4d330e",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "3c2eb9f300ad85e11137c951f3919632853f6913",
      "name": "BUILD"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b0a1221107e7f9fee701638a0df61abaa67f1576",
      "name": "README.md"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "4db4af38e7aa969670fbe8b72f79d36702318878",
      "name": "formal_methods"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "7d5b31206acc4412a28d42f444ce6ef970d4c27d",
      "name": "inference"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9726f1cf4244f139b728ed4a790f21348309e428",
      "name": "pointer_nullability.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "73c7daf8005752cc6b580b9c6c8e6cc980b889c0",
      "name": "pointer_nullability.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "20393ac47052d4b2d977f1a86fbd8631fc5ca5af",
      "name": "pointer_nullability_analysis.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "81d2bb98045a6cc52bc8bc55f65d60721b7b4c3f",
      "name": "pointer_nullability_analysis.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8c4d8aa7bda9558d2366e35337b3b4c95c761c56",
      "name": "pointer_nullability_analysis_test.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ede4bb9486913e8e8cb0558d155eb2da0095e120",
      "name": "pointer_nullability_diagnosis.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "57cf6a15b3dedb43eeeb2c732ab58b7aed0437e1",
      "name": "pointer_nullability_diagnosis.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "407d785df10bc318f87b0d9d18cdacf6352b0e0b",
      "name": "pointer_nullability_lattice.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e2416c5885c6b42ceaa8720a2108badc7fb74c0c",
      "name": "pointer_nullability_matchers.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "353bbe891ce9533f61461089dcd621b93fc7c430",
      "name": "pointer_nullability_matchers.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "82fb128c2ea309071648a25293419dfe8823406a",
      "name": "pointer_nullability_test.cc"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "8a757fb8b67b0fa57395f0e587318e6ff1307227",
      "name": "test"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "caf312f148eff43d8cec2c78dc33c6b4a5616c71",
      "name": "type_nullability.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3a12dbf1c48cc872d3f5706dcefc67549bcb09e6",
      "name": "type_nullability.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "adf672d58f4f768fab3b4fe03944ac600cbfce41",
      "name": "type_nullability_test.cc"
    }
  ]
}