)]}'
{
  "id": "16db8fa1f5895efdc9e37ab240339736377d89f7",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "5c4e7af07fe53b83ff4ebd3078aaab3c6af813cc",
      "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": "8de15b7ed9aa36091d8e8d5856024955f8d00b0b",
      "name": "inference"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "83ee3fb35ab385d5e318087cdc664f008086c354",
      "name": "pointer_nullability.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a768650088ee2a6a3ba690b1f2ed02e6a6c151b8",
      "name": "pointer_nullability.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "cc569842249881d5c060955feb21c5baa32a19b4",
      "name": "pointer_nullability_analysis.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "850234c16f1e514541b4dfa19313f12465f5ef4d",
      "name": "pointer_nullability_analysis.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "eba9461c6eabc050bec88f0934886413603edd0b",
      "name": "pointer_nullability_analysis_benchmark.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d19943a80bd65788b53083a2cabe36a7f0728413",
      "name": "pointer_nullability_analysis_test.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c9b6b2ed60efebc87f0bea076b2eb96600d9e5d3",
      "name": "pointer_nullability_diagnosis.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d41cf092f3863c5d8539a2c658b64289c0ffb7c4",
      "name": "pointer_nullability_diagnosis.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "abab6ab356671967dbff4d43094d521e26310a2a",
      "name": "pointer_nullability_lattice.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6457ca50f73b33158cc8b6e23d139cbe41f17153",
      "name": "pointer_nullability_lattice.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "855a31abd94904c51b3725bc22e582ff15b61356",
      "name": "pointer_nullability_matchers.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "87f5e8d6876a660573ea2689cecd0e4e648455c3",
      "name": "pointer_nullability_matchers.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "77c0717a87b9a3da3346c37390845a1101ab6152",
      "name": "pointer_nullability_matchers_test.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ffe1f22db55d347f4d16798631c491f2b157f5ae",
      "name": "pointer_nullability_test.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "87f02fd3d24fa3e349a3b8d8bc436983b2e37398",
      "name": "proto_matchers.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0e63a5f002f90f3b4a9451f05b8a4e271c7e7339",
      "name": "proto_matchers.h"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "877c18de67ca736433eeb37565d740e8db7dea83",
      "name": "test"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f1a2b833894ad42eec443c1400be1f1d8f54dd80",
      "name": "type_nullability.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6856866252e84119268e4b04756936f1b80691b9",
      "name": "type_nullability.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3210c8bf399cf32eaa5117afa498f967f5fe4872",
      "name": "type_nullability_test.cc"
    }
  ]
}