 Yentl Van Tendeloo
|
02f346e0a8
Patched conformance problems and added test (including type mapping and bottom)
|
7 years ago |
|
Yentl Van Tendeloo
|
38396c70d4
Add one more unit test
|
7 years ago |
|
Yentl Van Tendeloo
|
929992090f
Added lots of tests (preparation for them)
|
7 years ago |
|
Yentl Van Tendeloo
|
adad8169e0
Fixed conformance checking of global constraints
|
7 years ago |
|
Yentl Van Tendeloo
|
773e99fc0f
Remove date from SCCD compiled
|
7 years ago |
|
Yentl Van Tendeloo
|
34cefc51db
Make retype a compiled function
|
7 years ago |
|
Yentl Van Tendeloo
|
974b375fcd
Make read_type compiled
|
7 years ago |
|
Yentl Van Tendeloo
|
d449cc0843
Updated MetaDepth conformance semantics as well
|
7 years ago |
|
Yentl Van Tendeloo
|
f2be24ac46
Updated AToMPM conformance algorithm test example
|
7 years ago |
|
Yentl Van Tendeloo
|
863ba9fb7d
New type mapping storage method (faster and more correct)
|
7 years ago |
|
Yentl Van Tendeloo
|
065ddb1356
Updated output __type and __id
|
7 years ago |
|
Yentl Van Tendeloo
|
bd071b8d7e
Safer way of finding an association destination and origin
|
7 years ago |
|
Yentl Van Tendeloo
|
9c30f5a8a9
Make sure that AL_text keeps working
|
7 years ago |
|
Yentl Van Tendeloo
|
3bf24de9af
Remove prints
|
7 years ago |
|
Yentl Van Tendeloo
|
5e4a80f40c
Mostly working AL_text operation
|
7 years ago |
|
Yentl Van Tendeloo
|
43134dde3c
Added AL_text operation, which doesn't work yet
|
7 years ago |
|
Yentl Van Tendeloo
|
c3d694ba1d
Minor patches; output AL in a different way
|
7 years ago |
|
Yentl Van Tendeloo
|
6c3878120b
Minor bugfixes
|
7 years ago |
|
Yentl Van Tendeloo
|
ae577b488e
Added PM to FTG transformation
|
7 years ago |
|
Yentl Van Tendeloo
|
2b572e1f02
Added initial files for FTG generation
|
7 years ago |
|
Yentl Van Tendeloo
|
841487fc80
Remove unnecessary prints
|
7 years ago |
|
Yentl Van Tendeloo
|
c1a60e4b8d
Patches for tests and conformance bottom finding
|
7 years ago |
|
Yentl Van Tendeloo
|
85151ec315
Some more explanation
|
7 years ago |
|
Yentl Van Tendeloo
|
b65182b94d
Fixed sort algorithm
|
7 years ago |
|
Yentl Van Tendeloo
|
57b95d3ebb
Working conformance check for AToMPM (multi-inheritance part)
|
7 years ago |
|
Yentl Van Tendeloo
|
eb18d88d9b
Several fixes to conformance finding for a type mapping
|
7 years ago |
|
Yentl Van Tendeloo
|
4054a58f14
Minor optimizations
|
7 years ago |
|
Yentl Van Tendeloo
|
9593768dcf
Patched change in model_types semantics
|
7 years ago |
|
Yentl Van Tendeloo
|
e70044eb9b
Some more information/ideas in the AToMPM conformance relation
|
7 years ago |
|
Yentl Van Tendeloo
|
3cdc651ed9
Significant bugfixes for conformance relation: added type mapping MM, add conformance_finding algorithm that deduces a type mapping automatically for type mapping models
|
7 years ago |
