Xavier Thirioux
- Login: xthirioux
- Email: xavier.thirioux@enseeiht.fr
- Send diff email: No
- Registered on: 07/09/2013
- Last connection: 07/14/2020
Issues
| open | closed | Total | |
|---|---|---|---|
| Assigned issues | 5 | 3 | 8 |
| Reported issues | 0 | 0 | 0 |
Projects
| Project | Roles | Registered on |
|---|---|---|
| ControlSystem Analysis Library | Developer | 02/07/2014 |
| CristalCaveGem | Developer | 09/11/2013 |
| LustreC | Manager, Developer, Reporter | 10/01/2013 |
| Lustrec-Tests | Manager, Developer, Reporter | 01/08/2016 |
| OSDP: OCaml Semi Definite Programming | Developer | 09/18/2014 |
Activity
07/27/2020
- 02:08 PM LustreC Revision 91b83eb8 (lustrec): ...
- 01:44 PM LustreC Revision fc36d0a0 (lustrec): added some cleaning about hash-tables used for typing, clocking, etc.
07/16/2020
- 10:09 AM LustreC Revision e1f49bdb (lustrec): work in progress for ACSL support
03/12/2020
- 11:26 AM LustreC Revision af49e9a4 (lustrec): forgotten to uodate log.ml
- 11:21 AM LustreC Revision 574c671b (lustrec): 1) log messages are now flushed. 2) very long computation times due to naive code to check for unused variables are now much shorter
06/08/2018
- 06:45 PM LustreC Revision 31027df4 (lustrec): updated luster lexer ??
05/31/2018
- 04:39 PM LustreC Revision 0bd19a92 (lustrec): bug wrt normalization. Didn't take clock into account.
04/12/2016
- 12:50 AM Lustrec-Tests Revision f910b2ed (lustrec-tests): added example in automata/restart_example.lus
02/02/2016
- 06:54 PM Lustrec-Tests Revision 8ff8fd6c (lustrec-tests): tawoa
01/15/2016
- 04:38 PM Lustrec-Tests Revision ce7b20c9 (lustrec-tests): new version
Also available in: Atom