 Yentl Van Tendeloo
|
64832dd0b3
Some additional checks for binding nodes (don't know if this is
|
8 anni fa |
|
Yentl Van Tendeloo
|
8d2c932758
Fixed several problems with exogenous transformations
|
8 anni fa |
|
Yentl Van Tendeloo
|
a6273e471e
Removed the in/out place code again, as it is easier to do it manually for manual updates to the fused metamodel
|
8 anni fa |
|
Yentl Van Tendeloo
|
85c84389c5
Added simple ForAll scheduling block
|
8 anni fa |
|
Yentl Van Tendeloo
|
8c291fe162
Split of model_management operations to their own file
|
9 anni fa |
|
Yentl Van Tendeloo
|
9282c6208d
Preliminary model_retype_on_name function
|
9 anni fa |
|
Yentl Van Tendeloo
|
b4dea75716
Preliminary implementation of model_copy
|
9 anni fa |
|
Yentl Van Tendeloo
|
b8a0918755
First model_copy
|
9 anni fa |
|
Yentl Van Tendeloo
|
a5c8c160e7
Allow nicer split for in-place and out-place transformations
|
9 anni fa |
|
Yentl Van Tendeloo
|
3ad9351d49
Made working again with the indirection for RAMification inbetween
|
9 anni fa |
|
Yentl Van Tendeloo
|
f7659b824a
Finally make transformations on textual model work!
|
9 anni fa |
|
Yentl Van Tendeloo
|
e37ff517d7
Fixes to compiler which ignored inheritance links
|
9 anni fa |
|
Yentl Van Tendeloo
|
75053ba20c
Even more workarounds for the compiler/parser
|
9 anni fa |
|
Yentl Van Tendeloo
|
978ff24037
Fixes to the test
|
9 anni fa |
|
Yentl Van Tendeloo
|
5d285a35de
Changes to compiler to allow for the new HUTN syntax
|
9 anni fa |
|
Yentl Van Tendeloo
|
17adfcd3ed
Some minor corrections to code
|
9 anni fa |
|
Yentl Van Tendeloo
|
84a9eaa157
Added model transformation test with models defined in the HUTN
|
9 anni fa |
|
Yentl Van Tendeloo
|
097675c448
Working PN transformations for simulation
|
9 anni fa |
|
Yentl Van Tendeloo
|
bf5779caec
Fixes to PN transformation algorithm
|
9 anni fa |
|
Yentl Van Tendeloo
|
2ac331ca51
Added all code for PN transformations
|
9 anni fa |
|
Yentl Van Tendeloo
|
775fdfcd26
Added more difficult example of factorial test
|
9 anni fa |
|
Yentl Van Tendeloo
|
6b92cddebb
Temporary commit
|
9 anni fa |
|
Yentl Van Tendeloo
|
25a3fc7f94
RAMification now generates a single model, including the schedule and
|
9 anni fa |
|
Yentl Van Tendeloo
|
49d7ad8c3e
First working version of PetriNets transformation that marks transition as "executing"
|
9 anni fa |
|
Yentl Van Tendeloo
|
08d958ed7b
Added language fuse operation
|
9 anni fa |
|
Yentl Van Tendeloo
|
f7ca1aadbb
Comment out all parts of NAC
|
9 anni fa |
|
Yentl Van Tendeloo
|
566436600d
Fixed model transformations
|
9 anni fa |
|
Yentl Van Tendeloo
|
8cee0f64a5
Make both action and value function in RHS
|
9 anni fa |
|
Yentl Van Tendeloo
|
a8ef463dec
Working global constraints on LHS
|
9 anni fa |
|
Yentl Van Tendeloo
|
f5c2aacb3d
Working local constraints in LHS for model transformations
|
9 anni fa |
