)]}'
{
  "id": "2940d625ce0cb1e1e3827d20a1c2e3552c1f66f2",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "55e37e0c04009575ffceaa915b25adb864b96d26",
      "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": "1ba7b90c724afb497e6f8d8cd1f3b708f0987aa5",
      "name": "inference"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "188fc41f83db640c154c3dfe7ca72be2b380c647",
      "name": "pointer_nullability.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1abb4754712953355a43e46cd13467185507c7f8",
      "name": "pointer_nullability.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3964d1cf28eab2b37ec6269b1c7edd048be8d221",
      "name": "pointer_nullability_analysis.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "73d8cd1d15258309c095ac7e410cfa087467752e",
      "name": "pointer_nullability_analysis.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f3467a91ec976a1b25743008905e884a885d918e",
      "name": "pointer_nullability_analysis_test.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a126812e946cb880b403bc1ca415e47899dfc285",
      "name": "pointer_nullability_diagnosis.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e5eb93146c9a0604bed25f5a9ede1b25798ade5e",
      "name": "pointer_nullability_diagnosis.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e8e02269492cd9255e15bf786a014eb94c7c5156",
      "name": "pointer_nullability_lattice.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0b5ef0c4b0286c7b094dfd1f84774f13bbc4a9f8",
      "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": 33188,
      "type": "blob",
      "id": "4a94944cc2de1dd04a5181bfaec4e08c9cba75aa",
      "name": "proto_matchers.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0e63a5f002f90f3b4a9451f05b8a4e271c7e7339",
      "name": "proto_matchers.h"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "9c096dbb35f47fd0375316d803c5387cec2e32a5",
      "name": "test"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e3762cf0d48db728d0cded313569a0e65a63a669",
      "name": "type_nullability.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "55ba0e00fcecc269af2c73fd7107bd4fe1b389ca",
      "name": "type_nullability.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f10f2fc034b661cb308b4f19e73517069b234237",
      "name": "type_nullability_test.cc"
    }
  ]
}