32c7f980bb81d4ff2e41229aa3dca909a5ae00970c5f6a4f3aa3e6dfba7e6c10  README.md
9bcc0f03e236ab9cd2b1e27225b37009d225863623f7f67825b6f8b7a6818cfe  environment.txt
6debd8553d2e1879745b1d14215d934a4b5326a36baeedd4ba1414db9de7b1d9  full-lit-llvm17.txt
4e7a1e55f1d85317fcf126704fe050cbea5be408ce235404cbf5a53ae56667c5  full-python-gate.json
1322b1288beeaa5e45eb8ecfa154c7c8acf0399aff5219186a069c346708e666  full-python-gate.log
10405246df2d569bf84faeab7735a50d9809dc89fe2f2475ed3f2399f88d2cbe  multilatch-loop-memoryphi-benchmark.json
0b8825baa3a0d879c7627419b80529946de3cf174cf7b53256dea4c7ce70efcb  multilatch-loop-memoryphi-oracles.json
b4e74c282874db51a5cbd76de57d25f3ea03546a99c5b3d12af466369519c22a  related-lit-llvm17.txt
b4e74c282874db51a5cbd76de57d25f3ea03546a99c5b3d12af466369519c22a  related-lit-llvm18.txt
55c11f07607d7f40b089295e14a4b3eb4719f531b1e918da44f376c0efa89fdc  related-python.txt
180bc6161cfe1acfc2b7537fa91fb132a7061cb2225ad8f754e61e29800e3af5  source-contract.txt
d4ec17692f06c0b321d317ed49f7942c82f386a106c607f1ad6f5e00c806c24f  source-research.txt
a80c945bc2e37a6b2fab302321a1dada0d18aeaa78f99c3ca0c5592e03b2f34c  static-checks.txt
5e452c4d6234dde6c86092ec298c4c2c10a9d52ff5d72656e73fa6fd4d148390  targeted-lit-llvm17.txt
d02a31a83c1a2fac71de597ef6a92e0caeeb0c1c4da18a9f26c0be9585814fb2  targeted-lit-llvm18.txt
2a6cedadd67fa8285c356e622f1fe53118a67a84ad76602a6f0066ad6e04ec71  targeted-python.txt
d208b14414932319f88e22f28d299643797c0f5144a5213f41caf3c447fe60d7  test-identity-python.txt