diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2016-10-27 16:19:19 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2016-10-27 16:19:19 +0200 |
commit | d50773e537ec6729f9152b545c6f938ab19eb7b8 (patch) | |
tree | cd0673d19fc21a7c9b0e73acbc8dac40111247b8 /backend | |
parent | 883341719d7d6868f8165541e7e13ac45192a358 (diff) | |
download | compcert-d50773e537ec6729f9152b545c6f938ab19eb7b8.tar.gz compcert-d50773e537ec6729f9152b545c6f938ab19eb7b8.zip |
Documentation updates to mention 64-bit mode and x86_64 port
Diffstat (limited to 'backend')
0 files changed, 0 insertions, 0 deletions