Personal tools
You are here: Home Download

Download

Here is the source code of the RAJA analyser and example programs  for download.

 

Source code of the RAJA analyser


Compile with OCaml version 3.11, by tying 'make'. To run type: 

             './raja  -d <working dir>  <FJEU file>   -i <input file to the  FJEU file>'
 
Further details about this tool can be found in Chapter 7 of Dulma Rodriguez's PhD thesis.

 

Examples

 

Document Actions