Home Explore Help
Sign In
yentl
/
modelverse
Watch 3
Star 3
Fork 6
Files Issues 4 Pull Requests 0 Wiki
Branch: master
Branches Tags
modelverse
/
kernel
Yentl Van Tendeloo 48d70a2c90 Fixes for PN and CTCBD and DTCBD transformations 7 years ago
..
modelverse_kernel 48d70a2c90 Fixes for PN and CTCBD and DTCBD transformations 7 years ago
mvk_server 0d2bd616a5 Remove the unused SCCD compilers and runtime 7 years ago
rules c3ed0ecf7d Add auto-generated MvK rules 7 years ago
test 462cfffb67 Remove test for primitive that no longer exists 7 years ago
README.txt e527d9b485 Initial commit from svn 9 years ago
__init__.py 9ed9c5b59d Port kernel to Python 3. In particular, Python3 does not do automatic relative imports. 8 years ago
run_server.sh e527d9b485 Initial commit from svn 9 years ago

README.txt

This is the Modelverse Kernel reference implementation.