diff options
author | nicolas.nardino <nicolas.nardino@ens-lyon.fr> | 2021-06-17 17:03:53 +0200 |
---|---|---|
committer | nicolas.nardino <nicolas.nardino@ens-lyon.fr> | 2021-06-17 17:03:53 +0200 |
commit | fe557bf65ec738eaa078bc5e398ff690eb1f2b9e (patch) | |
tree | 94a3a535937d213ef9f9eb82a9887d1b3038c2ae /test/gourdinl/compare_pp.sh | |
parent | fae8d9b5c5f93d5eda36f800eb0ca1837b237cba (diff) | |
download | compcert-kvx-fe557bf65ec738eaa078bc5e398ff690eb1f2b9e.tar.gz compcert-kvx-fe557bf65ec738eaa078bc5e398ff690eb1f2b9e.zip |
changed type of schedule_seq in x86 for compatibility
Diffstat (limited to 'test/gourdinl/compare_pp.sh')
0 files changed, 0 insertions, 0 deletions