nik/otrv4mu

Автор	SHA1 Опис	Дата
Sofía Celi	b311139d28 Add rule for running the DAKE	5 роки тому
Sofía Celi	0d29924448 Fix some things on Makefile	5 роки тому
Nik	307dc8d175 Initial protocol model work	5 роки тому
Nik	9364ce24f2 Initial commit	5 роки тому