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-08-27
Revision:
75:b827e32e3e2a
Parent:
74:8eaa115f31a3
Child:
76:b8641a51336e

File content as of revision 75:b827e32e3e2a:

https://github.com/ARMmbed/mbed-os/#0fdfcf7350896a9c0b57c4a18237677abfe25f1a