)]}'
{
  "id": "d27500fc316b3402477b302482844452231227e7",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "668a8e3f779947b2d813bc8eced10983e38eabcb",
      "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": "e499aeb2a9a95e6d64fb90c7f69b208cd2b08c09",
      "name": "inference"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "909e2b5d8347fa834a9dce5e7047595285830a68",
      "name": "pointer_nullability.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5044cf07e82d392fb4dbebb390b28746193a2c57",
      "name": "pointer_nullability.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0349dcda40e660f961dfd8449bf5c7aa05e4ff53",
      "name": "pointer_nullability_analysis.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9275397ccfebb4bbf910a8136129c582c1b73827",
      "name": "pointer_nullability_analysis.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7e1de008d20efff6c7d7469d09654bb4e7751d1a",
      "name": "pointer_nullability_analysis_benchmark.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "fa0011f5df40d927eabb310c6ffb981cc10f19ad",
      "name": "pointer_nullability_analysis_test.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "037e92e5e5eb14d5697272587d935ce512ac769b",
      "name": "pointer_nullability_diagnosis.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d41cf092f3863c5d8539a2c658b64289c0ffb7c4",
      "name": "pointer_nullability_diagnosis.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e2d0c03c92252797393a6ece6558e7eb4e4d7fce",
      "name": "pointer_nullability_lattice.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "898e55faeccae8638ee835182f2e4aa07c7ccf0b",
      "name": "pointer_nullability_lattice.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "29c858ea30cefba9ae509f750dda4a9b65ce7d16",
      "name": "pointer_nullability_matchers.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0ce2059fcaf39f2c30eb216cde7fdbb093442922",
      "name": "pointer_nullability_matchers.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "11f27b817a93d23d97d17d118026d026f10b6f6c",
      "name": "pointer_nullability_matchers_test.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ffe1f22db55d347f4d16798631c491f2b157f5ae",
      "name": "pointer_nullability_test.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5059958c065878885d3003c926dcdcb62831061c",
      "name": "proto_matchers.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0e63a5f002f90f3b4a9451f05b8a4e271c7e7339",
      "name": "proto_matchers.h"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "35268f1e4f5f6f6e2a0a7a55170674f5dcc3938a",
      "name": "test"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "be228c4bf7ce816b8e83ee28790e373f0e84556d",
      "name": "type_nullability.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "fc2f01a9bb617204412e1b2bcde55334928ee826",
      "name": "type_nullability.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "51a48f39d3b9b7ad492ce2f211ffc1ebba5f66e6",
      "name": "type_nullability_test.cc"
    }
  ]
}