CristalCaveGem » LustreC

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

02/19/2021

11:21 AM Revision b20c1e19 (lustrec): Merge branch 'dune'

Lélio Brun

11:19 AM Revision 90cc3b8e (lustrec): some rewriting in C backend pretty-printer

Lélio Brun

02/16/2021

04:21 PM Revision 1df55e58 (lustrec): minor rewriting

Lélio Brun

12:33 PM Revision 971a4d81 (lustrec): missing header files in dune install targets

Lélio Brun

02/15/2021

02:59 PM Revision ac6ce5a1 (lustrec): disable tests in gitlab CI

Lélio Brun

02:26 PM Revision 57c96fb7 (lustrec): setup tests for dune

Lélio Brun