Pierre-Loïc Garoche
- Login: ploc
- Email: pierre-loic.garoche@enac.fr
- Send diff email: Yes
- Registered on: 07/28/2011
- Last connection: 01/03/2022
Issues
| open | closed | Total | |
|---|---|---|---|
| Assigned issues | 40 | 25 | 65 |
| Reported issues | 0 | 0 | 0 |
Projects
| Project | Roles | Registered on |
|---|---|---|
| ControlSystem Analysis Library | Manager, Developer, Reporter | 01/28/2013 |
| Quanser 3DOF open database | Manager, Developer, Reporter | 06/28/2012 |
| CristalCaveGem | Manager, Developer | 09/11/2013 |
| GAL Lib | Manager | 06/12/2014 |
| LustreC | Manager, Developer, Reporter | 10/01/2013 |
| Lustrec-Tests | Manager, Developer, Reporter | 01/08/2016 |
| LustreEditor | Manager | 01/15/2013 |
| Ocypode | Manager | 12/13/2016 |
| OSDP: OCaml Semi Definite Programming | Manager | 06/05/2014 |
| Assumptio | Manager, Reporter | 07/29/2011 |
| pplWrapper | Manager | 01/27/2014 |
| The Unified Formal Framework | Manager | 01/27/2014 |
Activity
12/09/2021
- 10:16 AM LustreC Revision 9735491b (lustrec): only requires seal package for lustrev
09/14/2021
09/08/2021
- 09:56 AM LustreC Revision 9d3bcc89 (lustrec): Adapted json-parser from stateflow tool to the new signatures
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 extension of tiny now deals with these!
11/17/2020
- 04:38 PM LustreC Revision ef598ac3 (lustrec): moved from Num to Zarith. IMpacted main.ml ad uses of Z3 in zustre_cex and seal-extract
08/20/2020
Also available in: Atom