diff options
| author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2009-08-03 15:32:27 +0000 |
|---|---|---|
| committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2009-08-03 15:32:27 +0000 |
| commit | 213bf38509f4f92545d4c5749c25a55b9a9dda36 (patch) | |
| tree | a40df8011ab5fabb0de362befc53e7af164c70ae /backend/Linearizeproof.v | |
| parent | 88b98f00facde51bff705a3fb6c32a73937428cb (diff) | |
| download | compcert-kvx-213bf38509f4f92545d4c5749c25a55b9a9dda36.tar.gz compcert-kvx-213bf38509f4f92545d4c5749c25a55b9a9dda36.zip | |
Transition semantics for Clight and Csharpminor
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1119 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'backend/Linearizeproof.v')
0 files changed, 0 insertions, 0 deletions