yentl/modelverse @ 7cb4b3ef631b0ffaedfcdf28c94ad42cf50aca07

Yentl Van Tendeloo a54438ffa8 Minor tweaking of code using typing information		8 lat temu
..
modelverse_jit	74498d6d91 Some minor performance tweaks	8 lat temu
modelverse_kernel	a54438ffa8 Minor tweaking of code using typing information	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.