 Yentl Van Tendeloo
|
921b00959c
Changed execution operations of AL_model
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
46ac97ca65
Fixed pn_print_exec
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
ef33410933
Fixed most problems; only enabled a few compiled functions again: JIT
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
52354492d1
Added larger Petri Net simulation test, which has a lot of
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
64acf261ac
Changed some code to "break" and "continue", but code massively fails
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
5454f0b5d3
Fixes to transformation algorithm
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
27c00b95a8
Added reRAMify operator and fixed many small things to make test work
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
2a9bc3a6b9
Fixed transformation execution when there are no output models
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
19b276e16c
Fixed NACs
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
389437e6c4
All tests working on PyPy
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
31ee3433ec
Fixed erroneous compiled.py function for allInstances
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
282ca239ba
Extended test to annotation, printing, and simulation (step)
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
1aa885b600
Some additional checks for binding nodes (don't know if this is
|
il y a 8 ans |
|
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
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
9b69695f3b
Added simple ForAll scheduling block
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
deb21c0c91
Split of model_management operations to their own file
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
22a018b801
Preliminary implementation of model_copy
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
2137b8ed70
First model_copy
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
3058606f3a
Allow nicer split for in-place and out-place transformations
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
53691dc83f
Temporary commit
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
cd874a17b8
RAMification now generates a single model, including the schedule and
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
a1c52e04d9
Fixed model transformations
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
d9bd0fb176
Make both action and value function in RHS
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
454596a7eb
Working global constraints on LHS
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
1fb29f6c83
Working local constraints in LHS for model transformations
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
bfacea6e1b
Working actions in RHS for transformations
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
53c4c2afd0
More bugfixes to action in RHS
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
a9805fd07c
Many changes to allow for actions to be executed in the RHS
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
75c6b62488
Fixed adding a node during rewriting
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
de1e9decf4
Fixed even more bugs: matching and rewriting seems to work in with simple cases
|
il y a 8 ans |
