Robert 'Probie' Offner
Results
2
comments of
Robert 'Probie' Offner
> * To get an arm64 compiler binary out of the bootstrap runs, you also need to add your target to this file: https://github.com/CakeML/cakeml/blob/master/developers/build-sequence. The arm64 bootstrap needs to be...
> The in-logic compilation runs inside HOL4 and can produce the arm64 version of the compiler's .S file even while ran on an x86-64 server. It would be good to...