Skip to content
GitLab
Explore
Sign in
CertiCompil
CompCert-KVX
Repository
compcert-kvx
driver
Driver.ml
Find file
Blame
History
Permalink
Export configured architecture to JSON (#38)
· d2ae46db
Michael Schmidt
authored
Dec 13, 2017
The architecture which was configured is now exported in a new top-level json field.
d2ae46db