37aa3ed6e0b50134a149cea26466986ac092d4731b0317e7bb7a3b70a170be55  Gate.tla
a7d57914660a151c959d81329b7e1c4aafc45804a09317eefa9b4745ec1b8c2f  MCGate.tla
e2a43ed92c529bec9eac10c269010b5d8d85e75a06dc239c3897cc6c2fb68ff5  Gate.cfg
5a7d8f7cce7421ab575a5af649a444f3e6db25756075f3275ff2587f87a3b74c  check.sh
01e4359f384da373027e89cc917d6e43937410ec25ad891d9344eed957b27b74  Dockerfile
162ecba02a88591042588a6612c516928cb4ec915ae6de999d1a6170de2a209c  GateProof.tla
8b61f692eda47f1cf473399975eb76993433434984b9a1668a890318a74e2a09  prove.sh
38d5ab1ba382acd006774a39fbf29e5407bc6eca375a7519afcbf632bdf6a85e  Dockerfile.tlaps
a77590d5d8a8cf7e098ad26bcbeb5906bfe2386909c3dd53d2ddae62970be15b  TraceGate.tla
994fbdc58806d22e77fccb2efe7f10ab961108a5085f4287199815b067265f70  TraceGate.cfg
638271183aefc1d978e0f3c013f452392084a618baef41e98a89e8b169fdfd84  trace.py
73c3c81a3ce0f4d0eddab2fa7fd236ea5061b3cda1e0aa70c3c5624ae0291c82  trace.sh