bdb987772707faf8101452262a2da970d18daf9b089d39efbafcecc1fdefb2ac  README.md
3517d7c5199071b3f9fa76e856c2efd401001caac1cae1cf0b7835d3b2cbb8b8  environment.txt
6b09311f6dacd1e45f20390bb42b456e62aa6f1c33990b7a0c5acb2f94b47ddb  full-lit-llvm17.txt
de6550004524295815c1184210b903e7ff1307cd199ffb3fdd1b860bd2eea6f8  full-python-gate.json
bc1113130640cb325e5e4f5820172ecb46029d21ec1f339ab9cdf95a9893ecdd  full-python-gate.log
bf6229726c8b77f5e6e8b10bae8d9cebae8a8b4af091d82c7dd6c9749a782dd8  ordered-multilatch-memoryphi-benchmark.json
f1a1a9f6d6395b5865c9cbccf0b50f7acb7fac958eca3f5014382c6ad14568b8  ordered-multilatch-memoryphi-oracles.json
5557c7d93b8678ab27381b7e495a7dbeb5bc72b4a8c21fa188c97f8f27d0ab8f  related-lit-llvm17.txt
7e99394145c7b87ba80247b5041de7127e3f99d215d4cf2cdf465d5b13479532  related-lit-llvm18.txt
b5c78d4daf749deeb66916e085b670c8c0a3220bac0d705580a641a64adce131  related-python.txt
4a16b0500d6bf84e733e3ec10595fbe15b427ad1ddcef169477765dfd7a5449b  source-contract.txt
47d71910bffc236e9f8cc0cda2c7759c60a8ba304502f3bc466b549048d84efb  source-research.txt
ee237e70ef3b65d335ade60e4c2d46dafeadf6038bfc3cb3d394c8fea2a948c5  static-checks.txt
b77b83bd8b1cc7f376a69888f9a5cb2692c0e071759e8a494eac8f8c3375eb43  targeted-lit-llvm17.txt
51deefee92b7317d68e8ffc180d81ec64b6fe8beaa396cc73d103b6aebca04c1  targeted-lit-llvm18.txt
e28611f2d30249abf59105ff5823738026af7b8188c61888ccc6f351adfa26dc  targeted-python.txt
c19bd6b4b05dd8e27df8bf8e76beda802b7da7b63656555b39ae4c942ec72fec  test-identity-python.txt