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-10-28
Revision:
16:71f51c703eee
Parent:
15:26d1c87c3fc0
Child:
17:70f39bf6d39a

File content as of revision 16:71f51c703eee:

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