diff options
author | Michael Schmidt <github@mschmidt.me> | 2017-12-13 17:40:35 +0100 |
---|---|---|
committer | Bernhard Schommer <bschommer@users.noreply.github.com> | 2017-12-13 17:40:35 +0100 |
commit | d2ae46db53df8b5cbdff682451e58e4c3e64b4db (patch) | |
tree | 2a407ab3032edbb14b0d8b6151dde617aa1bec10 /lib/Decidableplus.v | |
parent | 6753e8f33cd4b26dbb256ae4886f11d60eb0e370 (diff) | |
download | compcert-d2ae46db53df8b5cbdff682451e58e4c3e64b4db.tar.gz compcert-d2ae46db53df8b5cbdff682451e58e4c3e64b4db.zip |
Export configured architecture to JSON (#38)
The architecture which was configured is now exported in a new top-level json field.
Diffstat (limited to 'lib/Decidableplus.v')
0 files changed, 0 insertions, 0 deletions