Pierre-Loïc Garoche
- Email: pierre-loic.garoche@onera.fr
- Send diff email: Yes
- Registered on: 07/28/2011
- Last connection: 01/27/2020
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
Today
- 05:26 AM LustreC Revision f0195e96 (lustrec): - Primitive Tiny backend
- - Renamed Mpfr to lustrec_mpfr
- Introduced dependency in Zarith. Trying to move away from Num
01/27/2020
- 07:00 PM LustreC Revision 2120af73 (lustrec): [bug cavale 93] solved: issue when resetting a stateless node. Now g...
- 06:52 PM LustreC Bug #93 (Closed): C code generation ERROR when node is stateless
- 06:51 PM LustreC Bug #93 (Resolved): C code generation ERROR when node is stateless
- 04:24 PM LustreC Revision a0c92fa8 (lustrec): printing nodes + more progress on seal export
12/09/2019
- 04:43 PM LustreC Revision 8d164031 (lustrec): [MPFR] add more functions and better treatment of print output varia...
- 04:42 PM LustreC Revision 4e9ba094 (lustrec): temporary changed in the expression printer
- 09:53 AM LustreC Revision c4521397 (lustrec): preserving types/clocks when possible
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
Also available in: Atom