diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-21 16:17:44 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-21 16:17:44 +0200 |
| commit | bc1fbdd0baaab41aa048b3214ec71bb0cc04dfcc (patch) | |
| tree | 797388459aa43a97ec3cf696664540a5840839dc /lib | |
| parent | 435dc0e6fe74f0ab06737360e1dc49b42b95f1e4 (diff) | |
| download | compcert-bc1fbdd0baaab41aa048b3214ec71bb0cc04dfcc.tar.gz compcert-bc1fbdd0baaab41aa048b3214ec71bb0cc04dfcc.zip | |
Applied a few simplification for temporary registers.
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions