CristalCaveGem » LustreC

07/30/2020

04:54 PM Revision bd4cb9d6 (lustrec): Opam not generated by dune

Corentin Lauverjat

04:52 PM Revision b6a913e1 (lustrec): Explanation about the Makefile

Corentin Lauverjat

04:50 PM Revision 491aa732 (lustrec): Add explanation for mlmpfr and mpfr version pinning

Corentin Lauverjat

04:35 PM Revision 9c4cc944 (lustrec): Transition to dune build system

Improvement of opam integration
Dockerfile based on Alpine
Dockerfile based on Ubuntu
Update the README.md Corentin Lauverjat

07/27/2020

02:08 PM Revision 91b83eb8 (lustrec): ...

Xavier Thirioux

01:44 PM Revision fc36d0a0 (lustrec): added some cleaning about hash-tables used for typing, clocking, etc.

Xavier Thirioux

07/23/2020

03:34 PM Revision f7c73c82 (lustrec): Correctif

Corentin Lauverjat

03:12 PM Revision 3769b712 (lustrec): Passage à dune v2

Corentin Lauverjat

03:05 PM Revision 589ccf9f (lustrec): Passage à dune

Corentin Lauverjat