diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2021-06-10 17:51:46 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2021-08-22 13:22:37 +0200 |
commit | a94edc576ca2c288c66f710798ab2ada3c485a40 (patch) | |
tree | 8c5cde84148a81628c2f666f926cea3daa12a19d /test/regression/Results/struct7 | |
parent | e9f40aaca38ba81f3e9e5c0a5e03de9fa074d838 (diff) | |
download | compcert-a94edc576ca2c288c66f710798ab2ada3c485a40.tar.gz compcert-a94edc576ca2c288c66f710798ab2ada3c485a40.zip |
Add Ctypes.link_match_program_gen
A more general version of the link_match_program linking theorem.
It supports match_fundef relations parameterized by the source compilation unit.
Diffstat (limited to 'test/regression/Results/struct7')
0 files changed, 0 insertions, 0 deletions