)]}'
{
  "id": "8acf24f88ea18d9b69468ffd592557bbcb7f1c79",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "3c2eb9f300ad85e11137c951f3919632853f6913",
      "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": "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": "b2211e47ad76fb5cea8c60db32805dea1876c409",
      "name": "pointer_nullability_analysis.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "81d2bb98045a6cc52bc8bc55f65d60721b7b4c3f",
      "name": "pointer_nullability_analysis.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8c4d8aa7bda9558d2366e35337b3b4c95c761c56",
      "name": "pointer_nullability_analysis_test.cc"
    },
    {
      "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": "407d785df10bc318f87b0d9d18cdacf6352b0e0b",
      "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": "2973d7577b6becf7af6c21ffb20e141d2510a93c",
      "name": "test"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "99df54b92061bf8767ef05322074eaa89d5c6b33",
      "name": "type_nullability.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3a12dbf1c48cc872d3f5706dcefc67549bcb09e6",
      "name": "type_nullability.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e8d760ccf13293cfa6bdd40cf367b1311cad8106",
      "name": "type_nullability_test.cc"
    }
  ]
}