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-22
Revision:
20:3d13ed027d89
Parent:
19:c3f08ad7c776
Child:
21:4e300741229d

File content as of revision 20:3d13ed027d89:

https://github.com/ARMmbed/mbed-os/#0789928ee7f2db08a419fa4a032fffd9bd477aa7