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-11-19
Revision:
81:87d739bb9014
Parent:
80:3996c42f7d49
Child:
85:b4c5dbbf74e3

File content as of revision 81:87d739bb9014:

https://github.com/ARMmbed/mbed-os/#2fd0c5cfbd83fce62da6308f9d64c0ab64e1f0d6