Pierre-Loïc Garoche
- Login: ploc
- Email: pierre-loic.garoche@enac.fr
- Send diff email: Yes
- Registered on: 07/28/2011
- Last connection: 09/13/2023
Issues
| open | closed | Total | |
|---|---|---|---|
| Assigned issues | 132 | 25 | 157 |
| 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
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
- 12:09 PM LustreC Revision e178b9f6 (lustrec): Merge branch 'merge-2022_04_11' into cocospec-to-acsl
- 11:39 AM LustreC Revision 56f5e434 (lustrec): Missing files
- 11:33 AM LustreC Revision 2fe896f9 (lustrec): Merge branch 'cocospec-to-acsl' into merge-2022_04_11
04/11/2022
- 09:35 AM LustreC Revision 4d4a4502 (lustrec): updated wrt tiny library API changes
Also available in: Atom