 Yentl Van Tendeloo
|
7476d11930
Replaced all create_node calls to their data structure equivalents
|
8 年之前 |
|
Yentl Van Tendeloo
|
300e266af6
Fixes to tracability model generation
|
8 年之前 |
|
Yentl Van Tendeloo
|
01b8785177
Fixed Permissions SimpleAttribute: added better constraint
|
8 年之前 |
|
Yentl Van Tendeloo
|
00b48a6948
Fixes to make everything work
|
8 年之前 |
|
Yentl Van Tendeloo
|
ef33410933
Fixed most problems; only enabled a few compiled functions again: JIT
|
8 年之前 |
|
Yentl Van Tendeloo
|
cb5597d4c7
Split off most (transformation) models from the tests
|
8 年之前 |
|
Yentl Van Tendeloo
|
acaca273c4
Updated all integration test code as well
|
8 年之前 |
|
Yentl Van Tendeloo
|
bdbb6db0dd
Split the petri nets operational semantics from the pn_interface
|
9 年之前 |
 Yentl Van Tendeloo
|
84e6ece8bd
Small change to serve as proof of concept for the change of dict_read
|
9 年之前 |
|
Yentl Van Tendeloo
|
4792f0579a
Fix variable names in library.alc
|
9 年之前 |
|
Yentl Van Tendeloo
|
e527d9b485
Initial commit from svn
|
9 年之前 |
