100644 blob 33e176820e273b1dce6c1808aeb071a4c652c11a	FlockExecutionTests.java
040000 tree 87f3d0c0b53e96f002b86cff239de7262292e0d4	emc
040000 tree 11c08f10db0068083dc495c3469632b73f032a37	equivalences
040000 tree 3dff2072ff9b097cb7360e921e4e663a1c5478c0	execution
040000 tree 22f6ca22be377608f4f9b7e5e168b41711f12278	model
040000 tree da2f0d88d3cf8cc269d32cc70f23b3885e9c7256	parse
040000 tree 1fcf50a525ccfb954b120c476c924999c58f0aa8	test