CristalCaveGem » LustreC

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:11 PM Revision 78013d1e (lustrec): more error messages

Lélio Brun

03:02 PM Revision 25537a17 (lustrec): Updated tiny plugin to deal with boolean variables, since the latest extension of tiny now deals with these!

Pierre-Loïc Garoche

03/18/2021

04:32 PM Revision 91e96bd8 (lustrec): some more error messages

Lélio Brun

03/10/2021

05:22 PM Revision a2327c71 (lustrec): start to write error messages

Lélio Brun

03/09/2021

01:20 PM Revision 90e83deb (lustrec): prepare for the modern error handling of Menhir

Lélio Brun

03/08/2021

10:58 AM Revision 15c3e4e7 (lustrec): generic ACSL spec generation

Lélio Brun

03/01/2021

03:56 PM Revision c226a3ba (lustrec): start generating ACSL spec

Lélio Brun