Pierre-Loïc Garoche
- Email: pierre-loic.garoche@enac.fr
- Send diff email: Yes
- Registered on: 07/28/2011
- Last connection: 10/07/2020
Issues
Projects
- Assumptio (Manager, Reporter, 07/29/2011)
- Quanser 3DOF open database (Manager, Developer, Reporter, 06/28/2012)
- LustreEditor (Manager, 01/15/2013)
- ControlSystem Analysis Library (Manager, Developer, Reporter, 01/28/2013)
- CristalCaveGem (Manager, Developer, 09/11/2013)
- LustreC (Manager, Developer, Reporter, 10/01/2013)
- pplWrapper (Manager, 01/27/2014)
- The Unified Formal Framework (Manager, 01/27/2014)
- OSDP: OCaml Semi Definite Programming (Manager, 06/05/2014)
- GAL Lib (Manager, 06/12/2014)
- Lustrec-Tests (Manager, Developer, Reporter, 01/08/2016)
- Ocypode (Manager, 12/13/2016)
Activity
08/20/2020
- 03:05 PM LustreC Revision fca87593 (lustrec): adding lusic building of libraries when installing includes
08/19/2020
- 03:31 PM LustreC Revision a2b101d3 (lustrec): Zustre/Z3 dependency: switched from -R to -rpath to solve compatibil...
- 03:09 PM LustreC Revision a5484aa2 (lustrec): reactivating all plugins
- 02:47 PM LustreC Revision 8658035f (lustrec): restricting opam to core install
- 02:46 PM LustreC Revision e40fd0dd (lustrec): restricting opam to core install
- 02:46 PM LustreC Revision 943dbab3 (lustrec): fixed some code in salsa plugin migration
07/09/2020
- 03:33 PM LustreC Revision 8c36178f (lustrec): Merge branch 'lustrec-seal' of https://cavale.enseeiht.fr/git/lustre...
- 03:27 PM LustreC Revision 58fd528a (lustrec): Added some missing locations in tiny plugin
07/02/2020
- 03:32 PM LustreC Revision 3e039a34 (lustrec): Tiny: solved issue with a change in the Location.dummy signature
05/28/2020
- 03:45 PM LustreC Bug #96 (Resolved): Lustrec installation failed
- Remove lustresf in configure since that's the one producing this error.
Still, that's pretty weird since ocamlbuild ...
Also available in: Atom