 Yentl Van Tendeloo
|
9b69695f3b
Added simple ForAll scheduling block
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
deb21c0c91
Split of model_management operations to their own file
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
22a018b801
Preliminary implementation of model_copy
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
2137b8ed70
First model_copy
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
3058606f3a
Allow nicer split for in-place and out-place transformations
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
53691dc83f
Temporary commit
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
cd874a17b8
RAMification now generates a single model, including the schedule and
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
a1c52e04d9
Fixed model transformations
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
d9bd0fb176
Make both action and value function in RHS
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
454596a7eb
Working global constraints on LHS
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
1fb29f6c83
Working local constraints in LHS for model transformations
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
bfacea6e1b
Working actions in RHS for transformations
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
53c4c2afd0
More bugfixes to action in RHS
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
a9805fd07c
Many changes to allow for actions to be executed in the RHS
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
75c6b62488
Fixed adding a node during rewriting
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
de1e9decf4
Fixed even more bugs: matching and rewriting seems to work in with simple cases
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
f066108845
Working matching with some additional checks
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
2e2ddb31b7
Added yet some more "primitives" and fixed minor problems with matching function
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
b73bdfbdf0
Make a nicer version of the transformation engine, which calls an
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
a045b60f16
Rewrote transformation file structure to contain a match and rewrite phase
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
70221cf4e0
Creation of simple schedule seems to work mostly
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
7ace4057c7
Fixed some problems with transformations schedule creation
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
76ea7e971f
Fixed call in PN_interface to transforms
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
45b6b74a7f
Small extension to bootstrap primitives (list_pop) and some minor changes to test to include a test for transformations
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
5589a6a606
Bugfix for problems with schedule generation
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
2ef0b432e7
Add initial code for transformations: make a schedule of LHS elements to visit
|
%!s(int64=8) %!d(string=hai) anos |
