diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2014-11-26 14:46:07 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2014-11-26 14:46:07 +0100 |
commit | b279716c76c387c6c5eec96388c0c35629858b4c (patch) | |
tree | a71079afbe6eebc1162391546aeaebe56dbd56d2 /test/spass/subst.h | |
parent | 1ccc058794381d7d7c2ff704786009019489001d (diff) | |
download | compcert-b279716c76c387c6c5eec96388c0c35629858b4c.tar.gz compcert-b279716c76c387c6c5eec96388c0c35629858b4c.zip |
Introduce symbol environments (type Senv.t) as a restricted view on global environments (type Genv.t). Use symbol environments instead of global environments for external functions (module Events).
Diffstat (limited to 'test/spass/subst.h')
0 files changed, 0 insertions, 0 deletions