CristalCaveGem » LustreC

08/20/2020

03:38 PM Revision 9e88590e (lustrec): Merge branch 'dune_transition' of https://cavale.enseeiht.fr/git/lustrec into dune_transition

Corentin Lauverjat

03:37 PM Revision 507da95d (lustrec): Mise à jour README.md

Corentin Lauverjat

03:05 PM Revision fca87593 (lustrec): adding lusic building of libraries when installing includes

Pierre-Loïc Garoche

02:53 PM Revision a89ad528 (lustrec): Cleaning up configure.ac by removing now useless informations

Corentin Lauverjat

08/19/2020

03:31 PM Revision a2b101d3 (lustrec): Zustre/Z3 dependency: switched from -R to -rpath to solve compatibility issues with Linux/Gcc vs OSX/Clang

Pierre-Loïc Garoche

03:09 PM Revision a5484aa2 (lustrec): reactivating all plugins

Pierre-Loïc Garoche

02:47 PM Revision 8658035f (lustrec): restricting opam to core install

Pierre-Loïc Garoche

02:46 PM Revision e40fd0dd (lustrec): restricting opam to core install

Pierre-Loïc Garoche

02:46 PM Revision 943dbab3 (lustrec): fixed some code in salsa plugin migration

Pierre-Loïc Garoche

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