)]}'
{
  "id": "2c3b1673176d3d629ccb8ea3ee01cc5a3c0196ee",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "eafe89794f33600a727362cd2a1a53a68c8ed925",
      "name": "BUILD"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "05e560d937969a19df034f78e2e90fbd0e6de1d1",
      "name": "formal_methods"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "28b0e67977cac98067c43dbbbe4724960cc2fac1",
      "name": "pointer_nullability.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b2f4ae3f5730bfafdf118a7ded4e6107b7db3a0d",
      "name": "pointer_nullability.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9479b847482540abe9eb751c62aff53a6491b6f9",
      "name": "pointer_nullability_analysis.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c1d90ccf0afdb3cebac82d049ab131d3ee96285a",
      "name": "pointer_nullability_analysis.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9a4de334bfc8030a9fad79a61e68462a9ed89e2c",
      "name": "pointer_nullability_diagnosis.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5551f2d48feefaecdfc8014f7bc1ee46badba4d0",
      "name": "pointer_nullability_diagnosis.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "538bdaac545241f2ef86871fcede527dfa6f56e5",
      "name": "pointer_nullability_lattice.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "cb9b8a0ef9f65d5e61fae680d514a104abc21152",
      "name": "pointer_nullability_matchers.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7e267301b0e1a76b423900c2d327aeee6b79c585",
      "name": "pointer_nullability_matchers.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5f59121221aae16ca99f8218821e1ad7510bd72b",
      "name": "pointer_nullability_test.cc"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "8964b9bdbc39f312579e467d3280e9b7c97dde97",
      "name": "test"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3d4abf3c150b8eefef68153423d020bea8a53175",
      "name": "type_nullability.cc"
    }
  ]
}