Please enable JavaScript in your browser!
Página inicial
Explorar
Ajuda
Entrar
andrei
/
modelverse
fork de
yentl/modelverse
Observar
1
Favorito
0
Fork
0
Arquivos
Branch:
master
Branches
Tags
debugging
master
pn_debugging
testing
modelverse
/
kernel
Yentl Van Tendeloo
48d70a2c90
Fixes for PN and CTCBD and DTCBD transformations
7 anos atrás
..
modelverse_kernel
48d70a2c90
Fixes for PN and CTCBD and DTCBD transformations
7 anos atrás
mvk_server
0d2bd616a5
Remove the unused SCCD compilers and runtime
7 anos atrás
rules
c3ed0ecf7d
Add auto-generated MvK rules
7 anos atrás
test
462cfffb67
Remove test for primitive that no longer exists
7 anos atrás
README.txt
e527d9b485
Initial commit from svn
9 anos atrás
__init__.py
9ed9c5b59d
Port kernel to Python 3. In particular, Python3 does not do automatic relative imports.
8 anos atrás
run_server.sh
e527d9b485
Initial commit from svn
9 anos atrás
README.txt
This is the Modelverse Kernel reference implementation.