diff options
| author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2009-02-27 15:13:15 +0000 |
|---|---|---|
| committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2009-02-27 15:13:15 +0000 |
| commit | 72f346bac066fbc58f88f101f021c5052287ad0a (patch) | |
| tree | 85b4c19275eb9c632ec89d0b3b408a7c3bfaf63b /backend/Tailcallproof.v | |
| parent | 2837d6dee77b4cbdeb12c5b58bb72bcc6ad416b5 (diff) | |
| download | compcert-72f346bac066fbc58f88f101f021c5052287ad0a.tar.gz compcert-72f346bac066fbc58f88f101f021c5052287ad0a.zip | |
New linearization heuristic
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1001 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'backend/Tailcallproof.v')
0 files changed, 0 insertions, 0 deletions