)]}'
{
  "id": "87f9c14b34647eaa961b378486fb1892e8c135cd",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "8aa519cd41ce0693a92100fb08169b48a7519746",
      "name": "BUILD"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b0a1221107e7f9fee701638a0df61abaa67f1576",
      "name": "README.md"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "05e560d937969a19df034f78e2e90fbd0e6de1d1",
      "name": "formal_methods"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "744a9025e9f0f439d205c9f15c831ff7d05d1c29",
      "name": "inference"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "2352407054c42ce0f5aac690c07ef0cc8d0fc05b",
      "name": "pointer_nullability.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9a7fa01ce109a18d4cf70a1052cfb4033c5c0fb4",
      "name": "pointer_nullability.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a2f969001f0adde5699b9bf4c557d9e002907704",
      "name": "pointer_nullability_analysis.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0b88497eadebba7c4f1bc36a297e1658c639a27c",
      "name": "pointer_nullability_analysis.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "962216f1a5dbc51452cbad65cc8850a7d70af073",
      "name": "pointer_nullability_diagnosis.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "57cf6a15b3dedb43eeeb2c732ab58b7aed0437e1",
      "name": "pointer_nullability_diagnosis.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "01642676361767ff35cb4e7a9611e5ea62f97956",
      "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": "99a5b61b5778a2097278115f18a8a75305c36e18",
      "name": "test"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7493e8daede614324a5c848da689953deea3768b",
      "name": "type_nullability.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "031d8218f24f9c512399b2b1c01ed89ac9c4d20b",
      "name": "type_nullability.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "844f27d53b732a690aa8b58fc3077600719e3ea3",
      "name": "type_nullability_test.cc"
    }
  ]
}