Yentl Van Tendeloo 1c317d0b84 Revert "Merge branch 'DEVS' into testing" 7 years ago
..
modelverse_jit 4effccfe6f Rename casting operations 7 years ago
modelverse_kernel 1c317d0b84 Revert "Merge branch 'DEVS' into testing" 7 years ago
mvk_server ad2412da32 Use built-in socket2event instead of our own 8 years ago
rules a35b3f2883 Remove some prints in automated code generation 7 years ago
test eddc0d7496 Sleep when input doesn't return anything, thereby offering more time to 7 years ago
test_generated ec50c60203 Fix SleepKernel in tests for generated 7 years ago
README.txt e527d9b485 Initial commit from svn 9 years ago
run_server.sh e527d9b485 Initial commit from svn 9 years ago

README.txt

This is the Modelverse Kernel reference implementation.