Yentl Van Tendeloo 1390111b26 Add rules_per_phase parameter (not yet used) 9 gadi atpakaļ
..
modelverse_kernel 1390111b26 Add rules_per_phase parameter (not yet used) 9 gadi atpakaļ
mvk_server 3f766c4b46 Fixed up the generate bootstrap and run local modelverse scripts 9 gadi atpakaļ
test 8a9f824bc5 Made yield infrastructure more transparent by not unpacking single values from the MvS 9 gadi atpakaļ
README.txt 16aea7da03 Initial commit from svn 9 gadi atpakaļ
run_server.sh 16aea7da03 Initial commit from svn 9 gadi atpakaļ

README.txt

This is the Modelverse Kernel reference implementation.