)]}'
{
  "id": "6cc61afd9758cba60b2af2d36d4799a823f94ffd",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "b645ae759df4795059ab9ca43af0c937a36aa923",
      "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": "9726f1cf4244f139b728ed4a790f21348309e428",
      "name": "pointer_nullability.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "73c7daf8005752cc6b580b9c6c8e6cc980b889c0",
      "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": "195b5e7a9eeaad0311580e696e8b300e6600f237",
      "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"
    }
  ]
}