Yentl Van Tendeloo 0ba1af6f5e Added first 29 rules преди 7 години
..
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 години
MvK_rules.mvc 0ba1af6f5e Added first 29 rules преди 7 години
MvK_rules_MM.mvc f340b4b4a5 Added first 8 AL rules преди 7 години
__init__.py 5dcb6e648a Added compile script in Python преди 9 години
bootstrap.py 4effccfe6f Rename casting operations преди 7 години
bottom.mvc af69ae1907 Add "name" attribute in SCD преди 7 години
compiler.alc 9e66fda092 Fixed Modelverse with remote HUTN compiler преди 8 години
conformance_finding.alc af69ae1907 Add "name" attribute in SCD преди 7 години
conformance_scd.alc a91ea4c321 Merge branch 'master' into testing преди 7 години
constructors.alc 4effccfe6f Rename casting operations преди 7 години
core_algorithm.alc a91ea4c321 Merge branch 'master' into testing преди 7 години
current_MvK.mvc 486b8faf41 Add MvK rules to be explicitly modelled and exported преди 8 години
initial_code_manager.alc 93c60c93b9 Split up type mapping and all operations on it преди 8 години
initial_code_task.alc 072ad9bd8e Fixed JSON преди 7 години
io.alc 83628ef94d Add new functions for Simon преди 7 години
jit.alc 37dd973b33 Define JIT primitives преди 8 години
json.alc 990561a052 Added a rudimentary form of None... преди 7 години
library.alc 7476d11930 Replaced all create_node calls to their data structure equivalents преди 8 години
manual.mvc 791d1db0a0 Fixed problem with manual operation having no MM преди 8 години
metamodels.alt 3b8b60276d Allow AttributeLink to be created преди 7 години
mini_modify.alc a91ea4c321 Merge branch 'master' into testing преди 7 години
model_management.alc 4effccfe6f Rename casting operations преди 7 години
modelling.alc a91ea4c321 Merge branch 'master' into testing преди 7 години
object_operations.alc a91ea4c321 Merge branch 'master' into testing преди 7 години
pm.mvc af69ae1907 Add "name" attribute in SCD преди 7 години
primitives.alc 4effccfe6f Rename casting operations преди 7 години
ramify.alc 1b8062ec08 RAMification works with toolbar in GUI: assign a name to elements преди 7 години
random.alc 4effccfe6f Rename casting operations преди 7 години
semi_primitives.alc a91ea4c321 Merge branch 'master' into testing преди 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 a91ea4c321 Merge branch 'master' into testing преди 7 години
typing.alc a91ea4c321 Merge branch 'master' into testing преди 7 години
utils.alc a91ea4c321 Merge branch 'master' into testing преди 7 години