4f202b5e296cea189b4b0ce1bf43cff4ecf33c86effdfacdbedf2b71ae56eca9  ./LICENSE
36a864b332d538a9596195954bdcd41db84878b270f86d53ef9ec4e9c0c22916  ./README.md
df415019917e4ec192bcfc01431cb2721c97804ef5d2fb0802803361f947c81c  ./results/equivalence.md
cd9ce83fbe125b8a83d3dfbbdd8c1bb8ff3d1aced77ff132bed168719e277294  ./results/jobs4_12ep.txt
60a328e7dca222a8b3894f692bb5de9647a0ba3522b780bce3eab45cf3ddff4f  ./results/matrix_raw.txt
29585c5b9918ed089084725b89770c86048811f4b850e86f95edc55a44632fd7  ./results/reverify_raw.txt
14cb32202e6f17a9c72bbcae52a945f505f1a009ea2070b23214e43f8317dae3  ./results/talib_swap_10ep.txt
574585a892f252fddb82656cdb83a1b4fb2992667a68e97f1766d7b4e93141d7  ./results/zen3/zen3_100ep.json
8bb2ddd0614b4cc6c93d688fe80e317e30e77328bf0355c3d9b7f8ede1565967  ./results/zen3/zen3_100ep.log
685484739cee77688016c7530860ae8f37d24c981a2b5c14c438768af515442c  ./results/zen3/zen3_30ep.json
f9d071892a4b3d71cc004e199e083408e66096878b410f4a9d0f9d7f5f71167d  ./results/zen3/zen3_30ep.log
5531849592d77bdbe83c36721a07759c77ae791ba1e1bcbd8fe3d1de1acc5497  ./results/zen4/zen4_100ep.json
1e41b82c35b52e095a1503c390b17f716f3ccc016b7625aed1e31aad32af1c79  ./results/zen4/zen4_100ep.log
facd6b9d9ab145610896bf508065e6206ab6c194ef675e14d7b67b13e05147c0  ./results/zen4/zen4_30ep.json
62ef8fbaee4a1d2172b7526e26e21a673c248b92dcffa757c7b27c5b88246d3c  ./results/zen4/zen4_30ep.log
c097443de7f1ddf81b260cdc657ed5cda93f422d9a64cbf157baecdacc5705cc  ./tools/canon.py
20687d3722d0d04e4352cd69a8f3cb6fe7be205d5ae769b70e3b48f88a86f849  ./tools/cfg_exitflags.json
fc2a517813fb9150ee86b30a028bbb3f0623158bead21221a31f275e46622736  ./tools/cfg_mot1.json
63d2d41ec941ca9f6eecf576cbfaf13e59f3a95c20ffadd41a99a1e4cd46d377  ./tools/cfg_mot8_stake50.json
08cfedacc53a87b075e0733cca20588ae1da11648e3f909c25e5e22d18dc5fcf  ./tools/cfg_noexitsig.json
3c808d2422b4ca7518056bbfccb74894c76082a30d2effd775bf0aa698cba68b  ./tools/compare_fthypt.py
b2abc152214f9a18da98b7ce02c56354755f7d3a8d7b4191f71e030ce77709d0  ./tools/config.json
84536263ba0e4f6fc5124a7c741f964e9afccc70d17492252dca0ff72ab3aa3b  ./tools/run_one.sh
