[Gnu-arch-users] Re: formal foundations for the semantics of restricted mkpatch

[Denys Duchier]

Tom Lord <address@hidden> writes:

> I've gotten stuck trying to figure this out.    

:-) It turned out to not be quite what I needed to make further
progress.  So I am working on a slightly different tack that
(surprise, surprise) is much more directly in adequation with what you
are doing in arch (I guess I have been learning something :-) and
looks fairly easy to prove things about.

Unfortunately, right at the moment, I am in the last throes of
organizing a workshop that to my surprise turned into something more
like a mini-conference.  Everything is running late and I'll be
stressing for another week.

But not to worry - in the words of the governator: I'll be back! :-)

Cheers,

-- 
Dr. Denys Duchier
Équipe Calligramme
LORIA, Nancy, FRANCE