 Yentl Van Tendeloo
|
d9bd0fb176
Make both action and value function in RHS
|
пре 8 година |
|
Yentl Van Tendeloo
|
454596a7eb
Working global constraints on LHS
|
пре 8 година |
|
Yentl Van Tendeloo
|
1fb29f6c83
Working local constraints in LHS for model transformations
|
пре 8 година |
|
Yentl Van Tendeloo
|
bfacea6e1b
Working actions in RHS for transformations
|
пре 8 година |
|
Yentl Van Tendeloo
|
a9805fd07c
Many changes to allow for actions to be executed in the RHS
|
пре 8 година |
|
Yentl Van Tendeloo
|
75c6b62488
Fixed adding a node during rewriting
|
пре 8 година |
|
Yentl Van Tendeloo
|
de1e9decf4
Fixed even more bugs: matching and rewriting seems to work in with simple cases
|
пре 8 година |
|
Yentl Van Tendeloo
|
f066108845
Working matching with some additional checks
|
пре 8 година |
|
Yentl Van Tendeloo
|
a045b60f16
Rewrote transformation file structure to contain a match and rewrite phase
|
пре 8 година |
|
Yentl Van Tendeloo
|
76ea7e971f
Fixed call in PN_interface to transforms
|
пре 8 година |
|
Yentl Van Tendeloo
|
45b6b74a7f
Small extension to bootstrap primitives (list_pop) and some minor changes to test to include a test for transformations
|
пре 8 година |
|
Yentl Van Tendeloo
|
af06229034
Add missing file in PN_interface test
|
пре 8 година |
|
Yentl Van Tendeloo
|
ec608dc39d
Fixed faulty test in PN_interface, which seemingly caused differences
|
пре 8 година |
|
Yentl Van Tendeloo
|
9c0d5182bb
Fixed syntax errors in test
|
пре 9 година |
|
Yentl Van Tendeloo
|
c7f24a827b
Removed manual json serialization in most code generators and in tests
|
пре 9 година |
|
Yentl Van Tendeloo
|
bdbb6db0dd
Split the petri nets operational semantics from the pn_interface
|
пре 9 година |
|
Yentl Van Tendeloo
|
82f58ced19
Fixed another expected outcome of the test
|
пре 9 година |
|
Yentl Van Tendeloo
|
cd8dc42376
Make expected test output more precise
|
пре 9 година |
|
Yentl Van Tendeloo
|
779fc3c243
Add missing object for PN interface tests
|
пре 9 година |
|
Yentl Van Tendeloo
|
7299553324
Add two library functions and add constraints on all sides of the Tile
|
пре 9 година |
|
Yentl Van Tendeloo
|
ad3166f4b3
Added an RPGame model
|
пре 9 година |
|
Yentl Van Tendeloo
|
3f20fa01d8
Fixed RPGame test: metamodel is now valid!
|
пре 9 година |
|
Yentl Van Tendeloo
|
59bb9a7dab
Some migrations to allow for compiled constructors
|
пре 9 година |
|
Yentl Van Tendeloo
|
83d1933682
Modified testing framework to always use the same format of input list
|
пре 9 година |
|
Yentl Van Tendeloo
|
8ab5d97828
Add missing files to link
|
пре 9 година |
|
Yentl Van Tendeloo
|
528d2d9f91
Remove the --fast flag, as it only confuses matters and performance benefits will be low with precompiled functions
|
пре 9 година |
|
Yentl Van Tendeloo
|
77479b453d
Added RPGame metamodel in the PN interface
|
пре 9 година |
|
Yentl Van Tendeloo
|
4f2de3b94c
Added all constraints and fixed the problem of the constraint not being found
|
пре 9 година |
|
Yentl Van Tendeloo
|
7cc3e9e377
Change expected values for the Natural constraint
|
пре 9 година |
|
Yentl Van Tendeloo
|
1726025ed1
Changed Integer to Natural in the tests
|
пре 9 година |
