Yentl Van Tendeloo
|
65bc1c06ee
Split the petri nets operational semantics from the pn_interface
|
9 éve |
Yentl Van Tendeloo
|
dd827c145c
Added a new interface specifically for modelling: interface 4
|
9 éve |
Yentl Van Tendeloo
|
c709261d2f
Add test for cardinalities
|
9 éve |
Yentl Van Tendeloo
|
5819c26556
More informative error messages
|
9 éve |
Yentl Van Tendeloo
|
430516090a
Updated grammar to allow for exports and added initialize_SCD to test
|
9 éve |
Yentl Van Tendeloo
|
4998e5b904
Updated bootstrap with code for import_node; also made *.m files binary to git
|
9 éve |
Yentl Van Tendeloo
|
bedbb0c8ae
Prevent the model constructors from propagating IDs as well
|
9 éve |
Yentl Van Tendeloo
|
d28f75e86f
Fixed bug in test_constructors_models
|
9 éve |
Yentl Van Tendeloo
|
e07d8bd0bb
Fixed other bug related to constructors no longer outputting the variables
|
9 éve |
Yentl Van Tendeloo
|
4c43730fc1
Fixed resolution problem for globals not present in the map
|
9 éve |
Yentl Van Tendeloo
|
3b9cf5c539
First step in removing the ID propagation to client
|
9 éve |
Yentl Van Tendeloo
|
b947b841fe
Update bootstrap.m file
|
9 éve |
Yentl Van Tendeloo
|
718605f718
Added bootstrap files, so you don't need to do that yourself anymore
|
9 éve |
Yentl Van Tendeloo
|
9f4467df29
Ignore .m files as well
|
9 éve |
Yentl Van Tendeloo
|
16aea7da03
Initial commit from svn
|
9 éve |