andrei/modelverse @ 6b9987af5dfe7e94d701b1bb8f31e57b1f537f4a

Yentl Van Tendeloo 923d13fe79 Sort formal parameters in export to resolve non-determinism in order		7 年之前
..
modelverse_state	923d13fe79 Sort formal parameters in export to resolve non-determinism in order	7 年之前
mvs_server	b9cbba23a2 2to3 changes for state dir.	7 年之前
test	7c5acc78fe Fixed test for MvS with new size of datatype	7 年之前
README.txt	e527d9b485 Initial commit from svn	9 年之前
run_server.sh	e527d9b485 Initial commit from svn	9 年之前

		
				README.txt
			
				This is the Modelverse State reference implementation.