Activity
From 01/20/2021 to 02/18/2021
02/16/2021
- 04:21 PM Revision 1df55e58 (lustrec): minor rewriting
- 12:33 PM Revision 971a4d81 (lustrec): missing header files in dune install targets
02/15/2021
- 02:59 PM Revision ac6ce5a1 (lustrec): disable tests in gitlab CI
- 02:26 PM Revision 57c96fb7 (lustrec): setup tests for dune
02/08/2021
02/05/2021
- 02:36 PM Revision ca7e8027 (lustrec): fix almost all warnings
- 02:36 PM Revision 3dfb5cd8 (lustrec): rewrite a bit the menhir parser
02/03/2021
- 03:36 PM Revision b9e707e8 (lustrec): forgot to generate opam file
- 03:31 PM Revision 3daa3cc3 (lustrec): missing dune-site dep
- 03:27 PM Revision e60a3711 (lustrec): missing zarith dep
- 03:01 PM Revision d88b417f (lustrec): try to fix ci
- 02:57 PM Revision 66b7c74d (lustrec): isae gitlab version does not support parallel jobs matrices
- 02:47 PM Revision 719ae9fd (lustrec): migration draft on dune
01/26/2021
01/21/2021
Also available in: Atom