Personal tools
You are here: Home 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.




Document Actions