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