On Mon, Apr 2, 2012 at 5:53 PM, David Nolen wrote:
> On Fri, Mar 30, 2012 at 8:20 PM, Gabriel Pickard
> wrote:
>
>> I'm trying to build something related [1]: A temporal- and control-flow
>> reasoner for software in general. My idea was to tie this into logging or
>
I'm trying to build something related [1]: A temporal- and control-flow
reasoner for software in general. My idea was to tie this into logging or
debugging interfaces.
I would be very, very interested in combining this with source-code
reasoning (which might also profit from some shared higher-leve
