Pierre-Loïc Garoche
- Email: pierre-loic.garoche@onera.fr
- Send diff email: Yes
- Registered on: 07/28/2011
- Last connection: 11/29/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
11/22/2019
- 03:09 AM Lustrec-Tests Revision 0ac53ee0 (lustrec-tests): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustre...
- 03:09 AM Lustrec-Tests Revision 82c328c1 (lustrec-tests): seal target
- 03:08 AM Lustrec-Tests Revision 033be72c (lustrec-tests): Seal targets
- 03:07 AM Lustrec-Tests Revision 43dfd684 (lustrec-tests): Added function pure real
11/21/2019
- 03:45 AM LustreC Revision 04a188ec (lustrec): - Refactored Error exception and messages
- - Bugs in partial evaluation for equalities among bool constants
and a nice recursive call generating a stack overf...
11/20/2019
- 08:57 PM LustreC Revision ea758c12 (lustrec): Commenting out unused variables
- 08:57 PM LustreC Revision 1147e80a (lustrec): Array access: solved issues in C backend when basic operations in ar...
- 05:09 PM LustreC Revision c2db420f (lustrec): comment some code to avoid warning at compile time
- 04:42 PM LustreC Revision 9b2c037f (lustrec): solved bug 91 on cavale: spurious commas in emf backend
- 04:38 PM LustreC Bug #90 (Closed): Lustrec error is unreadable
- solved in lustrec-seal 94a9e2c3e99071700d91dbd56a9
Also available in: Atom