andrei/modelverse @ d932e9a6eee85ee9150861dc8b67dcf692834a98

Yentl Van Tendeloo 8663342c2a Add rules_per_phase parameter (not yet used)		9 yıl önce
..
modelverse_kernel	8663342c2a Add rules_per_phase parameter (not yet used)	9 yıl önce
mvk_server	2dcc9ab711 Fixed up the generate bootstrap and run local modelverse scripts	9 yıl önce
test	89dd8f3e03 Made yield infrastructure more transparent by not unpacking single values from the MvS	9 yıl önce
README.txt	e527d9b485 Initial commit from svn	9 yıl önce
run_server.sh	e527d9b485 Initial commit from svn	9 yıl önce

		
				README.txt
			
				This is the Modelverse Kernel reference implementation.