Activity - LustreC

Activity

From 07/29/2021 to 08/27/2021

08/25/2021

12:00 PM Revision 70710795 (lustrec): first draft with translated cocospec: Lélio Brun

07/29/2021

04:02 PM Revision 5b98398a (lustrec): first version working with stateless contracts: Lélio Brun

Also available in: Atom