da/__init__.py,sha256=XkSW6ZGNWSQ0JXq13SnRlysOiMqGwX39_jhMgE9a0IY,460
da/__main__.py,sha256=purmmAl-wKrvCRqpxEhy11NbsJeX3tAg6aE7NH4vFVo,14299
da/api.py,sha256=bz9uiTqWrF7hHtfxry3k88CAUMKRmbZ4CbeRE3Tez2A,17092
da/common.py,sha256=HKAO5031JNVzoXYZh58QyyEPSIBYIMADJ9V3Xf8eBqk,34169
da/freeze.py,sha256=Ct707ruWsONJNmhGTNMrOPGSa_uKQ0keT4LGZ0WMMfk,8987
da/pattern.py,sha256=x9mJdIhDtmKooNgCiO7Z7oFHzTRJv9OJXq5gLrW_knY,9675
da/sim.py,sha256=QFYMXtSZkOEdbTYuqSbUWWsaZ8z91a4tpd0udnU94I0,66894
da/compiler/__init__.py,sha256=_q8s6JnWkW-qNaDC3Z76gJcodnt4bU0rQz4Weja_RWA,591
da/compiler/__main__.py,sha256=Br2rOTaxeBOez-lfsq43lBefDyrGhLJA7w4dJDyCXks,1415
da/compiler/daast_dict.py,sha256=C8U-JKi2M3fzTDU8yodIWU4G1cYyVcVGyMKRzEkbHXs,16412
da/compiler/daast_nest.py,sha256=J85sXhxU-TM61-terSg1Dy4nD6NpmVC7yVEYHswCSoQ,21022
da/compiler/dast.py,sha256=m0Gdg1xtW26ku7alCJ82Xe2YGKXDwoe-VfAWpkJCOaI,72221
da/compiler/incgen.py,sha256=GgzZJqikwNK7G0LB3830P5jKRTJcDn1Yy5DKnK_P1dU,49015
da/compiler/parser.py,sha256=Lco-BSbMGRoaktXMrh12xF-52vayL27eV64xJFoTqsI,95745
da/compiler/pseudo.py,sha256=1eWVL6cesvRDzwLN5gMB3faKAb_aFdF7Mjv9GE54yKg,25121
da/compiler/pygen.py,sha256=QqSbaXRaHjs3q6vL1wBnhePSIhrnVas_K0tPDoRL8PE,53356
da/compiler/symtab.py,sha256=-BpcBJ_Gp_zjPsbrLCOyN74L36hEH1OoGuMej9FnKbE,10465
da/compiler/ui.py,sha256=5MTFvBRkfhanIQGZzkkmSAcMjufQlOwcs0Uvt6cKI-4,19058
da/compiler/utils.py,sha256=2J9c2ijZ8yfiztMlKCPZ14swhkOfdovAVNRWC177Mr4,5682
da/examples/__init__.py,sha256=sFGoQGNbIYvzTHGJAg5ZsM4gLK0qeewGmMak3oCJzA4,42
da/examples/2pcommit/__init__.py,sha256=sFGoQGNbIYvzTHGJAg5ZsM4gLK0qeewGmMak3oCJzA4,42
da/examples/2pcommit/orig.da,sha256=BYg1tzhKxlhDYkk31cY9Ga3dARLwfIblU6FmFqFfiiQ,2054
da/examples/2pcommit/spec.da,sha256=X-t_SmB08TfBma6PslJ4W8gUMrC5ZURzWCsnymI3sJ4,2054
da/examples/clpaxos/__init__.py,sha256=sFGoQGNbIYvzTHGJAg5ZsM4gLK0qeewGmMak3oCJzA4,42
da/examples/clpaxos/spec.da,sha256=qqYCpyo4LK6pfHM9R1JSlse7uJ7jVv5x3r6N1VoBb2s,3530
da/examples/crleader/__init__.py,sha256=sFGoQGNbIYvzTHGJAg5ZsM4gLK0qeewGmMak3oCJzA4,42
da/examples/crleader/orig.da,sha256=f9mzPuS10j2r6lBfaXrEGAAodPBknjZ5q6G9OYEAgIY,918
da/examples/dscrash/__init__.py,sha256=sFGoQGNbIYvzTHGJAg5ZsM4gLK0qeewGmMak3oCJzA4,42
da/examples/dscrash/orig.da,sha256=Jv8f7-R-HLnuRo1hcsa3xyOKjVPu9mafl4JA-657-Pk,1040
da/examples/dscrash/spec.da,sha256=VN66ZMR12Ced7MSGFlc4auEwNMhiPpc4AJmfVLYGFus,775
da/examples/hsleader/__init__.py,sha256=sFGoQGNbIYvzTHGJAg5ZsM4gLK0qeewGmMak3oCJzA4,42
da/examples/hsleader/orig.da,sha256=WPxNVbbGvS6z_UFRmtob4SZ_ayyEtfzvC9Y3kRRWRvw,2386
da/examples/hsleader/spec.da,sha256=bGZM9MiW86J0pamF_p1Dxcf4p6ujRLcfEWBM7WZvD3A,1557
da/examples/lamutex/__init__.py,sha256=sFGoQGNbIYvzTHGJAg5ZsM4gLK0qeewGmMak3oCJzA4,42
da/examples/lamutex/orig.da,sha256=wHxO95ug7B3la_oj-OewFI_49XOSXSAhLkwogbmk1wU,2246
da/examples/lamutex/spec.da,sha256=wVIsyLhrqgl3xatkyl02C7ZIJbPHLp86xi74sS4oyZs,1741
da/examples/lamutex/spec_lam.da,sha256=oalg7IAc0pTaNsd9lnfOsm4q1SD8mLhZMVSij7xsf9E,1706
da/examples/lapaxos/__init__.py,sha256=sFGoQGNbIYvzTHGJAg5ZsM4gLK0qeewGmMak3oCJzA4,42
da/examples/lapaxos/orig.da,sha256=GaMFK95CwIemlbjtqxXIZFj8zAS3J-rMGCimvJAGkvg,3275
da/examples/pingpong/__init__.py,sha256=sFGoQGNbIYvzTHGJAg5ZsM4gLK0qeewGmMak3oCJzA4,42
da/examples/pingpong/ping.da,sha256=c8436zw84XNzJMIlm7tfpUEPudcXUnGf40ttrC7kcnQ,857
da/examples/raft/__init__.py,sha256=sFGoQGNbIYvzTHGJAg5ZsM4gLK0qeewGmMak3oCJzA4,42
da/examples/raft/orig.da,sha256=yK__4kSe_80RC5Cy1cgTfYvm0EYI_VeUwFdKg5rl398,9776
da/examples/ramutex/__init__.py,sha256=sFGoQGNbIYvzTHGJAg5ZsM4gLK0qeewGmMak3oCJzA4,42
da/examples/ramutex/orig.da,sha256=vBhix07uW1NbFidvFT5dZ3JUUN9JQxxFw6-eM9hGtrk,1578
da/examples/ramutex/spec.da,sha256=lImsnWB5V23K4KtsZaYuT_xLJ2YUTjK0gRUDBJpmwWI,1661
da/examples/ratoken/__init__.py,sha256=sFGoQGNbIYvzTHGJAg5ZsM4gLK0qeewGmMak3oCJzA4,42
da/examples/ratoken/spec.da,sha256=gdHIWVjlsEOPzozFl7KdCNR4piTWy2J6rM2dXNVL4RQ,1863
da/examples/sktoken/__init__.py,sha256=sFGoQGNbIYvzTHGJAg5ZsM4gLK0qeewGmMak3oCJzA4,42
da/examples/sktoken/orig.da,sha256=6NLSHRySvRfL4EG-oYhGUxQLF3413YJeLPb6RKSUpl0,1973
da/examples/vrpaxos/__init__.py,sha256=sFGoQGNbIYvzTHGJAg5ZsM4gLK0qeewGmMak3oCJzA4,42
da/examples/vrpaxos/orig.da,sha256=28i3SlPLz7nr5hhRro534lsGRZzReoNptrCWNsG8mnE,7548
da/importer/__init__.py,sha256=hwxo2XGUqgucVE2BIBFBkZqj9n1YfjJjsob_1J2mZKM,1708
da/importer/py36.py,sha256=KpMziSboioPxjozEhjuli31_71cwDJPoLB7qzArokgw,7182
da/importer/py37.py,sha256=OfqcoJrpwoJ0bQ3sE00zaCoSCBm4UviDO07nAdaCh44,9076
da/lib/__init__.py,sha256=sFGoQGNbIYvzTHGJAg5ZsM4gLK0qeewGmMak3oCJzA4,42
da/tools/__init__.py,sha256=AbpHGcgLb-kRsJGnwFEktk7uzpZOCcBY74-YBdrKVGs,1
da/tools/unparse.py,sha256=xxULGYAlRIA1pOSkYVnGa3w0gtlCWwTXQtnjmFx4rq8,23759
da/transport/__init__.py,sha256=S8jxbdEyz3UhLEA9JGZWe9DpXgORv3WLWwROr-0dyNc,1442
da/transport/base.py,sha256=1IRyrNV5G5lZJZvX-Ig21fbbROzapQcXzSCrz62bP50,4134
da/transport/manager.py,sha256=gTZewVeCqG8p8GxWIBRc2Lkc1ZbYO7fvCIQpxPPpCx4,5871
da/transport/mesgloop.py,sha256=yTjwENKdurqL88tJCTrsAnwgGrc-HdVxL3Aj4S4gxF4,5492
da/transport/sock.py,sha256=lJVefZCXIds6pnacU2XlQ8dDO56vfAQXVilNiHD_q5A,24869
pyDistAlgo-1.1.0b13.dist-info/METADATA,sha256=-CogRx6agm150GzDIY0Nl1ojdqCmB7kSRL4ExuULJzQ,602
pyDistAlgo-1.1.0b13.dist-info/RECORD,,
pyDistAlgo-1.1.0b13.dist-info/WHEEL,sha256=NzFAKnL7g-U64xnS1s5e3mJnxKpOTeOtlXdFwS9yNXI,92
pyDistAlgo-1.1.0b13.dist-info/top_level.txt,sha256=i__AawHWQNaaZjCriIfNFuGR-ar1n1scdIBDKnA4rhw,3
