fork of the modelverse

Yentl Van Tendeloo ac988bb2d0 Fixed similar problems of == and element_eq mix-ups 10 yıl önce
bootstrap ac988bb2d0 Fixed similar problems of == and element_eq mix-ups 10 yıl önce
hybrid_server 3d32219f73 Optimized read_dict operation in Modelverse: read_dict of entry created 10 yıl önce
integration 64661204f7 Split of metamodel generation from the pn_interface (though is still invoked) 10 yıl önce
interface 64661204f7 Split of metamodel generation from the pn_interface (though is still invoked) 10 yıl önce
kernel d3a3dd777d Propagate --debug flag in ./compile.sh 10 yıl önce
state ee647b997d Small changes to make tests work deterministically; unambiguous part was removed though 10 yıl önce
.gitignore 125c5a44bf Add new tests for the constructor 10 yıl önce
AL.dot ac256891ac Most parts of metamodel are there 10 yıl önce
compile.sh d3a3dd777d Propagate --debug flag in ./compile.sh 10 yıl önce
fix_linux.sh 125c5a44bf Add new tests for the constructor 10 yıl önce
fix_windows.bat 7a29367f9f Added .gitignore and remove some additional automatically generated 10 yıl önce
flush_compiler_caches.sh 16aea7da03 Initial commit from svn 10 yıl önce
generate_bootstrap.sh 16aea7da03 Initial commit from svn 10 yıl önce
library.sh 16aea7da03 Initial commit from svn 10 yıl önce
link_and_load.sh 16aea7da03 Initial commit from svn 10 yıl önce
make_all.sh 88daa39abb Stricter checking enforced on duplicate entries: do not redefine global symbol if already exists 10 yıl önce
make_parallel.sh b9a60fd509 Added debug symbol readout in MvK 10 yıl önce
prompt.py 5a165d8855 Re-added file that was necessary 10 yıl önce
run_local_modelverse.bat 16aea7da03 Initial commit from svn 10 yıl önce
run_local_modelverse.sh 16aea7da03 Initial commit from svn 10 yıl önce
run_modelverse.sh 16aea7da03 Initial commit from svn 10 yıl önce
run_tests.bat 16aea7da03 Initial commit from svn 10 yıl önce
run_tests.sh 16aea7da03 Initial commit from svn 10 yıl önce
unfix_linux.sh 7a29367f9f Added .gitignore and remove some additional automatically generated 10 yıl önce