Skip to content
GitLab
Explore
Sign in
CertiCompil
CompCert-KVX
Repository
compcert-kvx
test
abi
generator.ml
Find file
Blame
History
Permalink
Testing calling conventions and interoperability with another C compiler
· f3694c4e
Xavier Leroy
authored
Jan 18, 2021
Using a combination of fixed and randomly-generated function signatures.
f3694c4e