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-22
Revision:
79:ba828995f32d
Parent:
78:fd6440fb9e59
Child:
80:3996c42f7d49

File content as of revision 79:ba828995f32d:

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