yentl/modelverse @ 7cb4b3ef631b0ffaedfcdf28c94ad42cf50aca07

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

		
				README.txt
			
				This is the Modelverse Kernel reference implementation.