[LAD] Static verification of real-time safety

2014-01-14 Thread David Robillard
Hello, Does anyone know if anything has emerged from http://www.google-melange.com/gsoc/proposal/review/google/gsoc2012/fundamental/1 or, what alternative solutions for doing the same thing exist today? I know I have #ifdef __clang__ #define REALTIME __attribute__((annotate("realtime"))) #

Re: [LAD] Static verification of real-time safety

2014-01-14 Thread Harry van Haaren
I won't speak for Fundamental, he's usually in #lad, but I know the following: His blog on the topic: http://log.fundamental-code.com/2012/05/31/sfpv-intro The code on github: https://github.com/fundamental/sfpv I've not used / toyed with it myself, I don't know anything more :) -Harry On Tue,

Re: [LAD] Static verification of real-time safety

2014-01-14 Thread David Robillard
On Tue, 2014-01-14 at 17:52 +, Harry van Haaren wrote: [here lies thread mangling top-post] > On Tue, Jan 14, 2014 at 5:43 PM, David Robillard wrote: > > I know I have > > > > #ifdef __clang__ > > #define REALTIME __attribute__((annotate("realtime"))) > > #else > > #define REALTIME > >

Re: [LAD] Static verification of real-time safety

2014-01-14 Thread Mark D. McCurry
On Tue, Jan 14, 2014 at 08:15:31PM -0500, David Robillard wrote: > Ah, spfv, right. That was it. Yep, the github link is the most up-to-date place for the project, though it certainly isn't perfect at this point. For any C project it should behave as you might expect, though there are plenty of t