Project

General

Profile

Activity

From 07/24/2020 to 08/22/2020

08/20/2020

03:38 PM Revision 9e88590e (lustrec): Merge branch 'dune_transition' of https://cavale.enseeiht.fr/git/lus...
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 compatibil...
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
 

Also available in: Atom