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 6 years ago
Changed the option horntraces to a general traces option
This annotation phases would have to be moved in optimization of normalized code