Reply To: Model Compiler with SAL (Symbolic Analysis Laboratory)

[Ahmedagiza]

Hello,

I am working with moerafaat in the team, I have some inquires:

1- I have followed Keith’s instructions but it seems to ignore the source files, do I need to re-compile the model compiler first or it is compiled on the run? If yes, are there specific compilation instructions?

2- Do I have to modify the C Compiler? Can’t I have an entry for the new compiler instead of ruining an existing one?

3- Is there anything that describes the translation flow inside the files? I mean, I know the abstract steps, and I know that it starts in sys.arc, but I am asking about a guide of where the components are queried, the OAL is translated, the templates are used..etc?

Any other references, guides, tips are highly appreciated.