Yentl Van Tendeloo 2e5a6820d5 Fix some more bugs in SCCD 8 лет назад
..
90_core_formalism.mvc da30f523ff First attempt at hierarchy 8 лет назад
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 b89f748bb9 Merge branch 'master' into testing 8 лет назад
bottom.mvc 3c13fe62ba Fix error in bottom formalism and add test for it 8 лет назад
compiler.alc 9e66fda092 Fixed Modelverse with remote HUTN compiler 8 лет назад
conformance_finding.alc 9c3f4e0f1e Remove loader and minor fixes 8 лет назад
conformance_scd.alc 93c60c93b9 Split up type mapping and all operations on it 8 лет назад
constructors.alc 4a31756fba Move HUTN compilation to the Modelverse, instead of in the client 8 лет назад
core_algorithm.alc df35fd2649 Fix various bugs and errors in the SCCD model 8 лет назад
initial_code_manager.alc 93c60c93b9 Split up type mapping and all operations on it 8 лет назад
initial_code_task.alc c474025c10 Added compiler code in bootstrap 8 лет назад
io.alc 09e82bb330 Add missing bootstrap file 8 лет назад
jit.alc 37dd973b33 Define JIT primitives 8 лет назад
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 dc67b0197f Revert "Fully replace the old typing with the new explicit model" 8 лет назад
mini_modify.alc 2e5a6820d5 Fix some more bugs in SCCD 8 лет назад
model_management.alc 93c60c93b9 Split up type mapping and all operations on it 8 лет назад
modelling.alc 4a31756fba Move HUTN compilation to the Modelverse, instead of in the client 8 лет назад
object_operations.alc 210814e12e Add profiling information and split of the "get_elements_typed_by" 8 лет назад
pm.mvc da5fa20b1a Add keywords for model transformations (broken) 8 лет назад
primitives.alc 9c93634f3b Added is_error primitive 8 лет назад
ramify.alc 9a5238a437 Merge branch 'master' into testing 8 лет назад
random.alc da72df1862 Fixed some strange constructions and mapped them to easier to understand ones 8 лет назад
semi_primitives.alc a54438ffa8 Minor tweaking of code using typing information 8 лет назад
services.alc 552b912104 Return empty port when service undefined 8 лет назад
task_manager.alc 46dfcb1bc6 Fixed bootstrap file: everything loads 8 лет назад
tracability.mvc 2b15a6871c First step towards compiling models in the bootstrap file as well 8 лет назад
transform.alc b5e55b6060 Remove old comment 8 лет назад
typing.alc fbefc3083a Minor tweaks 8 лет назад
utils.alc 5dfe2c511a Make constructors work with a list internally, instead of relying on input() 8 лет назад