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-05-22
Revision:
67:19fbdbf3bb36
Parent:
66:e408ae75c632
Child:
68:6b419de492af

File content as of revision 67:19fbdbf3bb36:

https://github.com/ARMmbed/mbed-os/#367dbdf5145f4d6aa3e483c147fe7bda1ce23a36