Yentl Van Tendeloo
|
364db14b2a
Fixed tests again
|
8 年之前 |
Yentl Van Tendeloo
|
7830d48320
Updated bootstrap
|
8 年之前 |
Yentl Van Tendeloo
|
c643bc6444
Updated tests which failed due to the update
|
8 年之前 |
Yentl Van Tendeloo
|
6d641d8037
Fixed the = ? syntax in definitions: now generates a global for each user
|
8 年之前 |
Yentl Van Tendeloo
|
5eb3b3a328
Added RPGame semantics in action language
|
8 年之前 |
Yentl Van Tendeloo
|
3aee97f890
Allow the input to be JITed as well through a specific function call. It looks ugly, but it works, as shown by the construct_const compiled variant.
|
8 年之前 |
Yentl Van Tendeloo
|
c742c7ccc1
Fixed random() returning only 0
|
8 年之前 |
Yentl Van Tendeloo
|
31b372b8e4
Fixed problem in random due to compiler error for definitions with value
|
8 年之前 |
Yentl Van Tendeloo
|
443bcc8773
Added RPGame metamodel and allowed model constructor to use inheritance
|
9 年之前 |
Yentl Van Tendeloo
|
5ed2215925
PetriNet semantics checks for conformance to PetriNets first
|
9 年之前 |
Yentl Van Tendeloo
|
2d113a4826
Added a "list" command to the petri net semantics
|
9 年之前 |
Yentl Van Tendeloo
|
abf36256d6
PN operational semantics seems to work (mostly, and unpolished)
|
9 年之前 |
Yentl Van Tendeloo
|
65bc1c06ee
Split the petri nets operational semantics from the pn_interface
|
9 年之前 |
Yentl Van Tendeloo
|
d5290f6c8d
Added an execute_model script, which adds the model, as well as compiling everything
|
9 年之前 |
Yentl Van Tendeloo
|
694fba55e9
More readable expected results from test
|
9 年之前 |
Yentl Van Tendeloo
|
dd827c145c
Added a new interface specifically for modelling: interface 4
|
9 年之前 |
Yentl Van Tendeloo
|
4858bb78d3
Fixed another expected outcome of the test
|
9 年之前 |
Yentl Van Tendeloo
|
36168880cc
Make expected test output more precise
|
9 年之前 |
Yentl Van Tendeloo
|
7c9369a430
Fixed the readme for the new files that are present on the Git repo
|
9 年之前 |
Yentl Van Tendeloo
|
c709261d2f
Add test for cardinalities
|
9 年之前 |
Yentl Van Tendeloo
|
5819c26556
More informative error messages
|
9 年之前 |
Yentl Van Tendeloo
|
bf0a519c29
Added some more tests for invalid models
|
9 年之前 |
Yentl Van Tendeloo
|
887105b863
Added workaround to find the grammar in all situations
|
9 年之前 |
Yentl Van Tendeloo
|
ef986ecd53
Added constraints and added some test cases
|
9 年之前 |
Yentl Van Tendeloo
|
9993321178
Fixed instantiation of attributes
|
9 年之前 |
Yentl Van Tendeloo
|
89eb245299
Added more tests for the simple interface; updated to allow for anonymous elements
|
9 年之前 |
Yentl Van Tendeloo
|
8b8abf83e0
Added generation of PetriNets metamodel as a test
|
9 年之前 |
Yentl Van Tendeloo
|
430516090a
Updated grammar to allow for exports and added initialize_SCD to test
|
9 年之前 |
Yentl Van Tendeloo
|
176b45bb2e
Added test for the model constructor
|
9 年之前 |
Yentl Van Tendeloo
|
e6bd9ffca5
Added simple class diagrams test
|
9 年之前 |