Pierre-Loïc Garoche
- Email: pierre-loic.garoche@enac.fr
- Send diff email: Yes
- Registered on: 07/28/2011
- Last connection: 05/20/2021
Issues
- Assigned issues: 18
- Reported issues: 0
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
07/02/2021
- 02:39 PM LustreC Revision 4c945dde (lustrec): Improved tiny backend
- 02:37 PM LustreC Revision 9326d33d (lustrec): Better handling of python web-based signal viewer
03/29/2021
- 11:07 PM LustreC Revision 15d8ede0 (lustrec): First working version of the UI to display trajectories
03/22/2021
03/19/2021
- 03:02 PM LustreC Revision 25537a17 (lustrec): Updated tiny plugin to deal with boolean variables, since the latest...
11/17/2020
- 04:38 PM LustreC Revision ef598ac3 (lustrec): moved from Num to Zarith. IMpacted main.ml ad uses of Z3 in zustre_c...
08/20/2020
- 03:05 PM LustreC Revision fca87593 (lustrec): adding lusic building of libraries when installing includes
08/19/2020
Also available in: Atom