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-10
Revision:
66:e408ae75c632
Parent:
65:caf630d9c605
Child:
67:19fbdbf3bb36

File content as of revision 66:e408ae75c632:

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