diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-03 19:18:44 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-03 19:18:44 +0100 |
| commit | 668912983cd68f5f233bfd3af280f911a8522a84 (patch) | |
| tree | 2cd62b6ac575df168e100c85f6c3a7ed46138b31 /lib | |
| parent | 51db43fa5ea3f0bfcb42f68b59df1c39842c6486 (diff) | |
| download | compcert-kvx-668912983cd68f5f233bfd3af280f911a8522a84.tar.gz compcert-kvx-668912983cd68f5f233bfd3af280f911a8522a84.zip | |
fix for ppc
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions