Este es el que funciona, de momento. No está probado con muchos valores de entradas. Falta probar eso.

mbed-os.lib

Committer:
Jonathan Austin
Date:
2016-07-28
Revision:
1:846c97078558
Parent:
0:2757d7abb7d9
Child:
4:91b341d955d5

File content as of revision 1:846c97078558:

https://github.com/mbedmicro/mbed/#36468c9acbfeabb717d2cc7d2a7ea7d17df1ac09