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:
2018-07-02
Revision:
71:24437f8a77a2
Parent:
70:0c5f9561e5b7
Child:
72:6d94d755fbb0

File content as of revision 71:24437f8a77a2:

https://github.com/ARMmbed/mbed-os/#62f8b922b420626514fd4690107aff4188469833