 Yentl Van Tendeloo
|
03d401a8c9
Fixed some bugs; leave some bugs
|
9 年 前 |
|
Yentl Van Tendeloo
|
aa28cc776e
Added code for cardinality checking
|
9 年 前 |
|
Yentl Van Tendeloo
|
dde7371ab2
Add check for lower and upper multiplicities
|
9 年 前 |
|
Yentl Van Tendeloo
|
4d6788aade
Fixed include in conformance check; make_parallel uses PO instead of CO
|
9 年 前 |
|
Yentl Van Tendeloo
|
351eb251e7
Fixed is_nominal_subtype
|
9 年 前 |
 Yentl Van Tendeloo
|
d376f289fe
Fixed similar problems of == and element_eq mix-ups
|
9 年 前 |
|
Yentl Van Tendeloo
|
159a3b4b98
Fixed incorrect change from element_eq to value_eq (through ==)
|
9 年 前 |
|
Yentl Van Tendeloo
|
51b6572a1a
Ported some code to [] syntax instead of dict_read (where possible)
|
9 年 前 |
|
Yentl Van Tendeloo
|
f909fdb654
Use shorter variable names now that scopes exist
|
9 年 前 |
|
Yentl Van Tendeloo
|
ab394a5dbb
Made conformance_scd a bit more readable and fixed some latent bugs in
|
9 年 前 |
|
Yentl Van Tendeloo
|
e527d9b485
Initial commit from svn
|
9 年 前 |
