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 /README.md | |
| parent | 883341719d7d6868f8165541e7e13ac45192a358 (diff) | |
| download | compcert-kvx-d50773e537ec6729f9152b545c6f938ab19eb7b8.tar.gz compcert-kvx-d50773e537ec6729f9152b545c6f938ab19eb7b8.zip | |
Documentation updates to mention 64-bit mode and x86_64 port
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions