Activity
From 07/31/2020 to 08/29/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
Also available in: Atom