Yentl Van Tendeloo 72921eb218 Fix (?) for traceability models il y a 7 ans
..
90_core_formalism.mvc da30f523ff First attempt at hierarchy il y a 8 ans
99_core.mvc dc67b0197f Revert "Fully replace the old typing with the new explicit model" il y a 8 ans
__init__.py 5dcb6e648a Added compile script in Python il y a 9 ans
bootstrap.py 990561a052 Added a rudimentary form of None... il y a 7 ans
bottom.mvc 3c13fe62ba Fix error in bottom formalism and add test for it il y a 8 ans
compiler.alc 9e66fda092 Fixed Modelverse with remote HUTN compiler il y a 8 ans
conformance_finding.alc 9c3f4e0f1e Remove loader and minor fixes il y a 8 ans
conformance_scd.alc 93c60c93b9 Split up type mapping and all operations on it il y a 8 ans
constructors.alc 4a31756fba Move HUTN compilation to the Modelverse, instead of in the client il y a 8 ans
core_algorithm.alc fdf610b19a Add new optional parameter: tracability_model il y a 7 ans
initial_code_manager.alc 93c60c93b9 Split up type mapping and all operations on it il y a 8 ans
initial_code_task.alc 072ad9bd8e Fixed JSON il y a 7 ans
io.alc 09e82bb330 Add missing bootstrap file il y a 8 ans
jit.alc 37dd973b33 Define JIT primitives il y a 8 ans
json.alc 990561a052 Added a rudimentary form of None... il y a 7 ans
library.alc 7476d11930 Replaced all create_node calls to their data structure equivalents il y a 8 ans
manual.mvc 791d1db0a0 Fixed problem with manual operation having no MM il y a 8 ans
metamodels.alt dc67b0197f Revert "Fully replace the old typing with the new explicit model" il y a 8 ans
mini_modify.alc fc8587dfd1 Check for compilation errors... il y a 8 ans
model_management.alc 72921eb218 Fix (?) for traceability models il y a 7 ans
modelling.alc 4a31756fba Move HUTN compilation to the Modelverse, instead of in the client il y a 8 ans
object_operations.alc 210814e12e Add profiling information and split of the "get_elements_typed_by" il y a 8 ans
pm.mvc da5fa20b1a Add keywords for model transformations (broken) il y a 8 ans
primitives.alc 990561a052 Added a rudimentary form of None... il y a 7 ans
ramify.alc 9a5238a437 Merge branch 'master' into testing il y a 8 ans
random.alc da72df1862 Fixed some strange constructions and mapped them to easier to understand ones il y a 8 ans
semi_primitives.alc 990561a052 Added a rudimentary form of None... il y a 7 ans
services.alc 552b912104 Return empty port when service undefined il y a 8 ans
task_manager.alc 46dfcb1bc6 Fixed bootstrap file: everything loads il y a 8 ans
tracability.mvc 72921eb218 Fix (?) for traceability models il y a 7 ans
transform.alc 9ca4355819 Fix transformation code for NACs with multiple LHS matchings il y a 7 ans
typing.alc fbefc3083a Minor tweaks il y a 8 ans
utils.alc 5dfe2c511a Make constructors work with a list internally, instead of relying on input() il y a 8 ans