jonathanvdc/modelverse @ 6e59ebde1e2a9d09f315d92bcf4599ce4aac76bf

Yentl Van Tendeloo 1390111b26 Add rules_per_phase parameter (not yet used)		%!s(int64=9) %!d(string=hai) anos
..
modelverse_kernel	1390111b26 Add rules_per_phase parameter (not yet used)	%!s(int64=9) %!d(string=hai) anos
mvk_server	3f766c4b46 Fixed up the generate bootstrap and run local modelverse scripts	%!s(int64=9) %!d(string=hai) anos
test	8a9f824bc5 Made yield infrastructure more transparent by not unpacking single values from the MvS	%!s(int64=9) %!d(string=hai) anos
README.txt	16aea7da03 Initial commit from svn	%!s(int64=9) %!d(string=hai) anos
run_server.sh	16aea7da03 Initial commit from svn	%!s(int64=9) %!d(string=hai) anos

		
				README.txt
			
				This is the Modelverse Kernel reference implementation.