Startsida Utforska Hjälp
Logga in
andrei
/
modelverse
forkad från yentl/modelverse
Bevaka 1
Stjärnmärk 0
Fork 0
Filer
Träd: 6b9987af5d
Grenar Taggar
modelverse
/
state
Yentl Van Tendeloo 923d13fe79 Sort formal parameters in export to resolve non-determinism in order 7 år sedan
..
modelverse_state 923d13fe79 Sort formal parameters in export to resolve non-determinism in order 7 år sedan
mvs_server b9cbba23a2 2to3 changes for state dir. 7 år sedan
test 7c5acc78fe Fixed test for MvS with new size of datatype 7 år sedan
README.txt e527d9b485 Initial commit from svn 9 år sedan
run_server.sh e527d9b485 Initial commit from svn 9 år sedan

README.txt

This is the Modelverse State reference implementation.