20e9b7d462a22580d4ea3c94ab903d4fb91f9a78e10a566bf4e3b9a1bdfd4663  README.md
6aa152c28da7ff5bb5747400ecdd24197cd8feb5cc455ad23213f676f3b3a8f1  conditional-loop-memoryphi-benchmark.json
78b003d932752413258e0ddf339c74d441c6812f1b232767852cda4213334664  conditional-loop-memoryphi-oracles.json
60e40ca27dd1ab26bb3cbc747db8469287952d746ad859b1d99ca21a41dfcd8b  environment.txt
0c91d342a5229b5cc6e8aeb41447d36b95b731c430c1e8844bf0e11a34556c9b  full-lit-llvm17.txt
2ec66d2fecfa207990ecdecadb3691263a34de08ab7c5fa90876bf57e0578632  full-python-gate.json
9c655e4a53ab352f35821f75e83310c580910dd86275e9d8ca10444b9bd7fa02  full-python-gate.log
5e1dbd4e985220475b273be19ab9892a5e2f876ad618335a1576bcd2225324b6  related-lit-llvm17.txt
96e37830f1b02a6cc1d4ffab6ceb7d8650477a9f55ef41b1b0e92e03529eae54  related-lit-llvm18.txt
4c5331598fad1e9ab097ef3d86270ecc07031746f999a075f94cb891bf4baf3c  related-python.txt
25018c713b986ccb469668372fed5ebf46c85fca40f434a1685c6685d734ad42  source-contract.txt
3d83dcc3b8435b88ea61d7c82e4140a3bf07734edfd4977b2254db1dab427e39  source-research.txt
37426eef5bba7f1af4ac3e342af7736be31d5ecbab3f977fe3aa825622235911  static-checks.txt
bd3d2d0e8f8ee3c4fae64120d4230eb5dc7a509e57260fea0a27348722a9d8c5  targeted-lit-llvm17.txt
5f83c06cd9a6837d907b6e534399674afb4fe2ff0ae0e9af18e28c6d90a20b87  targeted-lit-llvm18.txt
b1b71f754b5df16da9dacd727d80b8aef00ca43f62f17c599c06d65e697af750  targeted-python.txt
8ad92d08b5a299b4ee25b36fe9f42a4b06533b33b6b850a3d4d5b1facf425891  test-identity-python.txt