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-06-20
Revision:
38:b33ed55e5bbb
Parent:
37:8f3f0b8835f8
Child:
39:bcfaadc319d3

File content as of revision 38:b33ed55e5bbb:

https://github.com/ARMmbed/mbed-os/#3179b1cffddea0f0feed1dd551b0e7dc946c12f5