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:
2018-10-09
Revision:
78:fd6440fb9e59
Parent:
77:9ffd4ddf037b
Child:
79:ba828995f32d

File content as of revision 78:fd6440fb9e59:

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