Inicio Explorar Axuda
Iniciar sesión
lucas
/
modelverse
Fork de yentl/modelverse
Seguir 1
Destacar 0
Fork 0
Ficheiros
Árbore: c1a7d9674d
Ramas Etiquetas
modelverse
/
state
Yentl Van Tendeloo 3cafe4617e Removed tests for UNCERTAIN in the MvS %!s(int64=9) %!d(string=hai) anos
..
modelverse_state e48f2a13fe Relaxed MvS constraint to allow for ambiguous keys (though not for duplicates!), thus solving the cardinality problem %!s(int64=9) %!d(string=hai) anos
mvs_server e527d9b485 Initial commit from svn %!s(int64=9) %!d(string=hai) anos
test 3cafe4617e Removed tests for UNCERTAIN in the MvS %!s(int64=9) %!d(string=hai) anos
README.txt e527d9b485 Initial commit from svn %!s(int64=9) %!d(string=hai) anos
run_server.sh e527d9b485 Initial commit from svn %!s(int64=9) %!d(string=hai) anos

README.txt

This is the Modelverse State reference implementation.