Yentl Van Tendeloo 74498d6d91 Some minor performance tweaks 8 rokov pred
..
90_core_formalism.mvc c208558aee Explicitly store the initial configuration of the "core" model in the Modelverse modelling representation as well 8 rokov pred
99_core.mvc 71a50aa4ac Fix minor parts for the tests to succeed 8 rokov pred
__init__.py 5dcb6e648a Added compile script in Python 9 rokov pred
bootstrap.py 544c08519b Lots of fixes to the new set representation 8 rokov pred
bottom.mvc e4828596d2 Add bottom formalism (the nice way) 8 rokov pred
conformance_scd.alc faac1abb01 Rename most read_nr_out to the more specific version: set_len, list_len, or dict_len 8 rokov pred
constructors.alc 7476d11930 Replaced all create_node calls to their data structure equivalents 8 rokov pred
core_algorithm.alc 74498d6d91 Some minor performance tweaks 8 rokov pred
initial_code_manager.alc 13ad926bbd Fixed some compilation problems 8 rokov pred
initial_code_task.alc 13ad926bbd Fixed some compilation problems 8 rokov pred
io.alc 09e82bb330 Add missing bootstrap file 8 rokov pred
jit.alc 37dd973b33 Define JIT primitives 8 rokov pred
library.alc 7476d11930 Replaced all create_node calls to their data structure equivalents 8 rokov pred
metamodels.alt e4828596d2 Add bottom formalism (the nice way) 8 rokov pred
mini_modify.alc faac1abb01 Rename most read_nr_out to the more specific version: set_len, list_len, or dict_len 8 rokov pred
model_management.alc faac1abb01 Rename most read_nr_out to the more specific version: set_len, list_len, or dict_len 8 rokov pred
modelling.alc 9e027ab90c More bugfixes to transformations and execution 8 rokov pred
object_operations.alc 544c08519b Lots of fixes to the new set representation 8 rokov pred
pm.mvc da5fa20b1a Add keywords for model transformations (broken) 8 rokov pred
primitives.alc 2baeead326 Change most set operations to dictionary operations: internal structure 8 rokov pred
ramify.alc 544c08519b Lots of fixes to the new set representation 8 rokov pred
random.alc da72df1862 Fixed some strange constructions and mapped them to easier to understand ones 8 rokov pred
semi_primitives.alc 544c08519b Lots of fixes to the new set representation 8 rokov pred
services.alc 7476d11930 Replaced all create_node calls to their data structure equivalents 8 rokov pred
task_manager.alc 46dfcb1bc6 Fixed bootstrap file: everything loads 8 rokov pred
tracability.mvc 2b15a6871c First step towards compiling models in the bootstrap file as well 8 rokov pred
transform.alc 74498d6d91 Some minor performance tweaks 8 rokov pred
utils.alc faac1abb01 Rename most read_nr_out to the more specific version: set_len, list_len, or dict_len 8 rokov pred