Revision c065827c
Changed the option horntraces to a general traces option
This annotation phases would have to be moved in optimization of normalized code
Files
- added
- modified
- copied
- renamed
- deleted
| ID | c065827c98057240acb11fb8dffcb75d410b1318 |
| Parent | e9c64a30 |
| Child | 89f551c9 |
Added by Pierre-Loïc Garoche almost 5 years ago
Changed the option horntraces to a general traces option
This annotation phases would have to be moved in optimization of normalized code