Yentl Van Tendeloo
|
282ca239ba
Extended test to annotation, printing, and simulation (step)
|
8 tahun lalu |
Yentl Van Tendeloo
|
1aa885b600
Some additional checks for binding nodes (don't know if this is
|
8 tahun lalu |
Yentl Van Tendeloo
|
ed86997c77
Fixed several problems with exogenous transformations
|
8 tahun lalu |
Yentl Van Tendeloo
|
66bd646364
Removed the in/out place code again, as it is easier to do it manually for manual updates to the fused metamodel
|
8 tahun lalu |
Yentl Van Tendeloo
|
9b69695f3b
Added simple ForAll scheduling block
|
8 tahun lalu |
Yentl Van Tendeloo
|
deb21c0c91
Split of model_management operations to their own file
|
8 tahun lalu |
Yentl Van Tendeloo
|
6053e0b94f
Preliminary model_retype_on_name function
|
8 tahun lalu |
Yentl Van Tendeloo
|
22a018b801
Preliminary implementation of model_copy
|
8 tahun lalu |
Yentl Van Tendeloo
|
2137b8ed70
First model_copy
|
8 tahun lalu |
Yentl Van Tendeloo
|
3058606f3a
Allow nicer split for in-place and out-place transformations
|
8 tahun lalu |
Yentl Van Tendeloo
|
7e88ad6ed8
Made working again with the indirection for RAMification inbetween
|
8 tahun lalu |
Yentl Van Tendeloo
|
347fb27d7a
Finally make transformations on textual model work!
|
8 tahun lalu |
Yentl Van Tendeloo
|
171773060b
Fixes to compiler which ignored inheritance links
|
8 tahun lalu |
Yentl Van Tendeloo
|
e2faf99fb0
Even more workarounds for the compiler/parser
|
8 tahun lalu |
Yentl Van Tendeloo
|
ec903180c7
Fixes to the test
|
8 tahun lalu |
Yentl Van Tendeloo
|
cab6cabea6
Changes to compiler to allow for the new HUTN syntax
|
8 tahun lalu |
Yentl Van Tendeloo
|
5a4b1a996b
Some minor corrections to code
|
8 tahun lalu |
Yentl Van Tendeloo
|
413fa05e8d
Added model transformation test with models defined in the HUTN
|
8 tahun lalu |
Yentl Van Tendeloo
|
e12ae68d9c
Working PN transformations for simulation
|
8 tahun lalu |
Yentl Van Tendeloo
|
30570327c1
Fixes to PN transformation algorithm
|
8 tahun lalu |
Yentl Van Tendeloo
|
f1d2db442f
Added all code for PN transformations
|
8 tahun lalu |
Yentl Van Tendeloo
|
7827928851
Added more difficult example of factorial test
|
8 tahun lalu |
Yentl Van Tendeloo
|
53691dc83f
Temporary commit
|
8 tahun lalu |
Yentl Van Tendeloo
|
cd874a17b8
RAMification now generates a single model, including the schedule and
|
8 tahun lalu |
Yentl Van Tendeloo
|
7bea9e7afb
First working version of PetriNets transformation that marks transition as "executing"
|
8 tahun lalu |
Yentl Van Tendeloo
|
967d167b43
Added language fuse operation
|
8 tahun lalu |
Yentl Van Tendeloo
|
ff3099e63e
Comment out all parts of NAC
|
8 tahun lalu |
Yentl Van Tendeloo
|
a1c52e04d9
Fixed model transformations
|
8 tahun lalu |
Yentl Van Tendeloo
|
d9bd0fb176
Make both action and value function in RHS
|
8 tahun lalu |
Yentl Van Tendeloo
|
454596a7eb
Working global constraints on LHS
|
8 tahun lalu |