Project

General

Profile

Activity

From 01/21/2021 to 02/19/2021

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

02/08/2021

10:23 AM Revision 97d4e95e (lustrec): add gmp dep
Lélio Brun

02/05/2021

02:36 PM Revision ca7e8027 (lustrec): fix almost all warnings
Lélio Brun
02:36 PM Revision 3dfb5cd8 (lustrec): rewrite a bit the menhir parser
Lélio Brun

02/03/2021

03:36 PM Revision b9e707e8 (lustrec): forgot to generate opam file
Lélio Brun
03:31 PM Revision 3daa3cc3 (lustrec): missing dune-site dep
Lélio Brun
03:27 PM Revision e60a3711 (lustrec): missing zarith dep
Lélio Brun
03:01 PM Revision d88b417f (lustrec): try to fix ci
Lélio Brun
02:57 PM Revision 66b7c74d (lustrec): isae gitlab version does not support parallel jobs matrices
Lélio Brun
02:47 PM Revision 719ae9fd (lustrec): migration draft on dune
Lélio Brun

01/26/2021

10:11 AM Revision b43b8eb5 (lustrec): add thread dependency required by z3 lib
Pierre-Loic Garoche

01/21/2021

10:56 AM Revision 7332c335 (lustrec): Merge remote-tracking branch 'origin/unstable'
Lélio Brun
10:27 AM Revision 0b7cffef (lustrec): master creation
BRUN Lelio
 

Also available in: Atom