CristalCaveGem » LustreC

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