d01af41bbe1f4ca91ddfe1e6ed0a6e766c0c789d3fe129a1bb76c3934b137dce  README.md
43d31d8fe30ca36f50bbc072b0d529c42302d8546f924ac620cd3dfab85a894d  environment.txt
4babb0217a625a484e8ece41431f6e9180bf6646ad8610bf71cb57bd9e66edf9  full-lit-llvm17.txt
0b5b8a59253de9cef92ed6856b8d9e5d5829b0706bde2b5e65f977a3d78fe8ec  full-python-gate.json
62346e6775ca6131e4fb044654aad55e9f90e8b46ef7575369295fccb1225c78  full-python-gate.log
5614a46d583e832d50c1bd06103fc8bb42886d23d4e4dc04eaa5c8e5479ff8b3  guarded-init-benchmark.json
8f9f159189b357398e94704acceb5ac90295bae4b169e62ee85f13e6300ada67  guarded-init-oracles.json
41c4d9f2b6eefe5cf2e6a326af6e0b8dc957c8b93d3893b0f788e9bb8a3bf60e  related-python.txt
d2ef1d7d7da646491cad744cb66dc1b7c03ad79f50d380511f10a736bcebc767  source-contract.txt
82874c124eb5677a1c9512ada7760fccc9d5ceae8b05c6a8015374a6895b275f  source-research.txt
131b68088b3f7c0a337bb351b267ee675e3e519541324857322ebd9d2a9f24a0  static-checks.txt
60be993d3750acdc886d0b83128b7ad94b15dafc111aba6e58b62ccdac87ee05  targeted-lit-llvm17.txt
2be6b49217e5b5531ff0e667445b1d31a4a397b267488e34f91343543a4c0023  targeted-lit-llvm18.txt
9f6aed04e0c7dbbd5d2f2f28aa683f5328d18ed59ae54b7273e144b9c21a0c63  test-identity-python.txt