8a5c7fecf54ad330c61cec097c6921761b14c1d694d5844f6c557b34c215e557  README.md
d7ef1817e624012ffbb5baa7235a04a6bbf07d2d5634f59b226039da35a9792b  environment.txt
e7d1974db409a65a8b901fe3c442722d542dbe4eea09f0ab42a37cce4d1abbfc  full-lit-llvm17.txt
7815040a06f3962adc6a9c70f0c35079d994c10adfa3d06c9110c185af843d73  full-python-gate.json
57cb0dd360aabff4655ebf1f4e9b459705cc0addcb0f2f5c2a4f01ff6db8d690  full-python-gate.log
700ce5a9b279228d5ae809a167a6aa8197fae4146503e5c31a43bb5294139fb5  related-lit-llvm17.txt
9e2815292a6c70439c48eec4fa58348ba1b7a9e6ea0e71dd0846511b99162895  related-lit-llvm18.txt
a0425ddbf18b123bd2a7dc0f199973d193ac0587b6f8fb930e927c27d862aec4  related-python.txt
605761ada733fe6a41e11d8674eb11587aad01e3b4cb1249470fa8bd84925534  source-contract.txt
e96c182ccc492b1b710dd54caf27a696835721d9bb2015ef36d77a2dc1415cff  source-research.txt
53ba514b96217aa67a3fddab7ca731a7c3b768b5309d725a6606d9139200525e  static-checks.txt
39cd2efa1ebfe8bff1188bce97371beb824f7fd18701c9a5afa4e2361b5758bc  strided-loop-memoryphi-benchmark.json
527b0a29283c7a947edb5ad958ca24254d47c70d1e040fbb1584a7653b4f47b1  strided-loop-memoryphi-oracles.json
b12ea098efca213eedc91a5a6872f58946c2260e45188b2e34c4240d46cb2134  targeted-lit-llvm17.txt
8517b346a98e3c9fdae1c47e163a2191275eb5d0565a4af35a7f74700516bb4d  targeted-lit-llvm18.txt
0b16045a038d5ce1c57b747261955cb9bcd10da37496542a2a29394d18426c6b  targeted-python.txt
2250a6f52f39501ea77041422fdbb2d02a20eff52d1b06c70ee3b0e160617399  test-identity-python.txt