 Yentl Van Tendeloo
|
3058606f3a
Allow nicer split for in-place and out-place transformations
|
8 years ago |
|
Yentl Van Tendeloo
|
7e88ad6ed8
Made working again with the indirection for RAMification inbetween
|
8 years ago |
|
Yentl Van Tendeloo
|
413fa05e8d
Added model transformation test with models defined in the HUTN
|
8 years ago |
|
Yentl Van Tendeloo
|
cd874a17b8
RAMification now generates a single model, including the schedule and
|
8 years ago |
|
Yentl Van Tendeloo
|
7bea9e7afb
First working version of PetriNets transformation that marks transition as "executing"
|
8 years ago |
|
Yentl Van Tendeloo
|
d9bd0fb176
Make both action and value function in RHS
|
8 years ago |
|
Yentl Van Tendeloo
|
a9805fd07c
Many changes to allow for actions to be executed in the RHS
|
8 years ago |
|
Yentl Van Tendeloo
|
76ea7e971f
Fixed call in PN_interface to transforms
|
8 years ago |
|
Yentl Van Tendeloo
|
45b6b74a7f
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
|
88623c043c
Fixed RAMify and seems working
|
8 years ago |
|
Yentl Van Tendeloo
|
1b2817168d
Fixed some problems (and removed some difficult parts for now)
|
8 years ago |
|
Yentl Van Tendeloo
|
0574ede507
Fixed CBD semantics (without algebraic loops!)
|
8 years ago |
|
Yentl Van Tendeloo
|
acaca273c4
Updated all integration test code as well
|
9 years ago |
|
Yentl Van Tendeloo
|
774e91e928
Rename main function
|
9 years ago |
|
Yentl Van Tendeloo
|
bdbb6db0dd
Split the petri nets operational semantics from the pn_interface
|
9 years ago |
|
Yentl Van Tendeloo
|
7cbf119055
Add tiny link between PN interface and compilation manager
|
9 years ago |
|
Yentl Van Tendeloo
|
38f6602d72
Revert "All action language code is now automatically typed upon upload"
|
9 years ago |
|
Yentl Van Tendeloo
|
c73dccbf87
All action language code is now automatically typed upon upload
|
9 years ago |
|
Yentl Van Tendeloo
|
ad3166f4b3
Added an RPGame model
|
9 years ago |
|
Yentl Van Tendeloo
|
3f20fa01d8
Fixed RPGame test: metamodel is now valid!
|
9 years ago |
|
Yentl Van Tendeloo
|
4aaa63047f
Allow prompt to compile and forward AL code from a file; still some problems with includes though
|
9 years ago |
|
Yentl Van Tendeloo
|
a9b0b84b48
Added constraints on AL, but commented it out for performance reasons
|
9 years ago |
|
Yentl Van Tendeloo
|
415f6057d6
Fixed problematic attribute deletion
|
9 years ago |
|
Yentl Van Tendeloo
|
790fbb8b41
Removed getName, which was deprecated for some time: replace by reverseKeyLookup
|
9 years ago |
|
Yentl Van Tendeloo
|
108edda5a8
Fixed object_operations, which weren't adapted to changed interface yet
|
9 years ago |
|
Yentl Van Tendeloo
|
08b59ddb4e
Fixed tests; made library more consistent in its use of names instead of IDs
|
9 years ago |
|
Yentl Van Tendeloo
|
bf15fa45ed
Fixed some parts of the code: at least now some violations are detected
|
9 years ago |
|
Yentl Van Tendeloo
|
cca76d1f0d
Switch to PO after the first file in the test. This speeds up pn_interface.alc tests
|
9 years ago |
|
Yentl Van Tendeloo
|
c3b15a6ab6
Reimplement reverseNameLookup and fixed bug in cardinality checking of Associations
|
9 years ago |
|
Yentl Van Tendeloo
|
cb6fad1a1b
Even more tests
|
9 years ago |
