[jstar-users] module dependencies

[Radu Grigore]

I'm trying to get familiar with the code, so I'll post a few questions
here in the next days.

Some dependencies that appear in makefiles do not appear in doc/
jstar_module_dependencies. Is there a plan to get rid of them or
should they be added to the picture? They are:
symbexe_syntax -> prover_syntax
jimple_syntax -> symbexe_syntax, prover_syntax
symbexe -> prover_syntax
jimple_front -> prover, prover_syntax, symbexe_syntax
where X -> Y, Z means that code in folder X refers to code in folder Y
and to code in folder Z.


--
Subscription settings: http://groups.google.com/group/jstar-users/subscribe?hl=en

[Matthew Parkinson]

I think the diagram assumed transitivity, so I would add

> symbexe_syntax -> prover_syntax
> jimple_syntax -> symbexe_syntax

to the picture as they are missing even given trans.

There is also utils which is included by everyone.

Matt

Sent from my iPhone

On 16 Apr 2010, at 12:28, Radu Grigore <radug...@gmail.com> wrote:

> I'm trying to get familiar with the code, so I'll post a few questions
> here in the next days.
>
> Some dependencies that appear in makefiles do not appear in doc/
> jstar_module_dependencies. Is there a plan to get rid of them or
> should they be added to the picture? They are: