 Yentl Van Tendeloo
|
6b92cddebb
Temporary commit
|
8 years ago |
|
Yentl Van Tendeloo
|
25a3fc7f94
RAMification now generates a single model, including the schedule and
|
8 years ago |
|
Yentl Van Tendeloo
|
49d7ad8c3e
First working version of PetriNets transformation that marks transition as "executing"
|
8 years ago |
|
Yentl Van Tendeloo
|
f7ca1aadbb
Comment out all parts of NAC
|
8 years ago |
|
Yentl Van Tendeloo
|
566436600d
Fixed model transformations
|
8 years ago |
|
Yentl Van Tendeloo
|
8cee0f64a5
Make both action and value function in RHS
|
8 years ago |
|
Yentl Van Tendeloo
|
a8ef463dec
Working global constraints on LHS
|
8 years ago |
|
Yentl Van Tendeloo
|
f5c2aacb3d
Working local constraints in LHS for model transformations
|
8 years ago |
|
Yentl Van Tendeloo
|
506bbb9897
Working actions in RHS for transformations
|
8 years ago |
|
Yentl Van Tendeloo
|
22c683e3b9
Many changes to allow for actions to be executed in the RHS
|
8 years ago |
|
Yentl Van Tendeloo
|
28938da55d
Fixed adding a node during rewriting
|
8 years ago |
|
Yentl Van Tendeloo
|
bf71a8f624
Fixed even more bugs: matching and rewriting seems to work in with simple cases
|
8 years ago |
|
Yentl Van Tendeloo
|
7694c10521
Working matching with some additional checks
|
8 years ago |
|
Yentl Van Tendeloo
|
14aded2864
Rewrote transformation file structure to contain a match and rewrite phase
|
8 years ago |
|
Yentl Van Tendeloo
|
a77e8c9d77
Fixed call in PN_interface to transforms
|
8 years ago |
|
Yentl Van Tendeloo
|
b9d6aeb2ae
Small extension to bootstrap primitives (list_pop) and some minor changes to test to include a test for transformations
|
8 years ago |
|
Yentl Van Tendeloo
|
99082e9932
Add missing file in PN_interface test
|
8 years ago |
|
Yentl Van Tendeloo
|
095a7eb8fe
Fixed faulty test in PN_interface, which seemingly caused differences
|
8 years ago |
|
Yentl Van Tendeloo
|
24d22363dd
Fixed syntax errors in test
|
8 years ago |
|
Yentl Van Tendeloo
|
ae85a354ed
Removed manual json serialization in most code generators and in tests
|
8 years ago |
|
Yentl Van Tendeloo
|
65bc1c06ee
Split the petri nets operational semantics from the pn_interface
|
9 years ago |
|
Yentl Van Tendeloo
|
4858bb78d3
Fixed another expected outcome of the test
|
9 years ago |
|
Yentl Van Tendeloo
|
36168880cc
Make expected test output more precise
|
9 years ago |
|
Yentl Van Tendeloo
|
b597ef4758
Add missing object for PN interface tests
|
9 years ago |
|
Yentl Van Tendeloo
|
8ab906c727
Add two library functions and add constraints on all sides of the Tile
|
9 years ago |
|
Yentl Van Tendeloo
|
24116c1542
Added an RPGame model
|
9 years ago |
|
Yentl Van Tendeloo
|
30a5399241
Fixed RPGame test: metamodel is now valid!
|
9 years ago |
|
Yentl Van Tendeloo
|
afbd9ca2ee
Some migrations to allow for compiled constructors
|
9 years ago |
|
Yentl Van Tendeloo
|
4feb5b7f36
Modified testing framework to always use the same format of input list
|
9 years ago |
|
Yentl Van Tendeloo
|
4fac2751ef
Add missing files to link
|
9 years ago |
