diff options
| author | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2017-08-18 11:23:05 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-08-18 11:23:05 +0200 |
| commit | f66711dc06c73adf3dd715c564cb6d27b51c5199 (patch) | |
| tree | e68a132caa6df4bc3215b638dfe83ddf9db7a506 /driver/Commandline.ml | |
| parent | ab6d5e98b4d967cc7834ad457b36bbf4c141f2ee (diff) | |
| parent | fc1b2bfea598354a3e939de35d270376c880e1b0 (diff) | |
| download | compcert-f66711dc06c73adf3dd715c564cb6d27b51c5199.tar.gz compcert-f66711dc06c73adf3dd715c564cb6d27b51c5199.zip | |
Merge pull request #22 from AbsIntPrivate/arm_large_offsets
Issue #P18: handle large offsets when accessing return address and back link in the stack frame
Diffstat (limited to 'driver/Commandline.ml')
0 files changed, 0 insertions, 0 deletions