 Yentl Van Tendeloo
|
b07c3c55a1
Added larger Petri Net simulation test, which has a lot of
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
7f51c64d1d
Changed some code to "break" and "continue", but code massively fails
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
a7dee2a4ce
Fixes to transformation algorithm
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
85292a43d4
Added reRAMify operator and fixed many small things to make test work
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
0a0e389292
Fixed transformation execution when there are no output models
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
e94fe8e192
Fixed NACs
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
c8e627eb87
All tests working on PyPy
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
fcd062473d
Fixed erroneous compiled.py function for allInstances
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
ad8af56fb2
Extended test to annotation, printing, and simulation (step)
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
64832dd0b3
Some additional checks for binding nodes (don't know if this is
|
il y a 8 ans |
|
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
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
85c84389c5
Added simple ForAll scheduling block
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
8c291fe162
Split of model_management operations to their own file
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
b4dea75716
Preliminary implementation of model_copy
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
b8a0918755
First model_copy
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
a5c8c160e7
Allow nicer split for in-place and out-place transformations
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
6b92cddebb
Temporary commit
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
25a3fc7f94
RAMification now generates a single model, including the schedule and
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
566436600d
Fixed model transformations
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
8cee0f64a5
Make both action and value function in RHS
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
a8ef463dec
Working global constraints on LHS
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
f5c2aacb3d
Working local constraints in LHS for model transformations
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
506bbb9897
Working actions in RHS for transformations
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
096d181086
More bugfixes to action in RHS
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
22c683e3b9
Many changes to allow for actions to be executed in the RHS
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
28938da55d
Fixed adding a node during rewriting
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
bf71a8f624
Fixed even more bugs: matching and rewriting seems to work in with simple cases
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
7694c10521
Working matching with some additional checks
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
42631635bb
Added yet some more "primitives" and fixed minor problems with matching function
|
il y a 8 ans |
|
Yentl Van Tendeloo
|
f7ee380b16
Make a nicer version of the transformation engine, which calls an
|
il y a 8 ans |
