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-12-16
Revision:
19:c3f08ad7c776
Parent:
18:50b62d440e88
Child:
20:3d13ed027d89

File content as of revision 19:c3f08ad7c776:

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