Frama-C news and ideas

To content | To menu | To search | Frama-C Home

Tag - trail

Entries feed - Comments feed

Friday, September 16 2011

Trail

As I write these words, Virgile Prevosto, one of the dozen Frama-C developers, has been running 320km (starting last Sunday at 10am CET). He has about 12km left before he finishes the "Tor des Géants" endurance trail. That's TWO HUNDRED FULL-FLEDGED MILES in imperial units, and I write this with the confidence of someone that Virgile shouldn't be able to censor at least for the next few hours. The topographic profile looks pretty cool, too.