diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2020-02-03 10:52:53 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2020-02-03 10:52:53 +0100 |
commit | 7dca7590aa212806ee939244b253a6a067f34bfc (patch) | |
tree | 1449c8a386c23ab0a8d443ac46ebccb39a8630e9 /debug/DebugTypes.mli | |
parent | 326bdc281c60ac826129b0a0fda33dc17d8498fa (diff) | |
download | compcert-kvx-7dca7590aa212806ee939244b253a6a067f34bfc.tar.gz compcert-kvx-7dca7590aa212806ee939244b253a6a067f34bfc.zip |
Added flag to desactivate condition inversion
Diffstat (limited to 'debug/DebugTypes.mli')
0 files changed, 0 insertions, 0 deletions