diff options
author | Bernhard Schommer <bschommer@users.noreply.github.com> | 2016-02-05 13:51:47 +0100 |
---|---|---|
committer | Bernhard Schommer <bschommer@users.noreply.github.com> | 2016-02-05 13:51:47 +0100 |
commit | f65abd772e574adf0493336a32fb4ea1fe230a8d (patch) | |
tree | 1b2b2cb5a13f2d97d3e38602622a3f5a0d898b9f /driver | |
parent | abb704f93055a572a5078e04c5212ff051309730 (diff) | |
parent | 03112fe3624762c95bab7606eb8b1a56f6bab3db (diff) | |
download | compcert-f65abd772e574adf0493336a32fb4ea1fe230a8d.tar.gz compcert-f65abd772e574adf0493336a32fb4ea1fe230a8d.zip |
Merge pull request #86 from AbsInt/clightgen-improved
Better treatment of names in the clightgen tool
Diffstat (limited to 'driver')
0 files changed, 0 insertions, 0 deletions