)]}'
{
  "id": "0f5b4182fe4da8dc3290db6f75a622894d89942a",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "2d4e9c4a60f7fa3670bcdf0ff2edb33eeaa4a76a",
      "name": "BUILD"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b0a1221107e7f9fee701638a0df61abaa67f1576",
      "name": "README.md"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "203da5135eb75f7168e90b479ffa609632a68f44",
      "name": "formal_methods"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "0883c6aaf099b1be01517a8164bed7c5190620e7",
      "name": "inference"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "bff42e23aba2c1d90cde3492b22d4f1330893a2c",
      "name": "pointer_nullability.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "10ad9fba8c6c101aefc79a11f3d7cda40a23c494",
      "name": "pointer_nullability.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "36fef343d0382f4851dab587e6caecee68af6d69",
      "name": "pointer_nullability_analysis.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "73d8cd1d15258309c095ac7e410cfa087467752e",
      "name": "pointer_nullability_analysis.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8190d97e7cd3038f6f5d72ba446eba7e3a7a54da",
      "name": "pointer_nullability_analysis_test.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6456910b8d759640f4e8a0e3e06710d5a3696fc5",
      "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": "dda8929058faa9a69a2253f4f4d2a3c2ca0c0c3b",
      "name": "pointer_nullability_matchers.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "353bbe891ce9533f61461089dcd621b93fc7c430",
      "name": "pointer_nullability_matchers.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "cf35fe0dfb7f4c03db201259a471923c9d11ca2e",
      "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": "26ac5ab6ccdd6930416bc0ff0c3f08d3b3ee7e93",
      "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"
    }
  ]
}