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 /arm/TargetPrinter.ml | |
| 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 'arm/TargetPrinter.ml')
0 files changed, 0 insertions, 0 deletions