 Yentl Van Tendeloo
|
0d093b6ecd
Speed up read_attribute operation immensly
|
преди 9 години |
|
Yentl Van Tendeloo
|
c0e6378508
Fixed bugs in previous commit, where some parts didn't completely use names yet
|
преди 9 години |
|
Yentl Van Tendeloo
|
90b327d60b
Give cleaner error messages by not passing around potential null-refs
|
преди 9 години |
|
Yentl Van Tendeloo
|
bebba1e7fe
Slightly more efficient library operations
|
преди 9 години |
|
Yentl Van Tendeloo
|
a9c0b00bc0
Remove tests that tested the primitives which are now implemented in AL
|
преди 9 години |
|
Yentl Van Tendeloo
|
631c9841d2
Wrote some primitive functions explicit in action language
|
преди 9 години |
|
Yentl Van Tendeloo
|
55d9041be1
Fixed bug in allInstances
|
преди 9 години |
|
Yentl Van Tendeloo
|
35b78266d7
Implemented allInstances in an easier (and more correct) way, that also
|
преди 9 години |
|
Yentl Van Tendeloo
|
722378a639
Fixed bug in checking of upper cardinalities, found with test
|
преди 9 години |
|
Yentl Van Tendeloo
|
b8c6902579
Increase timeout to handle slower conformance checking algorithm
|
преди 9 години |
|
Yentl Van Tendeloo
|
7ba9dcf256
Changed localhost to 127.0.0.1 for Windows
|
преди 9 години |
|
Yentl Van Tendeloo
|
08b59ddb4e
Fixed tests; made library more consistent in its use of names instead of IDs
|
преди 9 години |
|
Yentl Van Tendeloo
|
d292ba0c7d
Added 2 new tests for upper and lower cardinality of association (for
|
преди 9 години |
|
Yentl Van Tendeloo
|
3cafe4617e
Removed tests for UNCERTAIN in the MvS
|
преди 9 години |
|
Yentl Van Tendeloo
|
e48f2a13fe
Relaxed MvS constraint to allow for ambiguous keys (though not for duplicates!), thus solving the cardinality problem
|
преди 9 години |
|
Yentl Van Tendeloo
|
0510096e61
Fixed indentation problem
|
преди 9 години |
|
Yentl Van Tendeloo
|
15b891ede3
Added implementation of has_value in AL
|
преди 9 години |
|
Yentl Van Tendeloo
|
bc1ebd1910
made list of operations to un-primitive
|
преди 9 години |
|
Yentl Van Tendeloo
|
487b1ea91e
Wrote string_startswith explicit
|
преди 9 години |
|
Yentl Van Tendeloo
|
4a0bc33a24
Updated header files and removed or trimmed unused functions
|
преди 9 години |
|
Yentl Van Tendeloo
|
ebf8bfc23c
Updated all*AssociationInstances to use strings as well
|
преди 9 години |
|
Yentl Van Tendeloo
|
bf15fa45ed
Fixed some parts of the code: at least now some violations are detected
|
преди 9 години |
|
Yentl Van Tendeloo
|
39a631b595
Short path if the model is empty: don't read out all edges just to create cardinality dictionary
|
преди 9 години |
|
Yentl Van Tendeloo
|
cca76d1f0d
Switch to PO after the first file in the test. This speeds up pn_interface.alc tests
|
преди 9 години |
|
Yentl Van Tendeloo
|
0c096065c0
Add installation instruction on how to install SCCD
|
преди 9 години |
|
Yentl Van Tendeloo
|
0fdd15df8f
Remove long delay on timeout
|
преди 9 години |
|
Yentl Van Tendeloo
|
6b64807ac5
Removed broken model, as it is no longer broken
|
преди 9 години |
|
Yentl Van Tendeloo
|
bcbf0d2a40
Merge branch 'yentl' into new-sccd
|
преди 9 години |
|
Yentl Van Tendeloo
|
a4a1ae0517
Fixed typo in tests
|
преди 9 години |
|
Yentl Van Tendeloo
|
dae8ebb0b6
Fixed failing test: should of course define Integer first
|
преди 9 години |
