Graham Leach-Krouse comments

Repositories
Issues
Comments

Results 31 comments of


                                            Graham Leach-Krouse

ELF Parser in Lean

Update: we've now got a stable-ish implementation of something corresponding to the rems-project `elf32_file` and `elf64_file`, here: https://github.com/draperlaboratory/ELFSage/blob/deb16f7f9cdb6d02bbd76c4aeb288b95e024ab25/ELFSage/Types/File.lean#L91 It's essentially: ``` structure ELF64File where /-- The ELF Header -/ file_header...