Pierre-Loïc Garoche
- Email: pierre-loic.garoche@onera.fr
- Send diff email: Yes
- Registered on: 07/28/2011
- Last connection: 02/22/2019
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
03/18/2019
- 10:29 PM LustreC Revision 4d2d6777 (lustrec): INSTALL file
- 08:31 PM LustreC Revision de671495 (lustrec): Merging branches, disabling the specification print in Ada backend. ...
- 04:52 PM LustreC Revision ab26e196 (lustrec): Merge branch 'lustrec-seal' into ada
- 04:31 PM LustreC Revision d5ec9f63 (lustrec): Minor modif on seal
- 03:34 PM LustreC Revision 6517aa0e (lustrec): Reorganizing folders
03/16/2019
- 03:28 PM LustreC Revision c3b0a8c9 (lustrec): Merge branch 'salsa' into lustrec-seal
- 06:23 AM LustreC Revision 61df3cb9 (lustrec): Reformating plugin signatures. Better report management
03/15/2019
- 10:14 PM LustreC Revision f0a067e9 (lustrec): Better production of trace files.
- By default traces are not produced. Requires the option -t to produce them
03/14/2019
- 12:40 AM LustreC Revision 70be4acf (lustrec): Serious refactoring of scopes plug-in:
- - now properly records the scopes
- only register requested ones
03/13/2019
- 05:23 PM LustreC Revision 57bf28d9 (lustrec): Merge branch 'unstable' into salsa
Also available in: Atom