Yentl Van Tendeloo def64199a1 Add some basic scheduling to delay matching of variables (+ bugfixes to rules) 7 年之前
..
modelverse_jit 4effccfe6f Rename casting operations 7 年之前
modelverse_kernel 49e7548be9 Cleanup 7 年之前
mvk_server ad2412da32 Use built-in socket2event instead of our own 8 年之前
rules def64199a1 Add some basic scheduling to delay matching of variables (+ bugfixes to rules) 7 年之前
test ad27199701 Fixed test for the JIT 7 年之前
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.