Este es el que funciona, de momento. No está probado con muchos valores de entradas. Falta probar eso.

mbed-os.lib

Committer:
mbed_official
Date:
2019-01-17
Revision:
90:37c3d70b5cb6
Parent:
86:f6d935d72b90
Child:
91:3a205782066a

File content as of revision 90:37c3d70b5cb6:

https://github.com/ARMmbed/mbed-os/#a8f0c33eaa2c52babff9655417c36f4b5edd54d7