 Yentl Van Tendeloo
|
d292ba0c7d
Added 2 new tests for upper and lower cardinality of association (for
|
před 9 roky |
|
Yentl Van Tendeloo
|
3cafe4617e
Removed tests for UNCERTAIN in the MvS
|
před 9 roky |
|
Yentl Van Tendeloo
|
e48f2a13fe
Relaxed MvS constraint to allow for ambiguous keys (though not for duplicates!), thus solving the cardinality problem
|
před 9 roky |
|
Yentl Van Tendeloo
|
0510096e61
Fixed indentation problem
|
před 9 roky |
|
Yentl Van Tendeloo
|
15b891ede3
Added implementation of has_value in AL
|
před 9 roky |
|
Yentl Van Tendeloo
|
bc1ebd1910
made list of operations to un-primitive
|
před 9 roky |
|
Yentl Van Tendeloo
|
487b1ea91e
Wrote string_startswith explicit
|
před 9 roky |
|
Yentl Van Tendeloo
|
4a0bc33a24
Updated header files and removed or trimmed unused functions
|
před 9 roky |
|
Yentl Van Tendeloo
|
ebf8bfc23c
Updated all*AssociationInstances to use strings as well
|
před 9 roky |
|
Yentl Van Tendeloo
|
bf15fa45ed
Fixed some parts of the code: at least now some violations are detected
|
před 9 roky |
|
Yentl Van Tendeloo
|
39a631b595
Short path if the model is empty: don't read out all edges just to create cardinality dictionary
|
před 9 roky |
|
Yentl Van Tendeloo
|
cca76d1f0d
Switch to PO after the first file in the test. This speeds up pn_interface.alc tests
|
před 9 roky |
|
Yentl Van Tendeloo
|
0c096065c0
Add installation instruction on how to install SCCD
|
před 9 roky |
|
Yentl Van Tendeloo
|
0fdd15df8f
Remove long delay on timeout
|
před 9 roky |
|
Yentl Van Tendeloo
|
6b64807ac5
Removed broken model, as it is no longer broken
|
před 9 roky |
|
Yentl Van Tendeloo
|
bcbf0d2a40
Merge branch 'yentl' into new-sccd
|
před 9 roky |
|
Yentl Van Tendeloo
|
a4a1ae0517
Fixed typo in tests
|
před 9 roky |
|
Yentl Van Tendeloo
|
dae8ebb0b6
Fixed failing test: should of course define Integer first
|
před 9 roky |
|
Yentl Van Tendeloo
|
9610a99cd9
Poll for failures much earlier in tests
|
před 9 roky |
|
Yentl Van Tendeloo
|
fe6b7764d2
Faster checking of cardinalities
|
před 9 roky |
|
Yentl Van Tendeloo
|
11a89e09ae
Faster (async) symbol resolution and linking
|
před 9 roky |
|
Yentl Van Tendeloo
|
73e88274bc
First cache all cardinalities so we don't have to read the attribute thousands of times
|
před 9 roky |
|
Yentl Van Tendeloo
|
c3b15a6ab6
Reimplement reverseNameLookup and fixed bug in cardinality checking of Associations
|
před 9 roky |
|
Yentl Van Tendeloo
|
293c05b691
Merge branch 'yentl' into new-sccd
|
před 9 roky |
|
Yentl Van Tendeloo
|
59c32127b9
Added commented version of the nicer multiplicity and cardinality code
|
před 9 roky |
|
Yentl Van Tendeloo
|
2c73fede31
Added association cardinalities to the MMCL
|
před 9 roky |
|
Yentl Van Tendeloo
|
1a5324d718
Seems to work
|
před 9 roky |
|
Yentl Van Tendeloo
|
03d401a8c9
Fixed some bugs; leave some bugs
|
před 9 roky |
|
Yentl Van Tendeloo
|
aa28cc776e
Added code for cardinality checking
|
před 9 roky |
|
Yentl Van Tendeloo
|
504c5b77cc
Merge branch 'yentl' into new-sccd
|
před 9 roky |
