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

README.txt

This is the Modelverse Kernel reference implementation.