Skip to content
GitLab
Explore
Sign in
CertiCompil
CompCert-KVX
Repository
compcert-kvx
riscV
TargetPrinter.ml
Find file
Blame
History
Permalink
Revert "Remove `__builtin_nop` for some architectures. (#208)"
· 7077c2ea
Bernhard Schommer
authored
Jan 02, 2020
This reverts commit
4dfcd7d4
.
7077c2ea