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 /cparser | |
| parent | e9f40aaca38ba81f3e9e5c0a5e03de9fa074d838 (diff) | |
| download | compcert-kvx-a94edc576ca2c288c66f710798ab2ada3c485a40.tar.gz compcert-kvx-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 'cparser')
0 files changed, 0 insertions, 0 deletions