Yentl Van Tendeloo 045b307cae Fixes to model_overwrite 8 سال پیش
..
90_core_formalism.mvc c208558aee Explicitly store the initial configuration of the "core" model in the Modelverse modelling representation as well 8 سال پیش
99_core.mvc 71a50aa4ac Fix minor parts for the tests to succeed 8 سال پیش
__init__.py 5dcb6e648a Added compile script in Python 9 سال پیش
bootstrap.py 544c08519b Lots of fixes to the new set representation 8 سال پیش
bottom.mvc e4828596d2 Add bottom formalism (the nice way) 8 سال پیش
conformance_scd.alc faac1abb01 Rename most read_nr_out to the more specific version: set_len, list_len, or dict_len 8 سال پیش
constructors.alc 7476d11930 Replaced all create_node calls to their data structure equivalents 8 سال پیش
core_algorithm.alc 045b307cae Fixes to model_overwrite 8 سال پیش
initial_code_manager.alc 13ad926bbd Fixed some compilation problems 8 سال پیش
initial_code_task.alc 13ad926bbd Fixed some compilation problems 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 سال پیش
metamodels.alt e4828596d2 Add bottom formalism (the nice way) 8 سال پیش
mini_modify.alc faac1abb01 Rename most read_nr_out to the more specific version: set_len, list_len, or dict_len 8 سال پیش
model_management.alc faac1abb01 Rename most read_nr_out to the more specific version: set_len, list_len, or dict_len 8 سال پیش
modelling.alc 9e027ab90c More bugfixes to transformations and execution 8 سال پیش
object_operations.alc 544c08519b Lots of fixes to the new set representation 8 سال پیش
pm.mvc da5fa20b1a Add keywords for model transformations (broken) 8 سال پیش
primitives.alc 2baeead326 Change most set operations to dictionary operations: internal structure 8 سال پیش
ramify.alc 544c08519b Lots of fixes to the new set representation 8 سال پیش
random.alc da72df1862 Fixed some strange constructions and mapped them to easier to understand ones 8 سال پیش
semi_primitives.alc 544c08519b Lots of fixes to the new set representation 8 سال پیش
services.alc 7476d11930 Replaced all create_node calls to their data structure equivalents 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 9e027ab90c More bugfixes to transformations and execution 8 سال پیش
utils.alc faac1abb01 Rename most read_nr_out to the more specific version: set_len, list_len, or dict_len 8 سال پیش