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-27
Revision:
34:7e1d08fa7968
Parent:
33:1f9c4999fab2
Child:
35:bb184e64b703

File content as of revision 34:7e1d08fa7968:

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