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:
2016-08-05
Revision:
6:8a6a7901ca31
Parent:
5:705c130de54c
Child:
7:313938df05aa

File content as of revision 6:8a6a7901ca31:

https://github.com/mbedmicro/mbed/#0712b8adf6bbc7eb796d5dac26f95d79d40745ef