.. |
90_core_formalism.mvc
|
a91ea4c321
Merge branch 'master' into testing
|
7 éve |
99_core.mvc
|
dc67b0197f
Revert "Fully replace the old typing with the new explicit model"
|
8 éve |
__init__.py
|
5dcb6e648a
Added compile script in Python
|
9 éve |
bootstrap.py
|
57b95d3ebb
Working conformance check for AToMPM (multi-inheritance part)
|
7 éve |
bottom.mvc
|
af69ae1907
Add "name" attribute in SCD
|
7 éve |
compiler.alc
|
0926db2480
Update the number of exceptions
|
7 éve |
conformance_finding.alc
|
c1a60e4b8d
Patches for tests and conformance bottom finding
|
7 éve |
conformance_scd.alc
|
8831b563aa
Work around some issues
|
7 éve |
constructors.alc
|
3057d9e01c
Fix SCCD execute: link it to a SCCD model in the client to send input
|
7 éve |
core_algorithm.alc
|
57b95d3ebb
Working conformance check for AToMPM (multi-inheritance part)
|
7 éve |
files.alc
|
e280f339e5
Add a files service for writing out files
|
7 éve |
io.alc
|
83628ef94d
Add new functions for Simon
|
7 éve |
json.alc
|
990561a052
Added a rudimentary form of None...
|
7 éve |
library.alc
|
7476d11930
Replaced all create_node calls to their data structure equivalents
|
8 éve |
main.alc
|
738c3e27ad
Add missing bootstrap file
|
7 éve |
manual.mvc
|
791d1db0a0
Fixed problem with manual operation having no MM
|
8 éve |
metamodels.alt
|
c3d694ba1d
Minor patches; output AL in a different way
|
7 éve |
mini_modify.alc
|
c3d694ba1d
Minor patches; output AL in a different way
|
7 éve |
model_management.alc
|
e3d60e1a9b
Merge branch 'master' into formalisms
|
7 éve |
modelling.alc
|
c3d694ba1d
Minor patches; output AL in a different way
|
7 éve |
object_operations.alc
|
7fe5fa3321
Potentially fix concurrency bug (?) by checking input of reverseKeyLookup more carefully and keeping errors in mind in allOutgoingAssociations/allIncomingAssociations
|
7 éve |
pm.mvc
|
af69ae1907
Add "name" attribute in SCD
|
7 éve |
primitives.alc
|
57b95d3ebb
Working conformance check for AToMPM (multi-inheritance part)
|
7 éve |
ramify.alc
|
170cbddc9f
CTCBD seems to be working
|
7 éve |
random.alc
|
daa9a291fe
Semi-working transformation_execute and transformation_add
|
7 éve |
semi_primitives.alc
|
57b95d3ebb
Working conformance check for AToMPM (multi-inheritance part)
|
7 éve |
services.alc
|
a91ea4c321
Merge branch 'master' into testing
|
7 éve |
task_manager.alc
|
46dfcb1bc6
Fixed bootstrap file: everything loads
|
8 éve |
tracability.mvc
|
a91ea4c321
Merge branch 'master' into testing
|
7 éve |
transform.alc
|
14816b8ad7
Fix powerwindow
|
7 éve |
type_mapping.mvc
|
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 éve |
typing.alc
|
c1a60e4b8d
Patches for tests and conformance bottom finding
|
7 éve |
utils.alc
|
c3d694ba1d
Minor patches; output AL in a different way
|
7 éve |