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-07-18
Revision:
41:3f37e8ac5378
Parent:
40:d4500ea4f3aa
Child:
42:f39d7abfada9

File content as of revision 41:3f37e8ac5378:

https://github.com/ARMmbed/mbed-os/#ed9d1da9dd0c43907ba40cba5ebd9f2c6da3dc07