Inicio Explorar Ayuda
Iniciar sesión
andrei
/
modelverse
forked de yentl/modelverse
Seguir 1
Destacar 0
Fork 0
Archivos
Árbol: 92cb1b6448
Ramas Etiquetas
modelverse
/
state
Yentl Van Tendeloo 923d13fe79 Sort formal parameters in export to resolve non-determinism in order hace 7 años
..
modelverse_state 923d13fe79 Sort formal parameters in export to resolve non-determinism in order hace 7 años
mvs_server b9cbba23a2 2to3 changes for state dir. hace 7 años
test 7c5acc78fe Fixed test for MvS with new size of datatype hace 7 años
README.txt e527d9b485 Initial commit from svn hace 9 años
run_server.sh e527d9b485 Initial commit from svn hace 9 años

README.txt

This is the Modelverse State reference implementation.