andrei/modelverse @ de91d7b576948e42422fa4635d2db27771018e01

sklonowany z yentl/modelverse

Yentl Van Tendeloo de91d7b576 Removed prints from compiled		8 lat temu
..
modelverse_jit	18368a8654 Attempt some performance tweaks	8 lat temu
modelverse_kernel	de91d7b576 Removed prints from compiled	8 lat temu
mvk_server	b2f0bc0469 Naively changed user to task in all files	8 lat temu
test	544c08519b Lots of fixes to the new set representation	8 lat temu
README.txt	e527d9b485 Initial commit from svn	9 lat temu
run_server.sh	e527d9b485 Initial commit from svn	9 lat temu

		
				README.txt
			
				This is the Modelverse Kernel reference implementation.