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:
2017-09-29
Revision:
46:9e5c120a82a8
Parent:
45:d007f1c934db
Child:
47:54bd97f836f3

File content as of revision 46:9e5c120a82a8:

https://github.com/ARMmbed/mbed-os/#5499db1e815b035c2039b6f1e7cbcbf1fd7e0f19