fork of the modelverse

Yentl Van Tendeloo ac988bb2d0 Fixed similar problems of == and element_eq mix-ups пре 10 година
bootstrap ac988bb2d0 Fixed similar problems of == and element_eq mix-ups пре 10 година
hybrid_server 3d32219f73 Optimized read_dict operation in Modelverse: read_dict of entry created пре 10 година
integration 64661204f7 Split of metamodel generation from the pn_interface (though is still invoked) пре 10 година
interface 64661204f7 Split of metamodel generation from the pn_interface (though is still invoked) пре 10 година
kernel d3a3dd777d Propagate --debug flag in ./compile.sh пре 10 година
state ee647b997d Small changes to make tests work deterministically; unambiguous part was removed though пре 10 година
.gitignore 125c5a44bf Add new tests for the constructor пре 10 година
AL.dot ac256891ac Most parts of metamodel are there пре 10 година
compile.sh d3a3dd777d Propagate --debug flag in ./compile.sh пре 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 16aea7da03 Initial commit from svn пре 10 година
make_all.sh 88daa39abb Stricter checking enforced on duplicate entries: do not redefine global symbol if already exists пре 10 година
make_parallel.sh b9a60fd509 Added debug symbol readout in MvK пре 10 година
prompt.py 5a165d8855 Re-added file that was necessary пре 10 година
run_local_modelverse.bat 16aea7da03 Initial commit from svn пре 10 година
run_local_modelverse.sh 16aea7da03 Initial commit from svn пре 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 година