Головна сторінка Огляд Довідка
Увійти
lucas
/
modelverse
відгалужено від yentl/modelverse
Слідкувати 1
Зірка 0
Відгалуження 0
Файли
Дерево: 6ec04617ff
Гілки Теги
modelverse
/
kernel
Yentl Van Tendeloo 8663342c2a Add rules_per_phase parameter (not yet used) 9 роки тому
..
modelverse_kernel 8663342c2a Add rules_per_phase parameter (not yet used) 9 роки тому
mvk_server 2dcc9ab711 Fixed up the generate bootstrap and run local modelverse scripts 9 роки тому
test 89dd8f3e03 Made yield infrastructure more transparent by not unpacking single values from the MvS 9 роки тому
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.