fork of the modelverse

tpinna a51182fc2e implemented pivotIn 10 лет назад
bootstrap 06643106e8 added testpetrinet 10 лет назад
hybrid_server 80c5157715 Make ports flexible and no longer restricted to 8001: mostly updated tests for this 10 лет назад
integration a51182fc2e implemented pivotIn 10 лет назад
interface 7fb4ef0911 moved get superclasses method 10 лет назад
kernel a61648ff2e Fixed bootstrapper 10 лет назад
state 0a24037711 First few changes to make Modelverse without primitive type hierarchy 10 лет назад
.gitignore 125c5a44bf Add new tests for the constructor 10 лет назад
AL.dot ac256891ac Most parts of metamodel are there 10 лет назад
compile.sh 80c5157715 Make ports flexible and no longer restricted to 8001: mostly updated tests for this 10 лет назад
fix_linux.sh 125c5a44bf Add new tests for the constructor 10 лет назад
fix_windows.bat 7a29367f9f Added .gitignore and remove some additional automatically generated 10 лет назад
flush_compiler_caches.sh 16aea7da03 Initial commit from svn 10 лет назад
generate_bootstrap.sh 16aea7da03 Initial commit from svn 10 лет назад
library.sh 16aea7da03 Initial commit from svn 10 лет назад
link_and_load.sh 80c5157715 Make ports flexible and no longer restricted to 8001: mostly updated tests for this 10 лет назад
make_all.sh 80c5157715 Make ports flexible and no longer restricted to 8001: mostly updated tests for this 10 лет назад
make_parallel.sh 80c5157715 Make ports flexible and no longer restricted to 8001: mostly updated tests for this 10 лет назад
prompt.py 2fda6044b0 New metamodel is merged in and basic conformance checks seem to work 10 лет назад
run_local_modelverse.bat 16aea7da03 Initial commit from svn 10 лет назад
run_local_modelverse.sh 80c5157715 Make ports flexible and no longer restricted to 8001: mostly updated tests for this 10 лет назад
run_modelverse.sh 16aea7da03 Initial commit from svn 10 лет назад
run_tests.bat 16aea7da03 Initial commit from svn 10 лет назад
run_tests.sh 16aea7da03 Initial commit from svn 10 лет назад
unfix_linux.sh 7a29367f9f Added .gitignore and remove some additional automatically generated 10 лет назад