Skip to content
GitLab
Explore
Sign in
CertiCompil
CompCert-KVX
Repository
compcert-kvx
driver
Driver.ml
Find file
Blame
History
Permalink
Added dump-mnemonics option.
· c0da0f3a
Bernhard Schommer
authored
Sep 25, 2017
This option allows it to dump a list of all used mnemonics into a file. Bug 22239
c0da0f3a