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-11-14
Revision:
17:70f39bf6d39a
Parent:
16:71f51c703eee
Child:
18:50b62d440e88

File content as of revision 17:70f39bf6d39a:

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