  	
                          ======================
		             Java RaceFinder 
                          ======================
					By KyungHee Kim (Dec/06/2009)

------ Version2.0
1. How to install
	1) download and unzip jrf-version2.0.tar.gz to your destination directory.
	2) make a directory .jpf under your homedirectory, and move site.properties to this directory.
	   Change the directory name in site.properties to your destination directory.
	3) go to your destination directory
		YOUR DIRECTORY STRUCTURE WILL BE
			~/.jpf/site.properties
			~/.../destination/jpf-concurrent/       
					  jpf-jrf/
				          jpf-core/

	4) goto jpf-core/ and build using ant
	5) goto jpf-concurrent/ and build using ant
	6) goto jpf-jrf/ and build using ant
	7) run JRF using bin/jrf
		ex) 	~/.../destination/jpf-jrf] bin/jrf simple.SimpleRace
		The result file placed under jpf-jrf/result/
		

------ Version1.0

1. How to install
	1) download and unzip jrf_v1.0.zip to your destination directory.
	2) go to your destination directory
	3) build JPF together with JRF using build-tools/bin/ant	

2. How to use JRF
	1) place target source code you want to check data race freedom under examples/jrf/.
		ex) Assume you create test package under examples/jrf, and put Test.java under examples/jrf/test/ directory.
	2) compile target source code using 
		build-tools/bin/ant compile-jrf-examples
	3) run JRF with your Test as target
		bin/jrf test.Test	

*See CHANGES to find the modifications from original JPF to implement JRF.
*See CHANGES for CopyRight information.
*See jrf.properties for details about how to configure JRF.


