Skip to content
GitLab
Explore
Sign in
CertiCompil
CompCert-KVX
Repository
compcert-kvx
riscV
Asmgenproof1.v
Find file
Blame
History
Permalink
Fix compile for architectures other than AArch64 (#192)
· 7d5db993
Bernhard Schommer
authored
Aug 17, 2019
Some changes were not correctly propagated to all architectures.
7d5db993