Activity
From 07/22/2020 to 08/20/2020
08/20/2020
- 03:38 PM Revision 9e88590e (lustrec): Merge branch 'dune_transition' of https://cavale.enseeiht.fr/git/lustrec into dune_transition
- 03:37 PM Revision 507da95d (lustrec): Mise à jour README.md
- 03:05 PM Revision fca87593 (lustrec): adding lusic building of libraries when installing includes
- 02:53 PM Revision a89ad528 (lustrec): Cleaning up configure.ac by removing now useless informations
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
- 03:09 PM Revision a5484aa2 (lustrec): reactivating all plugins
- 02:47 PM Revision 8658035f (lustrec): restricting opam to core install
- 02:46 PM Revision e40fd0dd (lustrec): restricting opam to core install
- 02:46 PM Revision 943dbab3 (lustrec): fixed some code in salsa plugin migration
07/30/2020
- 04:54 PM Revision bd4cb9d6 (lustrec): Opam not generated by dune
- 04:52 PM Revision b6a913e1 (lustrec): Explanation about the Makefile
- 04:50 PM Revision 491aa732 (lustrec): Add explanation for mlmpfr and mpfr version pinning
- 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
07/27/2020
- 02:08 PM Revision 91b83eb8 (lustrec): ...
- 01:44 PM Revision fc36d0a0 (lustrec): added some cleaning about hash-tables used for typing, clocking, etc.
07/23/2020
Also available in: Atom