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-03-14
Revision:
31:d960851a7d2c
Parent:
30:f5b42453b3f9
Child:
32:19ac154228ba

File content as of revision 31:d960851a7d2c:

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