I've got a two part question.
- How do I find out what compiler is being used by the Arduino IDE to compile sketches for a given board? I know the Atmel AVR based boards use AVR-GCC, but what about the ARM based boards? How can I verify this information?
Reason I'm asking is...
- I'm working on a library for implementing optimal control algorithms and I would like to know what standard math.h functions from GCC 8.1.0 will port over to the Nano 33 BLE via the target compiler. Is there any documentation for the compiler that is used for these boards?