File content as of revision 0:34def52d2c80:

#include "mbed.h"

using namespace std;

BusOut segments(dp26, dp27, dp5, dp6, dp28, dp1, dp2);
BusOut digit(dp23, dp24, dp25);
DigitalOut point(dp4);

Timer count;

int codes[10] = {0x40,0x79,0x24,0x30,0x19,0x12,0x02,0x078,0x0,0x10};



void display(float time) {
    int numbers[3] = { (int)(time / 10.) % 10, (int)(time) % 10, 
                            (int)(time * 10.) % 10 };


    digit = 3;
    segments = codes[ numbers[2]];
    wait_ms(2);
    
    digit = 7;
        
    digit = 5;
    segments = codes[ numbers[1]];
    point = 0;
    wait_ms(2);
    
    digit = 7;    

    digit = 6;
    segments = codes[ numbers[0]];
    point = 1;
        
        wait_ms(2);
    
    digit = 7;
        
    digit = 0;
    segments = 7;
    point = 1;
}

int main() {
    
    wait(2.);
    count.start();

    
    while(true) {
        if(count.read() > 12.3) display(12.3);
        else display(count.read());
      
    }
    
    
}