)]}'
{
  "id": "1128c5a12fd3592b511a5811db8d780a37c13872",
  "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": "dc267ae5edbdeb964e4467b4d4b4864b7a40704c",
      "name": "inference"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1fa36810e89176ae1443b35c42222a202c8965c4",
      "name": "pointer_nullability.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1abb4754712953355a43e46cd13467185507c7f8",
      "name": "pointer_nullability.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "66eec4e81fa7a7323a701aa643d50606838bd7a3",
      "name": "pointer_nullability_analysis.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "73d8cd1d15258309c095ac7e410cfa087467752e",
      "name": "pointer_nullability_analysis.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "eb94326eec656a8be121ca8cfed49778c60000b4",
      "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": "0b5ef0c4b0286c7b094dfd1f84774f13bbc4a9f8",
      "name": "pointer_nullability_matchers.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "353bbe891ce9533f61461089dcd621b93fc7c430",
      "name": "pointer_nullability_matchers.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "87e0dccaeb2bbdc08e3d71391cb24f0cadb93740",
      "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"
    }
  ]
}