Pierre-Loïc Garoche
- Login: ploc
- Email: pierre-loic.garoche@enac.fr
- Send diff email: Yes
- Registered on: 07/28/2011
- Last connection: 09/04/2024
Issues
| open | closed | Total | |
|---|---|---|---|
| Assigned issues | 146 | 25 | 171 |
| 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
09/13/2024
09/11/2024
- 06:37 PM LustreC Revision 0fad8495 (lustrec): reactivate scope plugin
09/10/2024
- 11:42 AM LustreC Revision bea511e1 (lustrec): Trying to make it work with opam
07/22/2022
- 05:56 PM LustreC Revision 91bf63ea (lustrec): Preping for future release 1.8
- 05:50 PM LustreC Revision 4899e2fd (lustrec): Script to build in docker
- 05:32 PM LustreC Revision 88f0432e (lustrec): Removed option in configure.ac to rely on github Z3
- 05:19 PM LustreC Revision 928d0cbd (lustrec): Added tiny as an optional feature
- 05:19 PM LustreC Revision d2fdea2b (lustrec): missing dep to str in _tags
07/05/2022
- 03:22 PM LustreC Revision d072fb87 (lustrec): Preparing release 1.7 Xia/Huai
04/12/2022
Also available in: Atom