Keine Beschreibung

Yentl Van Tendeloo 159a3b4b98 Fixed incorrect change from element_eq to value_eq (through ==) vor 9 Jahren
bootstrap 159a3b4b98 Fixed incorrect change from element_eq to value_eq (through ==) vor 9 Jahren
hybrid_server a7fff6fa2b Optimized read_dict operation in Modelverse: read_dict of entry created vor 9 Jahren
integration d4fa453534 Split of metamodel generation from the pn_interface (though is still invoked) vor 9 Jahren
interface d4fa453534 Split of metamodel generation from the pn_interface (though is still invoked) vor 9 Jahren
kernel f3d10b3b8c Propagate --debug flag in ./compile.sh vor 9 Jahren
state c2f5dfa8c3 Small changes to make tests work deterministically; unambiguous part was removed though vor 9 Jahren
.gitignore 536e752b8a Add new tests for the constructor vor 9 Jahren
AL.dot e21a927b61 Most parts of metamodel are there vor 9 Jahren
compile.sh f3d10b3b8c Propagate --debug flag in ./compile.sh vor 9 Jahren
fix_linux.sh 536e752b8a Add new tests for the constructor vor 9 Jahren
fix_windows.bat ec2b66f5a2 Added .gitignore and remove some additional automatically generated vor 9 Jahren
flush_compiler_caches.sh e527d9b485 Initial commit from svn vor 9 Jahren
generate_bootstrap.sh e527d9b485 Initial commit from svn vor 9 Jahren
library.sh e527d9b485 Initial commit from svn vor 9 Jahren
link_and_load.sh e527d9b485 Initial commit from svn vor 9 Jahren
make_all.sh 1262b06214 Stricter checking enforced on duplicate entries: do not redefine global symbol if already exists vor 9 Jahren
make_parallel.sh 39a121662b Added debug symbol readout in MvK vor 9 Jahren
prompt.py d784b20530 Re-added file that was necessary vor 9 Jahren
run_local_modelverse.bat e527d9b485 Initial commit from svn vor 9 Jahren
run_local_modelverse.sh e527d9b485 Initial commit from svn vor 9 Jahren
run_modelverse.sh e527d9b485 Initial commit from svn vor 9 Jahren
run_tests.bat e527d9b485 Initial commit from svn vor 9 Jahren
run_tests.sh e527d9b485 Initial commit from svn vor 9 Jahren
unfix_linux.sh ec2b66f5a2 Added .gitignore and remove some additional automatically generated vor 9 Jahren