 Yentl Van Tendeloo
|
171773060b
Fixes to compiler which ignored inheritance links
|
пре 8 година |
|
Yentl Van Tendeloo
|
e2faf99fb0
Even more workarounds for the compiler/parser
|
пре 8 година |
|
Yentl Van Tendeloo
|
ec903180c7
Fixes to the test
|
пре 8 година |
|
Yentl Van Tendeloo
|
cab6cabea6
Changes to compiler to allow for the new HUTN syntax
|
пре 8 година |
|
Yentl Van Tendeloo
|
413fa05e8d
Added model transformation test with models defined in the HUTN
|
пре 8 година |
|
Yentl Van Tendeloo
|
e12ae68d9c
Working PN transformations for simulation
|
пре 8 година |
|
Yentl Van Tendeloo
|
30570327c1
Fixes to PN transformation algorithm
|
пре 8 година |
|
Yentl Van Tendeloo
|
f1d2db442f
Added all code for PN transformations
|
пре 8 година |
|
Yentl Van Tendeloo
|
53691dc83f
Temporary commit
|
пре 8 година |
|
Yentl Van Tendeloo
|
cd874a17b8
RAMification now generates a single model, including the schedule and
|
пре 8 година |
|
Yentl Van Tendeloo
|
7bea9e7afb
First working version of PetriNets transformation that marks transition as "executing"
|
пре 8 година |
|
Yentl Van Tendeloo
|
ff3099e63e
Comment out all parts of NAC
|
пре 8 година |
|
Yentl Van Tendeloo
|
a1c52e04d9
Fixed model transformations
|
пре 8 година |
|
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
|
пре 8 година |
|
Yentl Van Tendeloo
|
c7f24a827b
Removed manual json serialization in most code generators and in tests
|
пре 8 година |
|
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 година |
