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:
2016-07-30
Revision:
4:91b341d955d5
Parent:
1:846c97078558
Child:
5:705c130de54c

File content as of revision 4:91b341d955d5:

https://github.com/mbedmicro/mbed/#4b506280eb4d34b3ed0e5aa82600d478e8f4ea1c