diff options
| author | Yoichi Hirai <i@yoichihirai.com> | 2016-09-07 23:41:12 +0800 |
|---|---|---|
| committer | Yoichi Hirai <i@yoichihirai.com> | 2016-09-10 01:11:15 +0800 |
| commit | c861cf579dc4c1303d6d215b5b31f930e1d6477e (patch) | |
| tree | 0705a10a55d5a14696bb8b5a2fb0a858596f0666 /scripts/fix_homebrew_paths_in_standalone_zip.py | |
| parent | 00e8b059ea0ecd4a945657eabed17293dc73024a (diff) | |
| download | dexon-solidity-c861cf579dc4c1303d6d215b5b31f930e1d6477e.tar dexon-solidity-c861cf579dc4c1303d6d215b5b31f930e1d6477e.tar.gz dexon-solidity-c861cf579dc4c1303d6d215b5b31f930e1d6477e.tar.bz2 dexon-solidity-c861cf579dc4c1303d6d215b5b31f930e1d6477e.tar.lz dexon-solidity-c861cf579dc4c1303d6d215b5b31f930e1d6477e.tar.xz dexon-solidity-c861cf579dc4c1303d6d215b5b31f930e1d6477e.tar.zst dexon-solidity-c861cf579dc4c1303d6d215b5b31f930e1d6477e.zip | |
Translate mapping types into Why3 arrays when keys are integers
Even when the keys are signed the translation is supposed to work
because Why3 arrays allow negative indices.
Diffstat (limited to 'scripts/fix_homebrew_paths_in_standalone_zip.py')
0 files changed, 0 insertions, 0 deletions