jonathanvdc/modelverse @ 48942603ba4688ac4fdf6e9e09d500a58618f12f

Yentl Van Tendeloo 48942603ba Explicitly model the symbol checking algorithm		vor 9 Jahren
..
modelverse_kernel	48942603ba Explicitly model the symbol checking algorithm	vor 9 Jahren
mvk_server	3f766c4b46 Fixed up the generate bootstrap and run local modelverse scripts	vor 9 Jahren
test	254cd9dd06 Remove tests that tested the primitives which are now implemented in AL	vor 9 Jahren
README.txt	16aea7da03 Initial commit from svn	vor 9 Jahren
run_server.sh	16aea7da03 Initial commit from svn	vor 9 Jahren

		
				README.txt
			
				This is the Modelverse Kernel reference implementation.