Activity - LustreC

Activity

From 03/19/2021 to 04/17/2021

03/22/2021

01:14 PM Revision 820616b1 (lustrec): Tiny verifier: better control of the print commands: Pierre-Loïc Garoche

03/19/2021

03:02 PM Revision 25537a17 (lustrec): Updated tiny plugin to deal with boolean variables, since the latest...: Pierre-Loïc Garoche

Also available in: Atom