cakeml icon indicating copy to clipboard operation
cakeml copied to clipboard

Published 20 hours ago • verified publisher icon CakeML

target real ELF files for x86-64

Open myreen opened this issue 9 years ago • 4 comments

myreen avatar Jun 23 '15 13:06 myreen

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

emberian avatar Apr 11 '17 08:04 emberian

@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.

myreen avatar Apr 11 '17 10:04 myreen

Is @DominicPM likely to touch this again?

xrchz avatar Dec 25 '18 11:12 xrchz

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

sorear avatar Sep 15 '20 15:09 sorear