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:
2017-04-10
Revision:
33:1f9c4999fab2
Parent:
32:19ac154228ba
Child:
34:7e1d08fa7968

File content as of revision 33:1f9c4999fab2:

https://github.com/ARMmbed/mbed-os/#42be5c01a7f91292d5e27124ad9584236025f6ab