100644 blob eed76c75ec1231dafe60a922f5b66efadbc7c30a	FlockModule.java
100644 blob d31a6e79cac8f7580c62ede0a7c631a9c8979207	IFlockModule.java
040000 tree 306a8afb0f92e74d697d8b5ab70415dc0012598d	context
040000 tree a62ad9758d09a7238a443a6f9ead620269432846	emc
040000 tree af0b1bd4f9b2b06f52ef87eeb037b2f3717b0e39	equivalences
040000 tree 2917cf53ed6a7c415b622866b00954138b185f82	execute
040000 tree 274a5fa952026111aa87464f0048140ff0fdaa12	model
040000 tree 5fde8f371e288ea701ee51812018bda8d408432c	parse