)]}'
{
  "id": "98e5dc7b5a1fcd3a944209d702a1dc2e7ccac1eb",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "7abc7b6a094bddfdf2bb0bcecfee4aa1c238e50f",
      "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": "5c5e069e3c0bc40922d47da10439b47de624da44",
      "name": "inference"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "084c25c6f0ca719ef1a0ac09f0ddddef94c1ffd5",
      "name": "pointer_nullability.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "36441482db35b90854600ae7a71d0acd8bf6a9e3",
      "name": "pointer_nullability.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c6b97ff89be8ceb3586ac9218cc372157d756992",
      "name": "pointer_nullability_analysis.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f739683bca8c3e016033c1faac34729e7da8ce7d",
      "name": "pointer_nullability_analysis.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8190d97e7cd3038f6f5d72ba446eba7e3a7a54da",
      "name": "pointer_nullability_analysis_test.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "6456910b8d759640f4e8a0e3e06710d5a3696fc5",
      "name": "pointer_nullability_diagnosis.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e5eb93146c9a0604bed25f5a9ede1b25798ade5e",
      "name": "pointer_nullability_diagnosis.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e8e02269492cd9255e15bf786a014eb94c7c5156",
      "name": "pointer_nullability_lattice.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "dda8929058faa9a69a2253f4f4d2a3c2ca0c0c3b",
      "name": "pointer_nullability_matchers.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "353bbe891ce9533f61461089dcd621b93fc7c430",
      "name": "pointer_nullability_matchers.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f41035848b88f62a9044824dd905f8ce06147565",
      "name": "pointer_nullability_test.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "4a94944cc2de1dd04a5181bfaec4e08c9cba75aa",
      "name": "proto_matchers.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0e63a5f002f90f3b4a9451f05b8a4e271c7e7339",
      "name": "proto_matchers.h"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "ac4aba5d5971e37539fa2957a550c68834cbc3b8",
      "name": "test"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e3762cf0d48db728d0cded313569a0e65a63a669",
      "name": "type_nullability.cc"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "55ba0e00fcecc269af2c73fd7107bd4fe1b389ca",
      "name": "type_nullability.h"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f10f2fc034b661cb308b4f19e73517069b234237",
      "name": "type_nullability_test.cc"
    }
  ]
}