diff options
| author | Kathy Gray | 2014-12-11 03:59:28 +0000 |
|---|---|---|
| committer | Kathy Gray | 2014-12-11 03:59:28 +0000 |
| commit | 5a555aadcebda09a490c5855bc82c88ea8064011 (patch) | |
| tree | abd55f13563699e6ce396c11b599bb5870060e9a /src/elf_model/elf_executable_file3.lem | |
| parent | ccd92a34e436e890671ca66d2ad19180b89b274d (diff) | |
Many fixes, primarily dealing with undefined
Including:
turn an undefined literal into a vector of undefined values of the correct length
handle sparse vector unspecified default values as undefined literals
allow global lets to call library functions
Diffstat (limited to 'src/elf_model/elf_executable_file3.lem')
0 files changed, 0 insertions, 0 deletions