search

CakeML / cakeml

CakeML: A Verified Implementation of ML
https://cakeml.org
Other
944 stars 81 forks source link

target real ELF files for x86-64 #38

Open myreen opened 9 years ago

emberian commented 7 years ago

Vaguely related to this, @sorear noted that it'd be nice to have symbols for profiling.

myreen commented 7 years ago

@cmr: The new CakeML compiler explorer might aid a bit in producing symbols for profiling. The project is due to finish in mid-May. However, they are unlikely to get through the entire compiler.

xrchz commented 5 years ago

Is @DominicPM likely to touch this again?

sorear commented 3 years ago

What host environment would this be for and what are we hoping to achieve by doing it?