yentl/modelverse @ 7cb4b3ef631b0ffaedfcdf28c94ad42cf50aca07

Yentl Van Tendeloo a54438ffa8 Minor tweaking of code using typing information		8 gadi atpakaļ
..
modelverse_jit	74498d6d91 Some minor performance tweaks	8 gadi atpakaļ
modelverse_kernel	a54438ffa8 Minor tweaking of code using typing information	8 gadi atpakaļ
mvk_server	b2f0bc0469 Naively changed user to task in all files	8 gadi atpakaļ
test	544c08519b Lots of fixes to the new set representation	8 gadi atpakaļ
README.txt	e527d9b485 Initial commit from svn	9 gadi atpakaļ
run_server.sh	e527d9b485 Initial commit from svn	9 gadi atpakaļ

		
				README.txt
			
				This is the Modelverse Kernel reference implementation.