)]}'
{
  "commit": "7f19b2b74af595a9a2ba9b4fac0321e68f8af8b2",
  "tree": "fa05e381cee35f366fd515e9046fde5ad409c397",
  "parents": [
    "a45d260ea45524ae25df3b3a78726097c939daaf"
  ],
  "author": {
    "name": "Googler",
    "email": "no-reply@google.com",
    "time": "Mon May 01 09:44:57 2023 -0700"
  },
  "committer": {
    "name": "Copybara-Service",
    "email": "copybara-worker@google.com",
    "time": "Mon May 01 09:45:28 2023 -0700"
  },
  "message": "Rename /nullability_verification to /nullability in preparation for adding/relocating inference functionality here.\n\nPiperOrigin-RevId: 528495113\n",
  "tree_diff": [
    {
      "type": "rename",
      "old_id": "eafe89794f33600a727362cd2a1a53a68c8ed925",
      "old_mode": 33188,
      "old_path": "nullability_verification/BUILD",
      "new_id": "7272c47d355f2aef4c4b34445e1a42b87323857e",
      "new_mode": 33188,
      "new_path": "nullability/BUILD",
      "score": 93
    },
    {
      "type": "rename",
      "old_id": "0c2544b34ca1f9e75eab7538640df1d74f899050",
      "old_mode": 33188,
      "old_path": "nullability_verification/formal_methods/gradual_nullability_code_synthesis.smt2",
      "new_id": "0c2544b34ca1f9e75eab7538640df1d74f899050",
      "new_mode": 33188,
      "new_path": "nullability/formal_methods/gradual_nullability_code_synthesis.smt2",
      "score": 100
    },
    {
      "type": "rename",
      "old_id": "5ed2495ff5ab8fb3e00eca103ca7c3c809ee59c3",
      "old_mode": 33188,
      "old_path": "nullability_verification/formal_methods/optional.smt2",
      "new_id": "5ed2495ff5ab8fb3e00eca103ca7c3c809ee59c3",
      "new_mode": 33188,
      "new_path": "nullability/formal_methods/optional.smt2",
      "score": 100
    },
    {
      "type": "rename",
      "old_id": "93d7a7d592a021c832ad010e8ab53e42b87e7367",
      "old_mode": 33188,
      "old_path": "nullability_verification/formal_methods/optional_code_synthesis.smt2",
      "new_id": "93d7a7d592a021c832ad010e8ab53e42b87e7367",
      "new_mode": 33188,
      "new_path": "nullability/formal_methods/optional_code_synthesis.smt2",
      "score": 100
    },
    {
      "type": "rename",
      "old_id": "28b0e67977cac98067c43dbbbe4724960cc2fac1",
      "old_mode": 33188,
      "old_path": "nullability_verification/pointer_nullability.cc",
      "new_id": "34e16ff27cae9453f5778de9bf8602cecc0cf16f",
      "new_mode": 33188,
      "new_path": "nullability/pointer_nullability.cc",
      "score": 98
    },
    {
      "type": "rename",
      "old_id": "b2f4ae3f5730bfafdf118a7ded4e6107b7db3a0d",
      "old_mode": 33188,
      "old_path": "nullability_verification/pointer_nullability.h",
      "new_id": "b88a8898425373db0d79c28a80f454fd10461b4c",
      "new_mode": 33188,
      "new_path": "nullability/pointer_nullability.h",
      "score": 95
    },
    {
      "type": "rename",
      "old_id": "9479b847482540abe9eb751c62aff53a6491b6f9",
      "old_mode": 33188,
      "old_path": "nullability_verification/pointer_nullability_analysis.cc",
      "new_id": "7ab5c8207995b3f28ae9a6790bda4486c3867259",
      "new_mode": 33188,
      "new_path": "nullability/pointer_nullability_analysis.cc",
      "score": 98
    },
    {
      "type": "rename",
      "old_id": "c1d90ccf0afdb3cebac82d049ab131d3ee96285a",
      "old_mode": 33188,
      "old_path": "nullability_verification/pointer_nullability_analysis.h",
      "new_id": "0b88497eadebba7c4f1bc36a297e1658c639a27c",
      "new_mode": 33188,
      "new_path": "nullability/pointer_nullability_analysis.h",
      "score": 86
    },
    {
      "type": "rename",
      "old_id": "9a4de334bfc8030a9fad79a61e68462a9ed89e2c",
      "old_mode": 33188,
      "old_path": "nullability_verification/pointer_nullability_diagnosis.cc",
      "new_id": "8289142c11a2095a55fd2131d2d35b36c5c3ca35",
      "new_mode": 33188,
      "new_path": "nullability/pointer_nullability_diagnosis.cc",
      "score": 98
    },
    {
      "type": "rename",
      "old_id": "5551f2d48feefaecdfc8014f7bc1ee46badba4d0",
      "old_mode": 33188,
      "old_path": "nullability_verification/pointer_nullability_diagnosis.h",
      "new_id": "57cf6a15b3dedb43eeeb2c732ab58b7aed0437e1",
      "new_mode": 33188,
      "new_path": "nullability/pointer_nullability_diagnosis.h",
      "score": 83
    },
    {
      "type": "rename",
      "old_id": "538bdaac545241f2ef86871fcede527dfa6f56e5",
      "old_mode": 33188,
      "old_path": "nullability_verification/pointer_nullability_lattice.h",
      "new_id": "66222c52e2581261de572b64823c92bc37b71ad4",
      "new_mode": 33188,
      "new_path": "nullability/pointer_nullability_lattice.h",
      "score": 90
    },
    {
      "type": "rename",
      "old_id": "cb9b8a0ef9f65d5e61fae680d514a104abc21152",
      "old_mode": 33188,
      "old_path": "nullability_verification/pointer_nullability_matchers.cc",
      "new_id": "e2416c5885c6b42ceaa8720a2108badc7fb74c0c",
      "new_mode": 33188,
      "new_path": "nullability/pointer_nullability_matchers.cc",
      "score": 96
    },
    {
      "type": "rename",
      "old_id": "7e267301b0e1a76b423900c2d327aeee6b79c585",
      "old_mode": 33188,
      "old_path": "nullability_verification/pointer_nullability_matchers.h",
      "new_id": "353bbe891ce9533f61461089dcd621b93fc7c430",
      "new_mode": 33188,
      "new_path": "nullability/pointer_nullability_matchers.h",
      "score": 83
    },
    {
      "type": "rename",
      "old_id": "5f59121221aae16ca99f8218821e1ad7510bd72b",
      "old_mode": 33188,
      "old_path": "nullability_verification/pointer_nullability_test.cc",
      "new_id": "89a6bbc19adb5e77a74119c80073c73c6a79a1be",
      "new_mode": 33188,
      "new_path": "nullability/pointer_nullability_test.cc",
      "score": 99
    },
    {
      "type": "rename",
      "old_id": "87e1bafa6211081435fb58fba67ef7ae8f169fcb",
      "old_mode": 33188,
      "old_path": "nullability_verification/test/BUILD",
      "new_id": "cf99fe9b168d5213723f87f115999dc7e53720ef",
      "new_mode": 33188,
      "new_path": "nullability/test/BUILD",
      "score": 97
    },
    {
      "type": "rename",
      "old_id": "0f52df88782a608b85f1161931edeb1cab98612f",
      "old_mode": 33188,
      "old_path": "nullability_verification/test/aliases.cc",
      "new_id": "852a482b7f8524ff1d754b46f4d9e3ed2e637967",
      "new_mode": 33188,
      "new_path": "nullability/test/aliases.cc",
      "score": 92
    },
    {
      "type": "rename",
      "old_id": "9f3f374742efc24493b4cb715680362b32d4e421",
      "old_mode": 33188,
      "old_path": "nullability_verification/test/assert_nullability_test.cc",
      "new_id": "2bdc10fac62522673f028af27edeaa88c3e41533",
      "new_mode": 33188,
      "new_path": "nullability/test/assert_nullability_test.cc",
      "score": 98
    },
    {
      "type": "rename",
      "old_id": "1194501d306f870819f8bcd1eaa578b1f7b056ae",
      "old_mode": 33188,
      "old_path": "nullability_verification/test/basic.cc",
      "new_id": "9e8804e5f0b0feb8d3ade53671376704ab2aa3a2",
      "new_mode": 33188,
      "new_path": "nullability/test/basic.cc",
      "score": 98
    },
    {
      "type": "rename",
      "old_id": "c956fc2c64e3377e849c6ccd2cdc80342d82ee79",
      "old_mode": 33188,
      "old_path": "nullability_verification/test/binary_ops.cc",
      "new_id": "ecb14439fa7ad5cc2e4515c001f8ca176cd9e85b",
      "new_mode": 33188,
      "new_path": "nullability/test/binary_ops.cc",
      "score": 96
    },
    {
      "type": "rename",
      "old_id": "4358fee3da062d866db74b62c7916c9c97506186",
      "old_mode": 33188,
      "old_path": "nullability_verification/test/casts.cc",
      "new_id": "e719d3c6a67b5a4a47892ea69ac77fdf829a4fb3",
      "new_mode": 33188,
      "new_path": "nullability/test/casts.cc",
      "score": 98
    },
    {
      "type": "rename",
      "old_id": "2009f2fc4aea6075a70dc0de16c70e968e2e9331",
      "old_mode": 33188,
      "old_path": "nullability_verification/test/check_diagnostics.cc",
      "new_id": "a66d4441b7553147dcb5dca87625d97105ed758e",
      "new_mode": 33188,
      "new_path": "nullability/test/check_diagnostics.cc",
      "score": 94
    },
    {
      "type": "rename",
      "old_id": "facb9ea535f36ec35611dede8de327193c6222f7",
      "old_mode": 33188,
      "old_path": "nullability_verification/test/check_diagnostics.h",
      "new_id": "9d05b76c28cc3241b2e1484e81339827c31e4347",
      "new_mode": 33188,
      "new_path": "nullability/test/check_diagnostics.h",
      "score": 75
    },
    {
      "type": "rename",
      "old_id": "724fe021f31bd7ea9a325c11b0d666bffc1d96f8",
      "old_mode": 33188,
      "old_path": "nullability_verification/test/comparisons.cc",
      "new_id": "62d11630a43a245edda18b03e2146c572e989260",
      "new_mode": 33188,
      "new_path": "nullability/test/comparisons.cc",
      "score": 99
    },
    {
      "type": "rename",
      "old_id": "63d564a711fe9d66698918a38fb79d56b789f69c",
      "old_mode": 33188,
      "old_path": "nullability_verification/test/constructors.cc",
      "new_id": "51a2cb09a8e9bb5ef7a49c4444f14eae5fe46639",
      "new_mode": 33188,
      "new_path": "nullability/test/constructors.cc",
      "score": 97
    },
    {
      "type": "rename",
      "old_id": "ee67f9b020ce5352ad02b5b6005f10e33494c46d",
      "old_mode": 33188,
      "old_path": "nullability_verification/test/fields.cc",
      "new_id": "e1f3f15debb7fa5b17f7358171999b8942ae558a",
      "new_mode": 33188,
      "new_path": "nullability/test/fields.cc",
      "score": 97
    },
    {
      "type": "rename",
      "old_id": "0b87b2c2f2191adfc9535db8788827d99d38de47",
      "old_mode": 33188,
      "old_path": "nullability_verification/test/function_calls.cc",
      "new_id": "12f1310bf334a41908ff2c75215eb3b4eb4cedb5",
      "new_mode": 33188,
      "new_path": "nullability/test/function_calls.cc",
      "score": 99
    },
    {
      "type": "rename",
      "old_id": "aabfca2e93619a359d704d2886b3c19d10f2464d",
      "old_mode": 33188,
      "old_path": "nullability_verification/test/function_pointers.cc",
      "new_id": "290ba1540e39096e0d500dee4f88ba8dbca9dce8",
      "new_mode": 33188,
      "new_path": "nullability/test/function_pointers.cc",
      "score": 97
    },
    {
      "type": "rename",
      "old_id": "d872e0fd164c00afec2b80a81f004bc8aa487bcc",
      "old_mode": 33188,
      "old_path": "nullability_verification/test/initialization.cc",
      "new_id": "fd03f7eeb8bb590b5795994f15724b04c206254f",
      "new_mode": 33188,
      "new_path": "nullability/test/initialization.cc",
      "score": 94
    },
    {
      "type": "rename",
      "old_id": "50553dd40400cc9f1164b80c3215d2169ed9a87a",
      "old_mode": 33188,
      "old_path": "nullability_verification/test/merge.cc",
      "new_id": "e9e278737752eff583bdb465bf5670e0e53b5c6d",
      "new_mode": 33188,
      "new_path": "nullability/test/merge.cc",
      "score": 98
    },
    {
      "type": "rename",
      "old_id": "6e6301a9ccdf666fdef1f1207b1a6ad3336ee0c8",
      "old_mode": 33188,
      "old_path": "nullability_verification/test/operator_new.cc",
      "new_id": "585efc306b494a5744af04ba874b7f0fc401e9c0",
      "new_mode": 33188,
      "new_path": "nullability/test/operator_new.cc",
      "score": 96
    },
    {
      "type": "rename",
      "old_id": "f27fdea8cda88dc94354778b4a6996438127d42d",
      "old_mode": 33188,
      "old_path": "nullability_verification/test/parens.cc",
      "new_id": "926a14838c9f951797b556b0b9956fdb2a6e82bf",
      "new_mode": 33188,
      "new_path": "nullability/test/parens.cc",
      "score": 95
    },
    {
      "type": "rename",
      "old_id": "1df9f3f7c7bf538b8781b76d83dcc8d96c020842",
      "old_mode": 33188,
      "old_path": "nullability_verification/test/pointer_arithmetic.cc",
      "new_id": "8af4adf5e9337bdb1b56a21a6f3ebfa02b0266c5",
      "new_mode": 33188,
      "new_path": "nullability/test/pointer_arithmetic.cc",
      "score": 95
    },
    {
      "type": "rename",
      "old_id": "53c417f8ddb5040ec40390be06e18282387ed428",
      "old_mode": 33188,
      "old_path": "nullability_verification/test/return_statements.cc",
      "new_id": "4672c1e627e8b3ad476cd3e599fa86a53605f1fe",
      "new_mode": 33188,
      "new_path": "nullability/test/return_statements.cc",
      "score": 97
    },
    {
      "type": "rename",
      "old_id": "e0135f528ac94a48052433085d7758363f371f5e",
      "old_mode": 33188,
      "old_path": "nullability_verification/test/templates.cc",
      "new_id": "2de241a053f94f4d85a0f4b8d3010f808be08545",
      "new_mode": 33188,
      "new_path": "nullability/test/templates.cc",
      "score": 99
    },
    {
      "type": "rename",
      "old_id": "212948b64dc28d8cd290b29b2fc3b53ba1819acb",
      "old_mode": 33188,
      "old_path": "nullability_verification/test/temporary_materialization.cc",
      "new_id": "4851c880b456942e23f70a090d6dbd22750e3503",
      "new_mode": 33188,
      "new_path": "nullability/test/temporary_materialization.cc",
      "score": 97
    },
    {
      "type": "rename",
      "old_id": "9d67d36a2e8d09028f2577d0f01213c85e8ff8fc",
      "old_mode": 33188,
      "old_path": "nullability_verification/test/this_pointer.cc",
      "new_id": "cc4ed742fb323235335fc54a5178dbf70a27af5f",
      "new_mode": 33188,
      "new_path": "nullability/test/this_pointer.cc",
      "score": 93
    },
    {
      "type": "rename",
      "old_id": "7bdf243ed5d946047d99867428c3204e15c0cb7c",
      "old_mode": 33188,
      "old_path": "nullability_verification/test/variance.cc",
      "new_id": "2bb41daa11e7cb355306861c2aff4d7da72c6a10",
      "new_mode": 33188,
      "new_path": "nullability/test/variance.cc",
      "score": 94
    },
    {
      "type": "rename",
      "old_id": "3d4abf3c150b8eefef68153423d020bea8a53175",
      "old_mode": 33188,
      "old_path": "nullability_verification/type_nullability.cc",
      "new_id": "307239d8c7a233c06584787836d41f0be8bfc267",
      "new_mode": 33188,
      "new_path": "nullability/type_nullability.cc",
      "score": 98
    }
  ]
}