Project

General

Profile

Activity

From 07/19/2020 to 08/17/2020

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
 

Also available in: Atom