Please enable JavaScript in your browser!
Home
Explore
Help
Sign In
andrei
/
modelverse
forked from
yentl/modelverse
Watch
1
Star
0
Fork
0
Files
Tree:
3cafe4617e
Branches
Tags
debugging
master
pn_debugging
testing
modelverse
/
kernel
Yentl Van Tendeloo
e48f2a13fe
Relaxed MvS constraint to allow for ambiguous keys (though not for duplicates!), thus solving the cardinality problem
9 years ago
..
modelverse_kernel
e48f2a13fe
Relaxed MvS constraint to allow for ambiguous keys (though not for duplicates!), thus solving the cardinality problem
9 years ago
mvk_server
2dcc9ab711
Fixed up the generate bootstrap and run local modelverse scripts
9 years ago
test
f48bffcada
First few changes to make Modelverse without primitive type hierarchy
9 years ago
README.txt
e527d9b485
Initial commit from svn
9 years ago
run_server.sh
e527d9b485
Initial commit from svn
9 years ago
README.txt
This is the Modelverse Kernel reference implementation.