Yentl Van Tendeloo fa9a51c7cc Fixed visualization in GUI 7 år sedan
..
90_core_formalism.mvc da30f523ff First attempt at hierarchy 8 år sedan
99_core.mvc dc67b0197f Revert "Fully replace the old typing with the new explicit model" 8 år sedan
__init__.py 5dcb6e648a Added compile script in Python 9 år sedan
bootstrap.py b89f748bb9 Merge branch 'master' into testing 8 år sedan
bottom.mvc 3c13fe62ba Fix error in bottom formalism and add test for it 8 år sedan
compiler.alc 9e66fda092 Fixed Modelverse with remote HUTN compiler 8 år sedan
conformance_finding.alc fa9a51c7cc Fixed visualization in GUI 7 år sedan
conformance_scd.alc 93c60c93b9 Split up type mapping and all operations on it 8 år sedan
constructors.alc 4a31756fba Move HUTN compilation to the Modelverse, instead of in the client 8 år sedan
core_algorithm.alc fa9a51c7cc Fixed visualization in GUI 7 år sedan
initial_code_manager.alc 93c60c93b9 Split up type mapping and all operations on it 8 år sedan
initial_code_task.alc c474025c10 Added compiler code in bootstrap 8 år sedan
io.alc 09e82bb330 Add missing bootstrap file 8 år sedan
jit.alc 37dd973b33 Define JIT primitives 8 år sedan
library.alc 7476d11930 Replaced all create_node calls to their data structure equivalents 8 år sedan
manual.mvc 791d1db0a0 Fixed problem with manual operation having no MM 8 år sedan
metamodels.alt dc67b0197f Revert "Fully replace the old typing with the new explicit model" 8 år sedan
mini_modify.alc 7d7a5b50ab Fixed set_difference and made some new operations/altered them for the GUI 7 år sedan
model_management.alc fa9a51c7cc Fixed visualization in GUI 7 år sedan
modelling.alc 3b73abefb4 Remove some prints 7 år sedan
object_operations.alc f1f4adf68a Fix some bootstrap functions to make them usable for the GUI 7 år sedan
pm.mvc da5fa20b1a Add keywords for model transformations (broken) 8 år sedan
primitives.alc 9c93634f3b Added is_error primitive 8 år sedan
ramify.alc 9a5238a437 Merge branch 'master' into testing 8 år sedan
random.alc da72df1862 Fixed some strange constructions and mapped them to easier to understand ones 8 år sedan
semi_primitives.alc a54438ffa8 Minor tweaking of code using typing information 8 år sedan
services.alc 552b912104 Return empty port when service undefined 8 år sedan
task_manager.alc 46dfcb1bc6 Fixed bootstrap file: everything loads 8 år sedan
tracability.mvc fa9a51c7cc Fixed visualization in GUI 7 år sedan
transform.alc 5ba3036883 Remove lots of logs 8 år sedan
typing.alc 37d24fdc7a Store retypes in the typing model immediately to allow for immediate use 7 år sedan
utils.alc 7d7a5b50ab Fixed set_difference and made some new operations/altered them for the GUI 7 år sedan