From: Jan Staschulat (
Date: Thu Feb 15 2001 - 14:58:21 GMT

To the creators of ups

subject: implementation details

We are using some parts of ups in a project, that evaluates
the execution time of a given C-program (called SYMTA):

For the symbolic evaluation _symbx_ is used and a couple of other
source files. Since the project has been going on for a while
the source code is _somewhat_ unreadable.

Because the program package contains bugs I would like
to work myself into the subject, despite of being a newcomer
to the field of compiler implementation.

Could you give me some support on the implementation structure and
philosophy of the symbolic execution?
I found some docu already at:

Thanks a lot

Jan Staschulat

This archive was generated by hypermail 2.1.4 : Wed Feb 13 2002 - 21:51:33 GMT