Please enable JavaScript in your browser!
Accueil
Explorer
Aide
Connexion
yentl
/
modelverse
Suivre
3
Voter
3
Fork
6
Fichiers
Tickets
4
Pull Requests
0
Wiki
Branche:
master
Branches
Tags
debugging
master
pn_debugging
testing
modelverse
/
kernel
Yentl Van Tendeloo
48d70a2c90
Fixes for PN and CTCBD and DTCBD transformations
il y a 7 ans
..
modelverse_kernel
48d70a2c90
Fixes for PN and CTCBD and DTCBD transformations
il y a 7 ans
mvk_server
0d2bd616a5
Remove the unused SCCD compilers and runtime
il y a 7 ans
rules
c3ed0ecf7d
Add auto-generated MvK rules
il y a 7 ans
test
462cfffb67
Remove test for primitive that no longer exists
il y a 7 ans
README.txt
e527d9b485
Initial commit from svn
il y a 9 ans
__init__.py
9ed9c5b59d
Port kernel to Python 3. In particular, Python3 does not do automatic relative imports.
il y a 8 ans
run_server.sh
e527d9b485
Initial commit from svn
il y a 9 ans
README.txt
This is the Modelverse Kernel reference implementation.