 Yentl Van Tendeloo
|
3ad9351d49
Made working again with the indirection for RAMification inbetween
|
8 年之前 |
|
Yentl Van Tendeloo
|
84a9eaa157
Added model transformation test with models defined in the HUTN
|
8 年之前 |
|
Yentl Van Tendeloo
|
25a3fc7f94
RAMification now generates a single model, including the schedule and
|
8 年之前 |
|
Yentl Van Tendeloo
|
49d7ad8c3e
First working version of PetriNets transformation that marks transition as "executing"
|
8 年之前 |
|
Yentl Van Tendeloo
|
8cee0f64a5
Make both action and value function in RHS
|
8 年之前 |
|
Yentl Van Tendeloo
|
22c683e3b9
Many changes to allow for actions to be executed in the RHS
|
8 年之前 |
|
Yentl Van Tendeloo
|
a77e8c9d77
Fixed call in PN_interface to transforms
|
8 年之前 |
|
Yentl Van Tendeloo
|
b9d6aeb2ae
Small extension to bootstrap primitives (list_pop) and some minor changes to test to include a test for transformations
|
8 年之前 |
|
Yentl Van Tendeloo
|
8408f74062
Fixed RAMify and seems working
|
8 年之前 |
|
Yentl Van Tendeloo
|
8c3659ae71
Fixed some problems (and removed some difficult parts for now)
|
8 年之前 |
|
Yentl Van Tendeloo
|
dd2a7f4c48
Fixed CBD semantics (without algebraic loops!)
|
8 年之前 |
|
Yentl Van Tendeloo
|
d6f1ef4573
Updated all integration test code as well
|
8 年之前 |
|
Yentl Van Tendeloo
|
d844df3fab
Rename main function
|
8 年之前 |
|
Yentl Van Tendeloo
|
65bc1c06ee
Split the petri nets operational semantics from the pn_interface
|
8 年之前 |
|
Yentl Van Tendeloo
|
ad0074c6d2
Add tiny link between PN interface and compilation manager
|
9 年之前 |
|
Yentl Van Tendeloo
|
98f523c043
Revert "All action language code is now automatically typed upon upload"
|
9 年之前 |
|
Yentl Van Tendeloo
|
45b3a12b1d
All action language code is now automatically typed upon upload
|
9 年之前 |
|
Yentl Van Tendeloo
|
24116c1542
Added an RPGame model
|
9 年之前 |
|
Yentl Van Tendeloo
|
30a5399241
Fixed RPGame test: metamodel is now valid!
|
9 年之前 |
|
Yentl Van Tendeloo
|
55cf129010
Allow prompt to compile and forward AL code from a file; still some problems with includes though
|
9 年之前 |
|
Yentl Van Tendeloo
|
4d9edaec6c
Added constraints on AL, but commented it out for performance reasons
|
9 年之前 |
|
Yentl Van Tendeloo
|
b352c26cb7
Fixed problematic attribute deletion
|
9 年之前 |
|
Yentl Van Tendeloo
|
309e86a15d
Removed getName, which was deprecated for some time: replace by reverseKeyLookup
|
9 年之前 |
|
Yentl Van Tendeloo
|
bc1c9b0e9c
Fixed object_operations, which weren't adapted to changed interface yet
|
9 年之前 |
|
Yentl Van Tendeloo
|
966bc9ab6d
Fixed tests; made library more consistent in its use of names instead of IDs
|
9 年之前 |
|
Yentl Van Tendeloo
|
5249d3a690
Fixed some parts of the code: at least now some violations are detected
|
9 年之前 |
|
Yentl Van Tendeloo
|
d0fa898c03
Switch to PO after the first file in the test. This speeds up pn_interface.alc tests
|
9 年之前 |
|
Yentl Van Tendeloo
|
d15e2182fe
Reimplement reverseNameLookup and fixed bug in cardinality checking of Associations
|
9 年之前 |
|
Yentl Van Tendeloo
|
dad8e6dce2
Even more tests
|
9 年之前 |
|
Yentl Van Tendeloo
|
ef72a7e463
Fixed at least one test for the pn_interface and made it a bigger one
|
9 年之前 |
