 Yentl Van Tendeloo
|
a02e6f5184
Speed up read_attribute operation immensly
|
9 anos atrás |
|
Yentl Van Tendeloo
|
a5a1b12bdf
Fixed bugs in previous commit, where some parts didn't completely use names yet
|
9 anos atrás |
|
Yentl Van Tendeloo
|
756f0f71b6
Give cleaner error messages by not passing around potential null-refs
|
9 anos atrás |
|
Yentl Van Tendeloo
|
e31818d6fc
Slightly more efficient library operations
|
9 anos atrás |
|
Yentl Van Tendeloo
|
254cd9dd06
Remove tests that tested the primitives which are now implemented in AL
|
9 anos atrás |
|
Yentl Van Tendeloo
|
b55afb435b
Wrote some primitive functions explicit in action language
|
9 anos atrás |
|
Yentl Van Tendeloo
|
c9c0a37520
Fixed bug in allInstances
|
9 anos atrás |
|
Yentl Van Tendeloo
|
7e98ac964e
Implemented allInstances in an easier (and more correct) way, that also
|
9 anos atrás |
|
Yentl Van Tendeloo
|
f0c47aa451
Fixed bug in checking of upper cardinalities, found with test
|
9 anos atrás |
|
Yentl Van Tendeloo
|
1ae8f9bae0
Increase timeout to handle slower conformance checking algorithm
|
9 anos atrás |
|
Yentl Van Tendeloo
|
ce888dd92f
Changed localhost to 127.0.0.1 for Windows
|
9 anos atrás |
|
Yentl Van Tendeloo
|
966bc9ab6d
Fixed tests; made library more consistent in its use of names instead of IDs
|
9 anos atrás |
|
Yentl Van Tendeloo
|
909a3e14cc
Added 2 new tests for upper and lower cardinality of association (for
|
9 anos atrás |
|
Yentl Van Tendeloo
|
33d337355b
Removed tests for UNCERTAIN in the MvS
|
9 anos atrás |
|
Yentl Van Tendeloo
|
d8b0642b31
Relaxed MvS constraint to allow for ambiguous keys (though not for duplicates!), thus solving the cardinality problem
|
9 anos atrás |
|
Yentl Van Tendeloo
|
d2769e1ea3
Fixed indentation problem
|
9 anos atrás |
|
Yentl Van Tendeloo
|
fd832dbf7f
Added implementation of has_value in AL
|
9 anos atrás |
|
Yentl Van Tendeloo
|
1eefba361f
made list of operations to un-primitive
|
9 anos atrás |
|
Yentl Van Tendeloo
|
a99547087b
Wrote string_startswith explicit
|
9 anos atrás |
|
Yentl Van Tendeloo
|
c82f6df97a
Updated header files and removed or trimmed unused functions
|
9 anos atrás |
|
Yentl Van Tendeloo
|
7566327d68
Updated all*AssociationInstances to use strings as well
|
9 anos atrás |
|
Yentl Van Tendeloo
|
5249d3a690
Fixed some parts of the code: at least now some violations are detected
|
9 anos atrás |
|
Yentl Van Tendeloo
|
d849dab06e
Short path if the model is empty: don't read out all edges just to create cardinality dictionary
|
9 anos atrás |
|
Yentl Van Tendeloo
|
d0fa898c03
Switch to PO after the first file in the test. This speeds up pn_interface.alc tests
|
9 anos atrás |
|
Yentl Van Tendeloo
|
75a793736c
Add installation instruction on how to install SCCD
|
9 anos atrás |
|
Yentl Van Tendeloo
|
5f32287e43
Remove long delay on timeout
|
9 anos atrás |
|
Yentl Van Tendeloo
|
1975f43dfd
Removed broken model, as it is no longer broken
|
9 anos atrás |
|
Yentl Van Tendeloo
|
e832699d94
Merge branch 'yentl' into new-sccd
|
9 anos atrás |
|
Yentl Van Tendeloo
|
5c89031128
Fixed typo in tests
|
9 anos atrás |
|
Yentl Van Tendeloo
|
c4519c6e0b
Fixed failing test: should of course define Integer first
|
9 anos atrás |
