Pierre-Loïc Garoche
- Email: pierre-loic.garoche@onera.fr
- Send diff email: Yes
- Registered on: 07/28/2011
- Last connection: 07/16/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
07/18/2019
- 09:38 PM LustreC Revision 0323b9e6 (lustrec): More kind2 outputs: clocked fun call + clocked and restart fun call
- 09:02 AM LustreC Revision 73a4995a (lustrec): seal: now deals with enum
- 07:52 AM LustreC Revision ff61a638 (lustrec): when condition in kind2 printer
- 07:39 AM LustreC Revision 3b007718 (lustrec): EMF backend issue
07/17/2019
- 11:12 PM LustreC Revision 72a93147 (lustrec): seal: stateless systems
- 11:10 PM LustreC Bug #86 (Closed): lustrev ne se termine pas
- The example was not looping but generating an assert false
commit 72a93147f - 07:40 PM LustreC Revision 1d3f2f66 (lustrec): every in kind2 syntax
- 07:38 PM LustreC Bug #82 (Closed): kind2 output for every
- commit 1d3f2f66f
- 07:30 PM LustreC Revision ae08b9fc (lustrec): [seal] delt with Merge and when
- [printer] more kind2 syntax
- 07:28 PM LustreC Bug #83 (Closed): Kind2 output "bool clock" => "bool"
- commit ae08b9fc9
Also available in: Atom