 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
|
17bf33ae26
Only add individual models if they are not there; don't jsut check globally
|
9 년 전 |
|
Yentl Van Tendeloo
|
18a81eaa73
Reinstated most constraints, except for the AL constraints on AL elements: takes too long to run
|
9 년 전 |
|
Yentl Van Tendeloo
|
0e20e6ba6d
Fixed several bugs in precompiled code
|
9 년 전 |
|
Yentl Van Tendeloo
|
af6f99f1b9
Updated expected value in tests for compiler
|
9 년 전 |
|
Yentl Van Tendeloo
|
30f50062db
Added all constraints and fixed the problem of the constraint not being found
|
9 년 전 |
|
Yentl Van Tendeloo
|
392868b162
Fixed problem with the cardinalities
|
9 년 전 |
|
Yentl Van Tendeloo
|
071c2dbde0
Consistency between if_true and if_then, and if_false and if_else
|
9 년 전 |
|
Yentl Van Tendeloo
|
8a367b1745
Add inheritance link between links in AL MM
|
9 년 전 |
|
Yentl Van Tendeloo
|
4d9edaec6c
Added constraints on AL, but commented it out for performance reasons
|
9 년 전 |
|
Yentl Van Tendeloo
|
06af36ed96
Use of Natural instead of Integer for MMCL and PN
|
9 년 전 |
|
Yentl Van Tendeloo
|
a361c36714
Add simple constraint for integers in the metamodel
|
9 년 전 |
|
Yentl Van Tendeloo
|
761e6c9556
Fixed type of Integer in metamodels.alc
|
9 년 전 |
|
Yentl Van Tendeloo
|
4610693bbc
Added new MMCL in metamodels.alc
|
9 년 전 |
|
Yentl Van Tendeloo
|
c9c0a37520
Fixed bug in allInstances
|
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
|
d849dab06e
Short path if the model is empty: don't read out all edges just to create cardinality dictionary
|
9 년 전 |
|
Yentl Van Tendeloo
|
44d8048232
Faster checking of cardinalities
|
9 년 전 |
|
Yentl Van Tendeloo
|
572f2706f9
Added commented version of the nicer multiplicity and cardinality code
|
9 년 전 |
|
Yentl Van Tendeloo
|
c60dd20227
Added association cardinalities to the MMCL
|
9 년 전 |
|
Yentl Van Tendeloo
|
12e361ca94
Added attribute lower and upper multiplicity to the Classes, which is
|
9 년 전 |
|
Yentl Van Tendeloo
|
333275b2be
Nicer name for MMCL links
|
9 년 전 |
|
Yentl Van Tendeloo
|
3c212aaa00
Fixed import error
|
9 년 전 |
 Yentl Van Tendeloo
|
756eb69fea
Updated metamodel in metamodels.alc
|
9 년 전 |
|
Yentl Van Tendeloo
|
64661204f7
Split of metamodel generation from the pn_interface (though is still invoked)
|
9 년 전 |
