Pierre-Loïc Garoche
- Email: pierre-loic.garoche@onera.fr
- Send diff email: Yes
- Registered on: 07/28/2011
- Last connection: 05/17/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
05/09/2019
- 10:19 AM LustreC Revision e5d77428 (lustrec): Solved issue btw mpfr and conv functions (int_to_real was not handled)
04/29/2019
- 10:29 PM LustreC Revision dc732cf2 (lustrec): Solved scopes print order
04/11/2019
- 03:57 PM LustreC Revision 1d95f425 (lustrec): Debug en cours sur les calculs Salsa
03/22/2019
- 02:05 AM LustreC Revision a4c3d888 (lustrec): rev machines in emf
03/21/2019
- 12:45 AM Lustrec-Tests Revision 9ca1404d (lustrec-tests): Updated scripts (emf->json)
- 09:41 PM Lustrec-Tests Revision ffe46d5f (lustrec-tests): Top level contracts are comments
- 09:38 PM Lustrec-Tests Revision 3debaf88 (lustrec-tests): Removed mode labels
- 09:29 PM Lustrec-Tests Revision 2a9aa5e1 (lustrec-tests): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustre...
- 09:29 PM Lustrec-Tests Revision 4784e95f (lustrec-tests): Small modifications to have the tests ok: we do not handle yet...
- 09:28 PM Lustrec-Tests Revision f0e4e301 (lustrec-tests): Moved files content in a single file
Also available in: Atom