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-09-14
Revision:
76:b8641a51336e
Parent:
75:b827e32e3e2a
Child:
77:9ffd4ddf037b

File content as of revision 76:b8641a51336e:

https://github.com/ARMmbed/mbed-os/#949cb49ab0a144da0e3b04b6af46db0cd2a20d75