Yentl Van Tendeloo e0959ccd1a Bugfix in AL model addition 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 74498d6d91 Some minor performance tweaks 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 e0959ccd1a Bugfix in AL model addition 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 74498d6d91 Some minor performance tweaks 8 лет назад
utils.alc faac1abb01 Rename most read_nr_out to the more specific version: set_len, list_len, or dict_len 8 лет назад