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