Silvano Dal Zilio
- Login: dalzilio
- Registered on: 2015-04-28
- Last sign in: 2024-02-22
Issues
| open | closed | Total | |
|---|---|---|---|
| Assigned issues | 0 | 0 | 0 |
| Reported issues | 0 | 0 | 0 |
Projects
| Project | Roles | Registered on |
|---|---|---|
| fracio | Project administrator | 2020-07-09 |
| demo-genom3 | Developer | 2020-02-26 |
| Drone V&V | Developer | 2020-07-11 |
| GenoM3 Validation and Verification | Developer | 2015-04-29 |
| Case studies UPPAAL | Developer | 2018-01-19 |
| RobNav | Developer | 2015-10-23 |
| GenoM3 FIACRE Template | Developer | 2018-11-21 |
| thesis Herman Bruyninckx comments | Developer, Reporter | 2018-11-20 |
Activity
2021-07-22
- 23:13 fracio Revision bdb480f8 (fracio): added support for variables
- 18:16 fracio Revision 35311000 (fracio): modified global tarnsitions
- 16:42 fracio Revision 9af0ccf7 (fracio): added info for global transitions
- 16:17 fracio Revision eb8acb67 (fracio): added info on instances
- 16:07 fracio Revision 6d050673 (fracio): first working implem of Symbols
- 11:49 fracio Revision 91259dac (fracio): starting refactoring before symbol table creation
2021-07-19
2021-06-30
2020-07-13
- executable version for Linux (ELF 64-bit LSB executable, x86-64)
- frac with json2 modifications
Also available in: Atom