)]}'
{
  "id": "46299e6a70ba5bce157522080adce6c9cdb94b6d",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "5c62ecf14cf7a0cf90825f7b39fdea760718873a",
      "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": "4565a54006980ee961aa756a89753dc063ee62af",
      "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": "5b851b9f5b73bab6abd60a73970c53f1a7d4b978",
      "name": "pointer_nullability_analysis.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f8c71f4aeec76fcc41bc389a66a8bed177b002eb",
      "name": "pointer_nullability_analysis.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1a7ba06e53108ce056b85c4012e55ed027d574ec",
      "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": "3bcf68ac7826ed314a483892d16b82c4707662fa",
      "name": "type_nullability.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8e80c5fc9ffb45e555ab0776a9aba565d2bd38d1",
      "name": "type_nullability.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "819ee3002e1b7129c2967c593d59bce86c42baae",
      "name": "type_nullability_test.cc"
    }
  ]
}