Please enable JavaScript in your browser!
首頁
探索
說明
登入
yentl
/
modelverse
關註
3
讚好
3
複刻
6
檔案
問題管理
4
合併請求
0
Wiki
分支:
master
分支列表
標籤列表
debugging
master
pn_debugging
testing
modelverse
/
kernel
Yentl Van Tendeloo
48d70a2c90
Fixes for PN and CTCBD and DTCBD transformations
7 年之前
..
modelverse_kernel
48d70a2c90
Fixes for PN and CTCBD and DTCBD transformations
7 年之前
mvk_server
0d2bd616a5
Remove the unused SCCD compilers and runtime
7 年之前
rules
c3ed0ecf7d
Add auto-generated MvK rules
7 年之前
test
462cfffb67
Remove test for primitive that no longer exists
7 年之前
README.txt
e527d9b485
Initial commit from svn
9 年之前
__init__.py
9ed9c5b59d
Port kernel to Python 3. In particular, Python3 does not do automatic relative imports.
8 年之前
run_server.sh
e527d9b485
Initial commit from svn
9 年之前
README.txt
This is the Modelverse Kernel reference implementation.