CristalCaveGem » LustreC

03/29/2021

11:07 PM Revision 15d8ede0 (lustrec): First working version of the UI to display trajectories

Pierre-Loïc Garoche

11:12 AM Revision 2756319f (lustrec): messages d'erreurs terminés

Lélio Brun

03/25/2021

06:23 PM Revision e78eb9f5 (lustrec): more error messages

Lélio Brun

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