yentl/modelverse @ 7cb4b3ef631b0ffaedfcdf28c94ad42cf50aca07

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

		
				README.txt
			
				This is the Modelverse Kernel reference implementation.