Added 64 bit variant for CompCert 3.7#1318

Merged

palmskog merged 1 commit intocoq:masterfrom MSoegtropIMC:compcert64-3.7

Jun 27, 2020

+901

Commits on Jun 27, 2020

Added 64 bit variant for CompCert 3.7
MSoegtropIMC
committed