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