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

07/16/2020

03:38 PM Revision dbc69edc (lustrec): Passage à dune

Corentin Lauverjat

10:09 AM Revision e1f49bdb (lustrec): work in progress for ACSL support

Xavier Thirioux

07/09/2020

03:33 PM Revision 8c36178f (lustrec): Merge branch 'lustrec-seal' of https://cavale.enseeiht.fr/git/lustrec into lustrec-seal

Pierre-Loïc Garoche

03:27 PM Revision 58fd528a (lustrec): Added some missing locations in tiny plugin

Pierre-Loïc Garoche

07/02/2020

03:32 PM Revision 3e039a34 (lustrec): Tiny: solved issue with a change in the Location.dummy signature

Pierre-Loïc Garoche