Pierre-Loïc Garoche

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)

12:34 AM LustreC Revision e8f55c25 (lustrec): - tag_true and tag_false moved to lustre_types: - real constants are hidden in Real.ml{i} module
12:34 AM LustreC Revision efc2cd2f (lustrec): [seal] more progress on seal extract
12:33 AM LustreC Revision 720c7244 (lustrec): sort of slicing for machine code
12:32 AM LustreC Revision 7075d9fc (lustrec): kind2 option for printing expressions
12:27 AM LustreC Revision 8df40160 (lustrec): Reactivated Unfold constant
12:25 AM LustreC Revision 2d2d89d7 (lustrec): partial evaluation for basic lib
12:02 AM LustreC Revision de8e9811 (lustrec): Module to manipulate real constants. For the moment we Num
05:56 PM LustreC Revision 3066247f (lustrec): cleaning debug logs
05:56 PM LustreC Revision e47138b8 (lustrec): reactivating the unfolding of constants
05:55 PM LustreC Revision 2db953dd (lustrec): flatten dependencies in schedule to make sure all required equations...

Also available in: Atom